HerodotusDev/eth-essential-rs
1
0
Fork 0
mirror of https://github.com/HerodotusDev/eth-essential-rs.git synced 2026-05-22 13:26:17 +00:00
Code Issues Projects Releases Packages Wiki Activity
No description
19 commits 2 branches 0 tags 4.8 MiB
  • Rust 100%
Find a file
Exact
Pia 05de9935a2 chore: verify_account
2024-10-08 11:17:15 +09:00
.github update mpt 2024-10-03 13:04:38 -07:00
.vscode init 2024-09-23 11:42:03 +09:00
elf chore: cleanup dependency 2024-10-03 14:25:28 -07:00
lib chore: verify_account 2024-10-08 11:17:15 +09:00
program chore: verify_account 2024-10-08 11:17:15 +09:00
script chore: cleanup dependency 2024-10-03 14:25:28 -07:00
workflows init 2024-09-23 11:42:03 +09:00
.env.example init 2024-09-23 11:42:03 +09:00
.gitignore init 2024-09-23 11:42:03 +09:00
.gitmodules init 2024-09-23 11:42:03 +09:00
Cargo.lock update mpt 2024-10-03 13:04:38 -07:00
Cargo.toml chore: cleanup dependency 2024-10-03 14:25:28 -07:00
LICENSE-MIT init 2024-09-23 11:42:03 +09:00
README.md chore: cleanup dependency 2024-10-03 14:25:28 -07:00
rust-toolchain init 2024-09-23 11:42:03 +09:00

README.md

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