barretenberg icon indicating copy to clipboard operation
barretenberg copied to clipboard

`StructureTest` should retrieve the proof from proof_data rather than calling `export_proof`

Open maramihali opened this issue 1 year ago • 1 comments

Some of our provers call transcript->export_proof() in their export_proof while others return transcript->proof_data we should make this uniform, probably have all provers call transcript->export_proof() and then the StructureTest should operate directly on proof_data to avoid any unforseen side effects.

maramihali avatar Mar 21 '24 17:03 maramihali

Partly handled by https://github.com/AztecProtocol/aztec-packages/pull/14144 Most of the provers return proof by exporting it from the transcript. Except for the case when HasIPAAccumulator<Flavor>==true

iakovenkos avatar May 20 '25 15:05 iakovenkos

Happily handled by some of @federicobarbacovi 's recent work

ledwards2225 avatar Jul 03 '25 20:07 ledwards2225