search

HerodotusDev / integrity

Apache License 2.0
61 stars 18 forks source link

Dynamic layout stone6 #143

Closed Okm165 closed 1 week ago

Okm165 commented 1 week ago

Dynamic proof verification works at this stage (removed check_asserts fn) - adding it back soon

Okm165 commented 1 week ago

Proof verification on example dynamic proof is 3.8M steps