AbortedChanges

Summary

  1. Deposit: further improvement of specs (#320) (details)
Commit c12cff9a277cc3cc2f6ecd52a807a1097dbcfb5a by noreply
Deposit: further improvement of specs (#320)
* consider garbage calldata for init

* clarify the loop invariant of height in get_deposit_root

* clarify the loop invariant of height in deposit loop

* informative wordstack for deposit loop

* simplify gas cost

* minor reorg

* consistent naming specs

* remove unnecessary cells
The file was modifieddeposit/bytecode-verification/deposit-spec.ini (diff)
The file was modifieddeposit/bytecode-verification/spec-tmpl.k (diff)
The file was modifieddeposit/bytecode-verification/Makefile (diff)