HerodotusDev / integrity

Apache License 2.0
65 stars 19 forks source link

Cairo1 public memory verification (Support Cairo 1 recursive proofs) #133

Closed Okm165 closed 4 months ago

Okm165 commented 4 months ago

This PR introduces Cairo 1 public memory verification logic compatible with the cairo1-run functionality of the cairo-vm. It also includes the functionality to switch with an externally supplied parameter.