Search results

Determine the best approach to handle witness-only ops

P:MediumMedium PriorityMedium Priority

Status: Open.

#298 In Veridise/circom;

· tim-hoffman opened on Jan 8, 2026

Generate the <code>main</code> template

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

P:HighHigh PriorityHigh Priority

Status: Open.

#292 In Veridise/circom;

· tim-hoffman opened on Jan 8, 2026

Support arrays as template parameters

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

P:MediumMedium PriorityMedium Priority

Status: Open.

#291 In Veridise/circom;

· tim-hoffman opened on Jan 8, 2026

Define struct fields for input signals

enhancementNew feature or requestNew feature or request

P:HighHigh PriorityHigh Priority

Status: Open.

#286 In Veridise/circom;

· 0xddom opened on Jan 7, 2026

Run dead code removal after circom to LLZK translation

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

help wantedExtra attention is neededExtra attention is needed

P:LowestLowest PriorityLowest Priority

Status: Open.

#279 In Veridise/circom;

· tim-hoffman opened on Jan 5, 2026

Account for <code>no_init</code> flag

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

P:LowLow PriorityLow Priority

Status: Open.

#276 In Veridise/circom;

· tim-hoffman opened on Jan 5, 2026

Declarations within nested blocks are not added as function parameters

bugSomething isn't workingSomething isn't working

P:LowLow PriorityLow Priority

Status: Open.

#243 In Veridise/circom;

· tim-hoffman opened on Dec 11, 2025

Add more info to generated AssertOp message

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

P:LowestLowest PriorityLowest Priority

Status: Open.

#242 In Veridise/circom;

· tim-hoffman opened on Dec 11, 2025

Generate <code>assert</code> in witness gen code for <code>Statement::ConstraintEquality</code> (when required)

bugSomething isn't workingSomething isn't working

help wantedExtra attention is neededExtra attention is needed

P:LowLow PriorityLow Priority

Status: Open.

#229 In Veridise/circom;

· tim-hoffman opened on Dec 4, 2025

Implement array case for <code>Statement::Substitution</code> in <code>gen_llzk_in_template</code>

help wantedExtra attention is neededExtra attention is needed

P:HighestHighest PriorityHighest Priority

Status: Open.

#200 In Veridise/circom;

· tim-hoffman opened on Nov 26, 2025

Implement <code>Expression::ParallelOp</code> in <code>gen_llzk_in_function</code>

help wantedExtra attention is neededExtra attention is needed

P:MediumMedium PriorityMedium Priority

Status: Open.

#186 In Veridise/circom;

· tim-hoffman opened on Nov 26, 2025

Implement <code>Expression::Variable</code> in <code>convert_dim_expr</code>

help wantedExtra attention is neededExtra attention is needed

P:MediumMedium PriorityMedium Priority

Status: Open.

#183 In Veridise/circom;

· tim-hoffman opened on Nov 26, 2025