refactor(prover): bind the proven statement into the Fiat-Shamir transcript#610
Closed
diegokingston wants to merge 2 commits into
Closed
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
