This PR elaborates on where the different files of the annotated proof come from. I initially found this confusing because it links to using cpu_air_prover, which can produce similar output using --generate_annotations (which inconsistently works with stark_evm_adapter's regex parsing :fearful:).
The change tries to clear up that confusion by being more verbose about the files.
katat
commented
10 months ago
This PR elaborates on where the different files of the annotated proof come from. I initially found this confusing because it links to using
cpu_air_prover, which can produce similar output using--generate_annotations(which inconsistently works withstark_evm_adapter's regex parsing :fearful:).The change tries to clear up that confusion by being more verbose about the files.