Verify GKR proof in `Trace::validate()`
plafer opened this issue · comments
Originally posted by @irakliyk in #271 (comment)
Should we also try to verify the auxiliary proof somewhere in this function?
A STARK prover and verifier for arbitrary computations
plafer opened this issue · comments
Originally posted by @irakliyk in #271 (comment)
Should we also try to verify the auxiliary proof somewhere in this function?