Skip to content

refactor: make the proving spine generic over the field (<P: ProofField>); extract provekit-backend-bn254#458

Merged
shreyas-londhe merged 41 commits into
mainfrom
sl/goldilocks-field-abstraction
Jul 6, 2026
Merged

refactor: make the proving spine generic over the field (<P: ProofField>); extract provekit-backend-bn254#458
shreyas-londhe merged 41 commits into
mainfrom
sl/goldilocks-field-abstraction

refactor(common): make CompressedR1CS field round-trip a compile-time…

4b3b5c1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar