chore: restore prove_then_verify
test on verify_rollup_honk_proof
#11018
Merged
TomAFrench merged 2 commits intomasterfrom TomAFrench-patch-1Jan 3, 2025
prove_then_verify
test on verify_rollup_honk_proof
#11018