Closed andrewwhitehead closed 1 year ago
This is a breaking change to the proof format. The verifier could be made backward-compatible and accept the previous proof format.
Merging based on multiple out-of-band approvals.
This is a breaking change to the proof format. The verifier could be made backward-compatible and accept the previous proof format.