Repository navigation

All pull requests

Labels (9)Milestones (0)New pull request

Open

(61)

Closed

(176)

fix: report WAT-to-WASM input and output errors instead of panicking
#430myetcd opened Sep 29, 2026
Perf: Improve compiler speed
#427anudit opened Aug 25, 2026
fix: preserve contradictory constant pin constraints
#424NullWitnessZK opened Aug 4, 2026
fix: make Tree lifetime explicit
#414reflecttypefor opened Jun 17, 2026
Define Darwin GMP limb flag for witness builds
#4131sgtpepper opened Jun 2, 2026
Fix typo in control-flow.md docs
#390tim-hoffman opened Oct 9, 2025Contributor
docs: fix broken links
#388Himess opened Oct 6, 2025
Fix leaked global and preserve original error stack in witness_calculator.js
#387viktorking7 opened Sep 23, 2025
chore: fix some minor issues in comments
#386keeghcet opened Sep 9, 2025
1
docs: fix grammar issues in documentation
#385mdqst opened Sep 9, 2025
feat: implement normalize function for Constraint<usize>
#384avorylli opened Sep 8, 2025
Use write_all for fixed-size payloads in R1CS writer
#383MozirDmitriy opened Sep 8, 2025
docs: fix ==> → <== in Circom
#382defiberrys opened Sep 4, 2025
fix: use BigInt::from(-1) instead of invalid -1 % field
#381GarmashAlex opened Sep 2, 2025
fix: resolve assertion error in C++ witness generation for scalar signals in loops
#379DeVikingMark opened Aug 15, 2025
Fix typos in comments and docs (no functional changes)
#378fifalodm opened Aug 15, 2025
fix: typos in files
#377maradini77 opened Aug 9, 2025
1
Fix: Replace panic with warning on temporary WAT file removal
#376anim001k opened Aug 9, 2025
Update basic-operators.md
#37271104 opened Jun 7, 2025
docs (RELEASES.md): fix typo in the heading "###Fixed bugs"
#370gap-editor opened May 29, 2025
Fixed typos
#369BorisNaum opened May 22, 2025
fix: Fix typos in comments and error messages
#366Cryptonian-dev opened May 6, 2025
build: update checkout action to v4
#365dizer-ti opened Apr 24, 2025
1
Fix: Remove panic risk in AST pragma processing
#364VolodymyrBg opened Apr 19, 2025
docs: remove consecutive duplicate words
#363zeroprooff opened Apr 18, 2025

Navigation Menu

Repository navigation

All pull requests

fix: report WAT-to-WASM input and output errors instead of panicking

Perf: Improve compiler speed

fix: preserve contradictory constant pin constraints

fix: make Tree lifetime explicit

Define Darwin GMP limb flag for witness builds

Fix typo in `control-flow.md` docs

docs: fix broken links

Fix leaked global and preserve original error stack in `witness_calculator.js`

chore: fix some minor issues in comments

docs: fix grammar issues in documentation

feat: implement normalize function for Constraint<usize>

Use write_all for fixed-size payloads in R1CS writer

docs: fix `==>` → `<==` in Circom

fix: use BigInt::from(-1) instead of invalid -1 % field

fix: resolve assertion error in C++ witness generation for scalar signals in loops

Fix typos in comments and docs (no functional changes)

fix: typos in files

Fix: Replace panic with warning on temporary WAT file removal

Update basic-operators.md

docs (RELEASES.md): fix typo in the heading "###Fixed bugs"

Fixed typos

fix: Fix typos in comments and error messages

build: update checkout action to v4

Fix: Remove panic risk in AST pragma processing

docs: remove consecutive duplicate words

Pull requests