recursion: add R1CS dump/shrink tooling #2526

sidhujag · 2026-01-16T01:38:46Z

Summary

Adds utilities and plumbing to dump, shrink, and verify recursion/R1CS constraints for SP1 programs, plus supporting updates across the recursion toolchain and gnark-ffi.

Changes

Add dump_shrink_verify_constraints prover binary and related helpers.
Extend recursion compiler/R1CS pipeline (BabyBear + Poseidon2 + LF backends) to support exporting constraint systems.
Update gnark-ffi assets + Go bindings for updated verifier/proving flow.
Add/adjust field + Poseidon2 constants plumbing (incl. BLS12-377-related field module).

Test plan

cargo test -p prover -p recursion-compiler -p recursion-circuit -p verifier
Run cargo run -p prover --bin dump_shrink_verify_constraints -- --help and a representative program config.
(Optional) run gnark-ffi Go tests under crates/recursion/gnark-ffi/go/.

Notes

This branch is large (129 commits / 48 files changed). Review is easiest commit-by-commit, focusing on the new dump/shrink binary and recursion compiler changes.

Phase 0 explicitly exports only RecursionPublicValues.digest as public inputs (see phase0_collect_public_ids around lines 260–272), but CircuitV2CommitPublicValues asserts that sp1_vk_digest (and later committed_value_digest) must occupy the public-input prefix. In BabyBear recursion circuits those fields are not preallocated, so debug builds will panic when compiling the shrink verifier (e.g., dump_shrink_verify_constraints in debug), and release builds will silently accept a public-input layout that contradicts these checks. Consider validating the digest IDs here instead, or expand Phase 0 to include the other fields if they are meant to be public.

leruaa and others added 30 commits December 15, 2025 21:43

chore: release SP1 v5.2.4 (succinctlabs#2517)

2a51f3d

PVUGC initial check-in

69eaac7

add paramgen

5c8a31b

add test-artifacts

c736dae

Update main.rs

2895210

Update lib.rs

8a3fc81

standardize around icicle pos2

2fec903

Update babybear.go

75d7674

Update poseidon2_bls12377_rc3.rs

4fb24c3

Update poseidon2_bls12377_rc3.rs

65df352

add missing bins

633c10a

assert both sets of constants are same

bd324ca

link in go

dd77f21

fix baby bear MSB truncation

1917277

fix bit-decomposition in split_32

592ddd2

Update challenger.rs

8cf8a3f

MSB back to 3 bits again

6e30613

Update lib.rs

8159704

Update lib.rs

2debf02

Update verify.rs

cf7a062

modulus width of fr377 is 253

c8b1215

Update lib.rs

155a726

ToBinary enforces reducedness by default

a0f0736

Update challenger.rs

ffe5a8c

use groth backend in tests

4e3ee22

Update tests.rs

8bd70b1

make gorth backend datadir aware

a8d47f3

test injective mod proof of fr377

7aa8bf5

fix packing re fr377

3e791c1

revert test

18d13c0

jagdeep sidhu added 30 commits January 17, 2026 11:55

Update dump_shrink_verify_constraints.rs

42a057a

Update dump_shrink_verify_constraints.rs

ac3c359

Update dump_shrink_verify_constraints.rs

9b02901

export digest

3fbe040

Update compress.rs

37e3a59

Update compress.rs

7461feb

Update mod.rs

3726e33

Update mod.rs

d15590f

Update mod.rs

aa3751f

Update dump_shrink_verify_constraints.rs

a394652

Update compress.rs

137a54d

compile

2b639e3

Update dump_shrink_verify_constraints.rs

2618fa7

Update dump_shrink_verify_constraints.rs

9dba80c

Update dump_shrink_verify_constraints.rs

3dff033

Update dump_shrink_verify_constraints.rs

18f468a

Update dump_shrink_verify_constraints.rs

eff5619

Update dump_shrink_verify_constraints.rs

543dc5f

Update dump_shrink_verify_constraints.rs

d558b25

Create PVUGC.code-workspace

41d33f6

Update dump_shrink_verify_constraints.rs

5fb2505

Update dump_shrink_verify_constraints.rs

48bbb86

Update dump_shrink_verify_constraints.rs

2a717ef

Update root.rs

f99f545

revert

885ace6

Update root.rs

d7f45f3

export digest

06b9bb4

api rework

cf6d272

Update shrink_export.rs

461b13a

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

recursion: add R1CS dump/shrink tooling #2526

recursion: add R1CS dump/shrink tooling #2526

Uh oh!

sidhujag commented Jan 16, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

recursion: add R1CS dump/shrink tooling #2526

Are you sure you want to change the base?

recursion: add R1CS dump/shrink tooling #2526

Uh oh!

Conversation

sidhujag commented Jan 16, 2026

Summary

Changes

Test plan

Notes

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants