Content
@
0 reply
0 recast
0 reaction
zpedro
@zpedro
Also make sure you compute the verification key yourself when you verify that proof in another proof. Otherwise the prover could just prove a true statement about anything at all, and you’d be all happy trusting that VK
0 reply
0 recast
0 reaction