Search results

Create a TypeInterface for VarTypeOr

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#247 In Veridise/llzk-lib;

· raghav198 opened on Dec 9, 2025

Add an OpInterface for felt arithmetic ops

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

Feature

#242 In Veridise/llzk-lib;

· raghav198 opened on Dec 8, 2025

Check to make sure the alignment root is valid in the <code>llzk-compute-constrain-to-product</code> pass

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#241 In Veridise/llzk-lib;

· raghav198 opened on Dec 8, 2025

Add helpers for common sub-dialect groupings

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Task

#137 In Veridise/llzk-lib;

· iangneal opened on Jun 9, 2025

Make interval analysis interprocedural

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Task

#136 In Veridise/llzk-lib;

· iangneal opened on Jun 9, 2025

Support configurable prime field for <code>felt</code> data type and conversion

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#135 In Veridise/llzk-lib;

· iangneal opened on Jun 9, 2025

Witness Generation for R1CS Backend

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

Feature

#133 In Veridise/llzk-lib;

· iangneal opened on Jun 9, 2025

JSON output for llzk files

enhancementNew feature or requestNew feature or request

good first issueGood for newcomersGood for newcomers

Status: Open.

#114 In Veridise/llzk-lib;

· clarus opened on May 13, 2025