Add ROMode for configurable Poseidon sponge width (#490)

Add AllocatedNum::from_parts for zero-cost variable reuse (#487)

feat: add zero-cost AllocatedNum::one() and migrate call sites (#488)

Expose Compressed Polys in Sumcheck Proof (#486)

introduce a method on R1CSInstance (#483)

update version (#482)

Performance improvements (#481)

Add batched cubic sumcheck for K instance triples (#480)

derandomization for R1CS (#479)

fix: Poseidon compact mode (#478)

Allow ck_derive_by_address with addresses.len() <= ck.len() (#476)

add ck_derive_by_address, pad_nonsquare, and MSM identity-base fix (#475)

replace prove_quad_batch_prod with eq-specialized prove_batch_eval (#474)

sumcheck: add SumcheckProof::update_claim helper for BDDT claim tracking (#473)

derive sumcheck eval points from running claim (#472)