HerodotusDev / integrity

Cairo STARK proof verifier for Starknet
Apache License 2.0
67 stars 21 forks source link

cairo_verifier run on cairo_vm #94

Closed Okm165 closed 10 months ago