Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,7 @@ latest_proof.json
elf
program.bin
stdin.bin
vk.bin

**.csv

Expand Down
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ For the supported chains (Ethereum Mainnet and Sepolia, OP Stack Mainnet, and Li
cargo run -r --bin host -- --block-number <block-number> --rpc-url <RPC> --chain-id <chain-id>

# eg.
cargo run -r --bin host -- --block-number 18884864 --rpc-url <RPC> --chain-id 1
cargo run -r --bin host -- --block-number 25134887 --rpc-url <RPC> --chain-id 1
```

The host CLI executes the block while fetching additional data necessary for offline execution. The same execution and verification logic is then run inside the zkVM. No actual proof is generated from this command, but it will print out a detailed execution report and statistics on the # of cycles to a CSV file (can be specified by the `--report-path` argument).
Expand Down Expand Up @@ -60,7 +60,7 @@ If you want to actually generate proofs, you can run the CLI using the `--prove`
cargo run -r --bin host -- --block-number <block-number> --rpc-url <RPC> --chain-id <chain-id> --prove

# eg.
cargo run -r --bin host -- --block-number 18884864 --rpc-url <RPC> --chain-id 1 --prove
cargo run -r --bin host -- --block-number 25134887 --rpc-url <RPC> --chain-id 1 --prove
```

This will generate proofs locally on your machine. Given how large these programs are, it might take a while for the proof to generate.
Expand Down
Binary file removed bin/host/input/1/18884864.bin
Binary file not shown.
Binary file added bin/host/input/1/25134887.bin
Binary file not shown.
Loading