feat: commit the R1CS witness with zook - #485

Merged

zkfriendly merged 13 commits into

mainfrom

ys/zook-witness-commitment

Sep 10, 2026

Commits on Aug 27, 2026

feat(common): add linear_form_refs covector helper
BornPsych
committed
e0587a7
chore(deps): bump whir to segmented-polynomial + zook rev 8804e80
BornPsych
committed
e7d6aae
feat(common): commit the witness with zook
BornPsych
committed
de0aee8
feat(prover): open the witness commitment through zook
BornPsych
committed
27d457d
feat(verifier): verify the witness commitment through zook
BornPsych
committed
9ea3a8d
refactor: reject SPARK query production under zook
BornPsych
committed
35de76f
refactor(r1cs-compiler): propagate fallible scheme construction
BornPsych
committed
1b97818
refactor(fixtures): propagate fallible scheme construction
BornPsych
committed
603ae9f
chore(tooling): disable gnark parameter export under zook
BornPsych
committed
d8ddb6b
chore(deps): bump whir to zook prover-claim rev 78e9460
BornPsych
committed
8a5f844
feat(prover): restore SPARK query production under zook
BornPsych
committed
4b58922

Commits on Sep 9, 2026