Skip to main content

🐆 Tx_rollup_inbox_storage.v

Proofs

See code, Gitlab , OCaml

The function [find] is valid.
The function [get] is valid.
The function [prepare_inbox] is valid.
The function [update_inbox] is valid.
The function [append_message] is valid.
The function [remove] is valid.
The function [check_message_hash] is valid.