Zero bin merge

.env

@@ -0,0 +1,8 @@
+AMQP_URI=amqp://localhost:5672
+ARITHMETIC_CIRCUIT_SIZE=16..23
+BYTE_PACKING_CIRCUIT_SIZE=9..21
+CPU_CIRCUIT_SIZE=12..25
+KECCAK_CIRCUIT_SIZE=14..20
+KECCAK_SPONGE_CIRCUIT_SIZE=9..15
+LOGIC_CIRCUIT_SIZE=12..18
+MEMORY_CIRCUIT_SIZE=17..28

.github/workflows/ci.yml

@@ -118,6 +118,78 @@ jobs:
           CARGO_INCREMENTAL: 1
           RUST_BACKTRACE: 1
 
+  test_zero_bin:
+    name: Test zero_bin
+    runs-on: ubuntu-latest
+    timeout-minutes: 30
+    if: "! contains(toJSON(github.event.commits.*.message), '[skip-ci]')"
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Install nightly toolchain
+        uses: dtolnay/rust-toolchain@nightly
+
+      - name: Set up rust cache
+        uses: Swatinem/rust-cache@v2
+        with:
+            cache-on-failure: true
+
+      - name: Test in zero_bin subdirectory
+        run: |
+          cargo test --manifest-path zero_bin/common/Cargo.toml
+          cargo test --manifest-path zero_bin/leader/Cargo.toml
+          cargo test --manifest-path zero_bin/ops/Cargo.toml
+          cargo test --manifest-path zero_bin/prover/Cargo.toml
+          cargo test --manifest-path zero_bin/rpc/Cargo.toml
+          cargo test --manifest-path zero_bin/verifier/Cargo.toml
+          cargo test --manifest-path zero_bin/worker/Cargo.toml
+
+        env:
+          RUSTFLAGS: -Copt-level=3 -Cdebug-assertions -Coverflow-checks=y -Cdebuginfo=0
+          RUST_LOG: 1
+          CARGO_INCREMENTAL: 1
+          RUST_BACKTRACE: 1
+
+  simple_proof_regular:
+    name: Execute bash script to generate and verify a proof for a small block.
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd zero_bin/tools
+          ./prove_stdio.sh artifacts/witness_b19240705.json
+
+  simple_proof_witness_only:
+    name: Execute bash script to generate the proof witness for a small block.
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd zero_bin/tools
+          ./prove_stdio.sh artifacts/witness_b19240705.json test_only
+
+  multi_blocks_proof_regular:
+    name: Execute bash script to generate and verify a proof for multiple blocks using parallel proving.
+    runs-on: zero-ci
+
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Run the script
+        run: |
+          pushd zero_bin/tools
+          ./prove_stdio.sh artifacts/witness_b2_b7.json
+
   lints:
     name: Rustdoc, Formatting and Clippy
     runs-on: ubuntu-latest

.gitignore

@@ -5,3 +5,4 @@ Cargo.lock
 *.iml
 .idea/
 .vscode
+

Cargo.toml

@@ -1,34 +1,110 @@
 [workspace]
-members = ["mpt_trie", "proof_gen", "trace_decoder", "evm_arithmetization"]
+members = ["mpt_trie",
+    "proof_gen",
+    "trace_decoder",
+    "evm_arithmetization",
+    "zero_bin/leader",
+    "zero_bin/worker",
+    "zero_bin/common",
+    "zero_bin/ops",
+    "zero_bin/verifier",
+    "zero_bin/rpc",
+    "zero_bin/prover"]
 resolver = "2"
 
+[workspace.package]
+edition = "2021"
+license = "MIT OR Apache-2.0"
+repository = "https://github.com/0xPolygonZero/zk_evm"
+homepage = "https://github.com/0xPolygonZero/zk_evm"
+keywords = ["cryptography", "STARK", "plonky2", "ethereum", "zk"]
+categories = ["cryptography::cryptocurrencies"]
+
 [workspace.dependencies]
+alloy = { git = "https://github.com/alloy-rs/alloy", tag='v0.1.1', default-features = false, features = [
+    "consensus",
+    "reqwest",
+    "json-rpc",
+    "rlp",
+    "rpc",
+    "rpc-client",
+    "rpc-types-eth",
+    "rpc-types-trace",
+    "providers",
+    "transports",
+    "transport-http",
+    "rpc-types-debug"
+] }
+anyhow = "1.0.40"
+async-stream = "0.3.5"
+axum = "0.7.4"
 bytes = "1.5.0"
+ciborium = "0.2.1"
+ciborium-io = "0.2.1"
+clap = { version = "4.4.6", features = ["derive", "env"] }
+__compat_primitive_types = "0.12.2"
+criterion = "0.5.1"
+dotenvy = "0.15.7"
 enum-as-inner = "0.6.0"
+enumn = "0.1.12"
 env_logger = "0.10.0"
 ethereum-types = "0.14.1"
+eth_trie = "0.4.0"
+evm_arithmetization = { path = "evm_arithmetization", version = "0.2.0" }
+futures = "0.3.29"
+hashbrown = "0.14.0"
 hex = "0.4.3"
 hex-literal = "0.4.1"
+impl-codec = "0.6.0"
+impl-num-traits = "0.1.2"
+impl-rlp = "0.3.0"
+impl-serde = "0.4.0"
+itertools = "0.13.0"
 keccak-hash = "0.10.0"
 log = "0.4.20"
+mpt_trie = { path = "mpt_trie", version = "0.3.0" }
 num = "0.4.1"
+num-bigint = "0.4.3"
+num-traits = "0.2.19"
+once_cell = "1.13.0"
+paladin-core = "0.4.2"
+parking_lot = "0.12.1"
+paste = "1.0.14"
+pest = "2.1.3"
+pest_derive = "2.1.0"
+pretty_env_logger = "0.5.0"
+proof_gen = { path = "proof_gen", version = "0.2.0" }
 rand = "0.8.5"
+rand_chacha = "0.3.1"
+ripemd = "0.1.3"
 rlp = "0.5.2"
 rlp-derive = "0.1.0"
+ruint = "1.12.1"
 serde = "1.0.166"
 serde_json = "1.0.96"
+serde_path_to_error = "0.1.14"
+serde_with = "3.4.0"
+sha2 = "0.10.6"
+static_assertions = "1.1.0"
 thiserror = "1.0.49"
+tiny-keccak = "2.0.2"
+tokio = { version = "1.33.0", features = ["full"] }
+toml = "0.8.12"
+tower = "0.4"
+trace_decoder = { path = "trace_decoder", version = "0.4.0" }
+tracing = "0.1"
+tracing-subscriber = { version = "0.3", features = ["env-filter"] }
+uint = "0.9.5"
+url = "2.5.0"
+
+# zero-bin releated deps
+ops = { path = "zero_bin/ops" }
+prover = { path = "zero_bin/prover" }
+rpc = { path = "zero_bin/rpc" }
+zero_bin_common = { path = "zero_bin/common" }
 
 # plonky2-related dependencies
 plonky2 = "0.2.2"
 plonky2_maybe_rayon = "0.2.0"
 plonky2_util = "0.2.0"
 starky = "0.4.0"
-
-
-[workspace.package]
-edition = "2021"
-license = "MIT OR Apache-2.0"
-repository = "https://github.com/0xPolygonZero/zk_evm"
-homepage = "https://github.com/0xPolygonZero/zk_evm"
-keywords = ["cryptography", "STARK", "plonky2", "ethereum", "zk"]

evm_arithmetization/Cargo.toml

@@ -12,45 +12,45 @@ homepage.workspace = true
 keywords.workspace = true
 
 [dependencies]
-anyhow = "1.0.40"
+anyhow = { workspace = true }
 bytes = { workspace = true }
 env_logger = { workspace = true }
 ethereum-types = { workspace = true }
 hex = { workspace = true, optional = true }
 hex-literal = { workspace = true }
-itertools = "0.11.0"
+itertools = { workspace = true }
 keccak-hash = { workspace = true }
 log = { workspace = true }
 plonky2_maybe_rayon = { workspace = true }
 num = { workspace = true }
-num-bigint = "0.4.3"
-once_cell = "1.13.0"
-pest = "2.1.3"
-pest_derive = "2.1.0"
+num-bigint = { workspace = true }
+once_cell = { workspace = true }
+pest = { workspace = true }
+pest_derive = { workspace = true }
 plonky2 = { workspace = true }
 plonky2_util = { workspace = true }
 starky = { workspace = true }
 rand = { workspace = true }
-rand_chacha = "0.3.1"
+rand_chacha = { workspace = true }
 rlp = { workspace = true }
 rlp-derive = { workspace = true }
 serde = { workspace = true, features = ["derive"] }
-static_assertions = "1.1.0"
-hashbrown = { version = "0.14.0" }
-tiny-keccak = "2.0.2"
+static_assertions = { workspace = true }
+hashbrown = { workspace = true }
+tiny-keccak = { workspace = true }
 serde_json = { workspace = true }
 
 # Local dependencies
-mpt_trie = { version = "0.3.0", path = "../mpt_trie" }
+mpt_trie = { workspace = true }
 
 [target.'cfg(not(target_env = "msvc"))'.dependencies]
 jemallocator = "0.5.0"
 
 [dev-dependencies]
-criterion = "0.5.1"
+criterion = { workspace = true }
 hex = { workspace = true }
-ripemd = "0.1.3"
-sha2 = "0.10.6"
+ripemd = { workspace = true }
+sha2 = { workspace = true }
 
 [features]
 default = ["parallel"]

mpt_trie/Cargo.toml

@@ -19,22 +19,22 @@ enum-as-inner = { workspace = true }
 ethereum-types = { workspace = true }
 hex = { workspace = true }
 keccak-hash = { workspace = true }
-parking_lot = { version = "0.12.1", features = ["serde"] }
+parking_lot = { workspace = true, features = ["serde"] }
 thiserror = { workspace = true }
 log = { workspace = true }
 num = { workspace = true, optional = true }
-num-traits = "0.2.15"
-uint = "0.9.5"
+num-traits = { workspace = true }
+uint = { workspace = true }
 rlp = { workspace = true }
 serde = { workspace = true, features = ["derive", "rc"] }
-impl-rlp = "0.3.0"
-impl-codec = "0.6.0"
-impl-serde = "0.4.0"
-impl-num-traits = "0.1.2"
+impl-rlp = { workspace = true }
+impl-codec = { workspace = true }
+impl-serde = { workspace = true }
+impl-num-traits = { workspace = true }
 
 [dev-dependencies]
-eth_trie = "0.4.0"
-pretty_env_logger = "0.5.0"
+eth_trie = { workspace = true }
+pretty_env_logger = { workspace = true }
 rand = { workspace = true }
 rlp-derive = { workspace = true }
 serde_json = { workspace = true }

proof_gen/Cargo.toml

@@ -12,9 +12,9 @@ keywords.workspace = true
 [dependencies]
 ethereum-types = { workspace = true }
 log = { workspace = true }
-paste = "1.0.14"
+paste = { workspace = true }
 plonky2 = { workspace = true }
 serde = { workspace = true }
 
 # Local dependencies
-evm_arithmetization = { version = "0.2.0", path = "../evm_arithmetization" }
+evm_arithmetization = { workspace = true }

trace_decoder/Cargo.toml

@@ -11,10 +11,10 @@ keywords.workspace = true
 
 [dependencies]
 bytes = { workspace = true }
-ciborium = "0.2.1"
-ciborium-io = "0.2.1"
+ciborium = { workspace = true }
+ciborium-io = { workspace = true }
 enum-as-inner = { workspace = true }
-enumn = "0.1.12"
+enumn = { workspace = true }
 ethereum-types = { workspace = true }
 hex = { workspace = true }
 hex-literal = { workspace = true }
@@ -23,16 +23,16 @@ log = { workspace = true }
 rlp = { workspace = true }
 rlp-derive = { workspace = true }
 serde = { workspace = true }
-serde_with = "3.4.0"
+serde_with = { workspace = true }
 thiserror = { workspace = true }
 
 # Local dependencies
-mpt_trie = { version = "0.3.0", path = "../mpt_trie" }
-evm_arithmetization = { version = "0.2.0", path = "../evm_arithmetization" }
+mpt_trie = { workspace = true }
+evm_arithmetization = { workspace = true }
 
 [dev-dependencies]
-criterion = "0.5.1"
-pretty_env_logger = "0.5.0"
+criterion = { workspace = true }
+pretty_env_logger = { workspace = true }
 serde_json = { workspace = true }
 
 [[bench]]

zero_bin/.cargo/config.toml

@@ -0,0 +1,4 @@
+[build]
+# https://github.com/rust-lang/rust/pull/124129
+# https://github.com/dtolnay/linkme/pull/88
+rustflags = ["-Zlinker-features=-lld"]

zero_bin/.gitignore

@@ -0,0 +1,15 @@
+# Default extension for generated block proofs
+*.zkproof
+
+# Folder containing all the locally generated circuit data
+circuits/
+
+# Folders containing logs from the utility scripts in tools/
+debug/
+proofs/
+
+# Files generated from the tools script tests
+test.out
+proofs.json
+verify.out
+leader.out