Skip to content

Resolve "Verify Zk_rollup_storage.v"

Guillaume Claret requested to merge 687-verify-zk_rollup_storage-v into master

Closes #687 (closed) , #679 (closed) , #677 (closed)

We only write the specification and admit all the lemmas.

Edited by Guillaume Claret

Merge request reports