feat: commit the R1CS witness over the base field (proof format 2.0)#470

Open

BornPsych wants to merge 11 commits into

mainfrom

feat/base-field-witness-commit

Commits on Jul 8, 2026

feat(common): add per-field proof tag and bump format versions to 2.0

shreyas-londhe
authored and
BornPsych
committed
feat(common): split witness/blinding commitments and tag proof magic per field

shreyas-londhe
authored and
BornPsych
committed
feat(prover): commit witness in base field, blinding g separately

shreyas-londhe
authored and
BornPsych
committed
feat(verifier): mirror the base-witness + separate-blinding proof shape

shreyas-londhe
authored and
BornPsych
committed
feat(goldilocks): base-leaf witness field + ext-leaf fixture stand-in

shreyas-londhe
authored and
BornPsych
committed
feat(bn254): reconcile to uniform non-ZK, tag FIELD_ID 0

shreyas-londhe
authored and
BornPsych
committed
fix(tooling): adapt gnark inputs + security tests to the split config

shreyas-londhe
authored and
BornPsych
committed
test(fixtures): thread the base-sampling bound through the harness

shreyas-londhe
authored and
BornPsych
committed
test(fixtures): route base vs challenge suites to the right field

shreyas-londhe
authored and
BornPsych
committed
fix: reconcile base-field commit onto current main
BornPsych
committed

Commits on Jul 10, 2026

fix: address review on the base-field witness commit
BornPsych
committed