#Is there a way to verify a recursive proof without asserting if its valid?

3 messages · Page 1 of 1 (latest)

dim bough
#

I'd imagine something like:

// in circuit
const isVerified = proof.verify();
isVerified.assertTrue('proof is not valid');
left rain
#

Do you mean like

const isVerified = proof.verify();
Circuit.if(isVerified, ....) // do something with that info
dim bough
#

yep, but verify() returns void now