refactor(prover): bind the proven statement into the Fiat-Shamir transcript#610
Open
diegokingston wants to merge 2 commits into
Open
refactor(prover): bind the proven statement into the Fiat-Shamir transcript#610diegokingston wants to merge 2 commits into
diegokingston wants to merge 2 commits into
