feat: support taiko protocol

.github/workflows/ci.yml

@@ -22,7 +22,7 @@ jobs:
       fail-fast: false
       matrix:
         rust: ["stable", "beta", "nightly"]
-        flags: ["--no-default-features", "", "--all-features"]
+        flags: ["--no-default-features", "", "--features taiko"]
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@master
@@ -38,7 +38,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        features: ["", "optimism,kzg-rs"]
+        features: ["", "taiko,optimism,kzg-rs"]
     steps:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
@@ -79,7 +79,7 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
         with:
           components: rust-docs
-      - run: cargo doc --workspace --all-features --no-deps --document-private-items
+      - run: cargo doc --workspace --features taiko --no-deps --document-private-items
         env:
           RUSTDOCFLAGS: "--cfg docsrs -D warnings"
 
@@ -104,4 +104,3 @@ jobs:
         with:
           config: ./Typos.toml
           isolated: true
-

CHANGELOG.md

@@ -421,7 +421,7 @@ date: 20.1.2022
 
 # v3 tag
 
-* revm: v1.0.0 
+* revm: v1.0.0
 * revme: v0.1.0
 
 # v2 tag

bins/revme/Cargo.toml

@@ -16,7 +16,6 @@ microbench = "0.5"
 plain_hasher = "0.2"
 revm = { path = "../../crates/revm", version = "18.0.0", default-features = false, features = [
     "ethersdb",
-    "std",
     "serde-json",
     "c-kzg",
     "blst",
@@ -25,10 +24,14 @@ alloy-rlp = { version = "0.3", default-features = false, features = [
     "arrayvec",
     "derive",
 ] }
-serde = { version = "1.0", features = ["derive", "rc"] }
-serde_json = { version = "1.0", features = ["preserve_order"] }
+serde = { version = "1.0", default-features = false, features = ["derive", "rc"] }
+serde_json = { version = "1.0", default-features = false, features = ["alloc"]}
 structopt = "0.3"
 thiserror = "1.0"
 triehash = "0.8"
 walkdir = "2.5"
 k256 = { version = "0.13.3", features = ["ecdsa"] }
+
+[features]
+default = ["std"]
+std = ["serde/std", "serde_json/std", "alloy-rlp/std", "revm/std"]

crates/interpreter/Cargo.toml

@@ -50,15 +50,11 @@ asm-keccak = ["revm-primitives/asm-keccak"]
 portable = ["revm-primitives/portable"]
 parse = ["dep:paste", "dep:phf"]
 
-optimism = ["revm-primitives/optimism"]
-# Optimism default handler enabled Optimism handler register by default in EvmBuilder.
-optimism-default-handler = [
-    "optimism",
-    "revm-primitives/optimism-default-handler",
-]
-negate-optimism-default-handler = [
-    "revm-primitives/negate-optimism-default-handler",
-]
+optimism = []
+taiko = ["revm-primitives/taiko"]
+# taiko default handler enabled taiko handler register by default in EvmBuilder.
+taiko-default-handler = ["taiko", "revm-primitives/taiko-default-handler"]
+negate-taiko-default-handler = ["revm-primitives/negate-taiko-default-handler"]
 
 dev = [
     "memory_limit",

crates/precompile/Cargo.toml

@@ -25,9 +25,15 @@ all = "warn"
 revm-primitives = { path = "../primitives", version = "14.0.0", default-features = false }
 once_cell = { version = "1.19", default-features = false, features = ["alloc"] }
 
-# ecRecover
+# Optional KZG point evaluation precompile
+c-kzg = { git = "https://github.com/brechtpd/c-kzg-4844", branch = "for-alpha7", default-features = false, optional = true, features = [
+    "preload-kzg-settings",
+    "no-threads",
+] }
+
+# ecRecover precompile
 k256 = { version = "0.13.3", default-features = false, features = ["ecdsa"] }
-secp256k1 = { version = ">=0.28, <=0.29", default-features = false, features = [
+secp256k1 = { version = "0.29", default-features = false, features = [
     "alloc",
     "recovery",
     "rand",
@@ -45,9 +51,9 @@ aurora-engine-modexp = { version = "1.1", default-features = false }
 bn = { package = "substrate-bn", version = "0.6", default-features = false }
 
 # KZG point evaluation precompile
-c-kzg = { version = "1.0.3", default-features = false, optional = true, features = [
-    "ethereum_kzg_settings",
-] }
+# c-kzg = { version = "1.0.3", default-features = false, optional = true, features = [
+#     "ethereum_kzg_settings",
+# ] }
 
 # Optionally use `kzg-rs` for a pure Rust implementation of KZG point evaluation.
 kzg-rs = { version = "0.2.3", default-features = false, optional = true }
@@ -86,15 +92,11 @@ std = [
 hashbrown = ["revm-primitives/hashbrown"]
 asm-keccak = ["revm-primitives/asm-keccak"]
 
-optimism = ["revm-primitives/optimism", "secp256r1"]
-# Optimism default handler enabled Optimism handler register by default in EvmBuilder.
-optimism-default-handler = [
-    "optimism",
-    "revm-primitives/optimism-default-handler",
-]
-negate-optimism-default-handler = [
-    "revm-primitives/negate-optimism-default-handler",
-]
+optimism = []
+taiko = ["revm-primitives/taiko"]
+# taiko default handler enabled taiko handler register by default in EvmBuilder.
+taiko-default-handler = ["taiko", "revm-primitives/taiko-default-handler"]
+negate-taiko-default-handler = ["revm-primitives/negate-taiko-default-handler"]
 
 # Enables the p256verify precompile.
 secp256r1 = ["dep:p256"]
@@ -113,6 +115,7 @@ portable = ["revm-primitives/portable", "c-kzg?/portable"]
 # In Linux it passes. If you don't require to build wasm on win/mac, it is safe to use it and it is enabled by default.
 secp256k1 = ["dep:secp256k1"]
 
+sp1-cycle-tracker = []
 # Enables the BLS12-381 precompiles.
 blst = ["dep:blst"]
 

crates/precompile/src/blake2.rs

@@ -1,3 +1,4 @@
+use crate::zk_op::{self, ZkOperation};
 use crate::{Error, Precompile, PrecompileResult, PrecompileWithAddress};
 use revm_primitives::{Bytes, PrecompileOutput};
 
@@ -11,45 +12,60 @@ pub const FUN: PrecompileWithAddress =
 /// input format:
 /// [4 bytes for rounds][64 bytes for h][128 bytes for m][8 bytes for t_0][8 bytes for t_1][1 byte for f]
 pub fn run(input: &Bytes, gas_limit: u64) -> PrecompileResult {
+    #[cfg(feature = "sp1-cycle-tracker")]
+    println!("cycle-tracker-start: blake2");
+
     let input = &input[..];
 
     if input.len() != INPUT_LENGTH {
         return Err(Error::Blake2WrongLength.into());
     }
 
+    let f = match input[212] {
+        1 => true,
+        0 => false,
+        _ => return Err(Error::Blake2WrongFinalIndicatorFlag.into()),
+    };
+
     // rounds 4 bytes
     let rounds = u32::from_be_bytes(input[..4].try_into().unwrap()) as usize;
     let gas_used = rounds as u64 * F_ROUND;
     if gas_used > gas_limit {
         return Err(Error::OutOfGas.into());
     }
 
-    let f = match input[212] {
-        1 => true,
-        0 => false,
-        _ => return Err(Error::Blake2WrongFinalIndicatorFlag.into()),
-    };
-
-    let mut h = [0u64; 8];
-    let mut m = [0u64; 16];
+    let out = if zk_op::contains_operation(&ZkOperation::Blake2) {
+        zk_op::ZKVM_OPERATOR
+            .get()
+            .unwrap()
+            .blake2_run(input)
+            .unwrap()
+    } else {
+        let mut h = [0u64; 8];
+        let mut m = [0u64; 16];
+
+        for (i, pos) in (4..68).step_by(8).enumerate() {
+            h[i] = u64::from_le_bytes(input[pos..pos + 8].try_into().unwrap());
+        }
+        for (i, pos) in (68..196).step_by(8).enumerate() {
+            m[i] = u64::from_le_bytes(input[pos..pos + 8].try_into().unwrap());
+        }
+        let t = [
+            u64::from_le_bytes(input[196..196 + 8].try_into().unwrap()),
+            u64::from_le_bytes(input[204..204 + 8].try_into().unwrap()),
+        ];
 
-    for (i, pos) in (4..68).step_by(8).enumerate() {
-        h[i] = u64::from_le_bytes(input[pos..pos + 8].try_into().unwrap());
-    }
-    for (i, pos) in (68..196).step_by(8).enumerate() {
-        m[i] = u64::from_le_bytes(input[pos..pos + 8].try_into().unwrap());
-    }
-    let t = [
-        u64::from_le_bytes(input[196..196 + 8].try_into().unwrap()),
-        u64::from_le_bytes(input[204..204 + 8].try_into().unwrap()),
-    ];
+        algo::compress(rounds, &mut h, m, t, f);
 
-    algo::compress(rounds, &mut h, m, t, f);
+        let mut out = [0u8; 64];
+        for (i, h) in (0..64).step_by(8).zip(h.iter()) {
+            out[i..i + 8].copy_from_slice(&h.to_le_bytes());
+        }
 
-    let mut out = [0u8; 64];
-    for (i, h) in (0..64).step_by(8).zip(h.iter()) {
-        out[i..i + 8].copy_from_slice(&h.to_le_bytes());
-    }
+        out
+    };
+    #[cfg(feature = "sp1-cycle-tracker")]
+    println!("cycle-tracker-end: blake2");
 
     Ok(PrecompileOutput::new(gas_used, out.into()))
 }