Skip to content

Add more _storage.v files specifications

Guillaume Claret requested to merge 670-verify-tx_rollup_storage-v into master

Closes #670 (closed) , #666 (closed) , #549 (closed) , #533 (closed) , #525 (closed) , #516 (closed) , #492 (closed)

Only specification, no proofs.

Edited by Guillaume Claret

Merge request reports