HerodotusDev / integrity

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

Abstract layouts in AIR #15

Closed tiagofneto closed 8 months ago