axiom-crypto / snark-verifier

Apache License 2.0
94 stars 36 forks source link

fix: save break points when generating agg circuit for first time #23

Closed rpalakkal closed 1 year ago

rpalakkal commented 1 year ago

When running the circuit more than once, proving fails the second time as pk is loaded from the file but break_points are not (as they are not currently being saved).