Refactor/fiat shamir statement streamlined#617

Open

MauroToscano wants to merge 3 commits into

mainfrom

refactor/fiat-shamir-statement-streamlined

Commits on May 22, 2026

refactor(prover): bind the proven statement into the Fiat-Shamir transcript
diegokingston
committed
Merge branch 'main' into harden/fiat-shamir-statement-binding
diegokingston
authored
refactor(prover): streamline statement absorption into transcript
MauroToscano
committed