recursion: add R1CS dump/shrink tooling#1

Open

sidhujag wants to merge 143 commits intomainfrom

Commits on Jan 5, 2026

add R1CS compiler backend for DslIr
jagdeep sidhu
committed

Commits on Jan 12, 2026

lift to frog for LF+
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
lift true_mul_only
jagdeep sidhu
committed
carry count for poseidon
jagdeep sidhu
committed
cleanup
jagdeep sidhu
committed
dump witness
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Revert "Update dump_shrink_verify_constraints.rs"
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
fix lift_r1cs_to_lf_with_linear_carries_and_witness panic
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
parallel lift
jagdeep sidhu
committed
Update lf.rs
jagdeep sidhu
committed
write with buffer
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update lf.rs
jagdeep sidhu
committed
Update lf.rs
jagdeep sidhu
committed
add dbg for unsat row
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed

Commits on Jan 13, 2026

Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
deterministic compiler
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update poseidon2.rs
jagdeep sidhu
committed
Update poseidon2.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
Update compiler.rs
jagdeep sidhu
committed
cleanup
jagdeep sidhu
committed
r1cs audit
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed

Commits on Jan 16, 2026

fix shape only merkle tree height
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
audit_no_wrap_frog64_lifted
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Public inputs are counted but not made contiguous + Enforce BabyBear modulus in CircuitV2 bit hints
jagdeep sidhu
committed
add edge case in 31 bit check
jagdeep sidhu
committed
hardening
jagdeep sidhu
committed
hardening v2
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Revert "Update dump_shrink_verify_constraints.rs"
jagdeep sidhu
committed

Commits on Jan 17, 2026

dump out witness package
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
public input committing
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed

Commits on Jan 20, 2026

export digest
jagdeep sidhu
committed
Update compress.rs
jagdeep sidhu
committed
Update compress.rs
jagdeep sidhu
committed
Update mod.rs
jagdeep sidhu
committed
Update mod.rs
jagdeep sidhu
committed
Update mod.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update compress.rs
jagdeep sidhu
committed
compile
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Create PVUGC.code-workspace
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update dump_shrink_verify_constraints.rs
jagdeep sidhu
committed
Update root.rs
jagdeep sidhu
committed
revert
jagdeep sidhu
committed
Update root.rs
jagdeep sidhu
committed
export digest
jagdeep sidhu
committed

Commits on Jan 21, 2026

api rework
jagdeep sidhu
committed
Update shrink_export.rs
jagdeep sidhu
committed
Fix: Align public-input checks with digest-only export
jagdeep sidhu
committed

Commits on Feb 3, 2026

update audit to GL
jagdeep sidhu
committed