project-llzk

project-llzk/llzk-lib

Library for parsing, generating, and analyzing LLZK code.

14 good first / help-wanted issues · C++ · last activity Jul 23, 2026

43 stars 13 forks 43 watchers C++ Apache License 2.0
View on GitHub Website
14 Open Issues Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub
Canonicalize `llzk.nondet` with array/pod type 2 months ago
enhancement good first issue approved
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add desugaring pass for multi-element pod dialect ops 3 months ago
enhancement good first issue approved
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add desugaring pass for multi-element (ranged) array dialect ops 3 months ago
enhancement good first issue approved
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add explicit overflow semantics to `cast` dialect ops 5 months ago
enhancement good first issue help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add more functionality to `TemplateBuilder` 6 months ago
enhancement good first issue
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add value access convenience method to `FeltConstantOp` 8 months ago
enhancement good first issue
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Support configurable prime field for `felt` data type and conversion 9 months ago
enhancement help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Replace `veridise.lang` attribute 9 months ago
documentation enhancement good first issue
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Using "Main" as the main component name conflicts with Circom conventions 9 months ago
enhancement good first issue
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Witness Generation for R1CS Backend 10 months ago
enhancement help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Make interval analysis interprocedural 10 months ago
enhancement help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add helpers for common sub-dialect groupings 10 months ago
enhancement help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Add an OpInterface for felt arithmetic ops 10 months ago
enhancement good first issue
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++
Create a TypeInterface for VarTypeOr 10 months ago
enhancement help wanted
project-llzk/llzk-lib
43

Library for parsing, generating, and analyzing LLZK code.

C++