feat(outbox): verify outbox proofs#809

victor-dumitrescu wants to merge 1 commit intovdum/rv-877tezos/riscv-pvm:vdum/rv-877from

vdum/rv-879tezos/riscv-pvm:vdum/rv-879Copy head branch name to clipboard