Skip to content

Latest commit

 

History

History
47 lines (31 loc) · 814 Bytes

README.md

File metadata and controls

47 lines (31 loc) · 814 Bytes
Raw

Building blocks

  • Header verification - MMR proof
  • Account verification - MPT proof
  • Storage verification - MPT proof
  • Tx / Receipt verification - MPT proof

funfact

mmr + rlp decode + mpt account - keccak

example fixture

keccak (precompile) - mmr

cycles=856190 gas=997724 e2e=89.702300427s khz=9.54 proofSize=3544020

stark hash - mmr

cycles=20277801 gas=23727089 e2e=596.959s khz=33.97 proofSize=32741592

Build & Run

cd program && cargo prove build
cd script && cargo run --release -- --execute

This will execute the program and display the output.

Generate a Core Proof

To generate a core proof for your program:

cd script
cargo run --release -- --prove