Skip to content

Commit

Permalink
feat: SMT support in trace_decoder ignores storage (#693)
Browse files Browse the repository at this point in the history
0xaatif authored Oct 16, 2024

Verified

This commit was signed with the committer’s verified signature. The key has expired.
wjwwood William Woodall
1 parent 0ec9970 commit fa1e2f9
Showing 18 changed files with 681 additions and 285 deletions.
12 changes: 9 additions & 3 deletions .github/workflows/lint.yml
Original file line number Diff line number Diff line change
@@ -13,8 +13,6 @@ concurrency:

env:
CARGO_TERM_COLOR: always
BINSTALL_NO_CONFIRM: true
RUSTDOCFLAGS: "-D warnings"

jobs:
clippy:
@@ -42,7 +40,15 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: ./.github/actions/rust
- run: cargo doc --all --no-deps
- run: RUSTDOCFLAGS='-D warnings -A rustdoc::private_intra_doc_links' cargo doc --all --no-deps
# TODO(zero): https://github.com/0xPolygonZero/zk_evm/issues/718
- run: >
RUSTDOCFLAGS='-D warnings -A rustdoc::private_intra_doc_links' cargo doc --no-deps --document-private-items
--package trace_decoder
--package compat
--package smt_trie
--package zk_evm_proc_macro
--package zk_evm_common
cargo-fmt:
runs-on: ubuntu-latest
timeout-minutes: 5
11 changes: 11 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

3 changes: 0 additions & 3 deletions Cargo.toml
Original file line number Diff line number Diff line change
@@ -41,7 +41,6 @@ axum = "0.7.5"
bitflags = "2.5.0"
bitvec = "1.0.1"
bytes = "1.6.0"
cargo_metadata = "0.18.1"
ciborium = "0.2.2"
ciborium-io = "0.2.2"
clap = { version = "4.5.7", features = ["derive", "env"] }
@@ -72,7 +71,6 @@ nunny = "0.2.1"
once_cell = "1.19.0"
paladin-core = "0.4.3"
parking_lot = "0.12.3"
paste = "1.0.15"
pest = "2.7.10"
pest_derive = "2.7.10"
pretty_env_logger = "0.5.0"
@@ -94,7 +92,6 @@ syn = "2.0"
thiserror = "1.0.61"
tiny-keccak = "2.0.2"
tokio = { version = "1.38.0", features = ["full"] }
toml = "0.8.14"
tower = "0.4"
tracing = "0.1"
tracing-subscriber = { version = "0.3", features = ["env-filter"] }
3 changes: 2 additions & 1 deletion trace_decoder/Cargo.toml
Original file line number Diff line number Diff line change
@@ -15,6 +15,7 @@ alloy-compat = "0.1.0"
anyhow.workspace = true
bitflags.workspace = true
bitvec.workspace = true
build-array = "0.1.2"
bytes.workspace = true
ciborium.workspace = true
ciborium-io.workspace = true
@@ -33,6 +34,7 @@ nunny = { workspace = true, features = ["serde"] }
plonky2.workspace = true
rlp.workspace = true
serde.workspace = true
smt_trie.workspace = true
stackstack = "0.3.0"
strum = { version = "0.26.3", features = ["derive"] }
thiserror.workspace = true
@@ -52,7 +54,6 @@ libtest-mimic = "0.7.3"
plonky2_maybe_rayon.workspace = true
serde_json.workspace = true
serde_path_to_error.workspace = true
smt_trie.workspace = true
zero.workspace = true

[features]
2 changes: 2 additions & 0 deletions trace_decoder/benches/block_processing.rs
Original file line number Diff line number Diff line change
@@ -8,6 +8,7 @@
use criterion::{criterion_group, criterion_main, BatchSize, Criterion};
use trace_decoder::observer::DummyObserver;
use trace_decoder::{BlockTrace, OtherBlockData};
use zero::prover::WIRE_DISPOSITION;

#[derive(Clone, Debug, serde::Deserialize)]
pub struct ProverInput {
@@ -39,6 +40,7 @@ fn criterion_benchmark(c: &mut Criterion) {
other_data,
batch_size,
&mut DummyObserver::new(),
WIRE_DISPOSITION,
)
.unwrap()
},
Loading

0 comments on commit fa1e2f9

Please sign in to comment.