barretenberg icon indicating copy to clipboard operation
barretenberg copied to clipboard
verified publisher icon AztecProtocol

ClientIVCRecursiveVerifier should only have one transcript and one proof

Open maramihali opened this issue 1 year ago • 1 comments

and the proof should be stdlib

maramihali avatar Jun 06 '24 13:06 maramihali

The first part is solved by https://github.com/AztecProtocol/aztec-packages/pull/14144

I don't have any strong opinion re the single proof part, @maramihali did you have any particular reason in mind?

iakovenkos avatar May 20 '25 16:05 iakovenkos

Inherently sharing a transcript kinda means there is only one proof, I think that's what I meant. So if they do share a transcript I think we can close this issue.

maramihali avatar May 27 '25 15:05 maramihali