HerodotusDev / integrity

Apache License 2.0
61 stars 18 forks source link

air abstraction #111

Closed Okm165 closed 6 months ago

Okm165 commented 6 months ago

Verification of recursive layout proof works

Okm165 commented 6 months ago

Verification of small layout proof works

Okm165 commented 6 months ago

Verification of recursive_with_poseidon layout proof works

Okm165 commented 6 months ago

Verification of starknet layout proof works

Okm165 commented 6 months ago

Verification of dex layout proof works