From 5bc5337db3dababcf587880080d676b100f3733a Mon Sep 17 00:00:00 2001 From: han0110 Date: Wed, 19 Aug 2026 08:49:34 +0000 Subject: [PATCH 01/10] feat: bump ere to 8295d94b4598ef14e6c35fff3dd4935f60f2f7ff for zisk v1.1.0-alpha and sp1 v6.4.0 --- Cargo.lock | 22 +-- Cargo.toml | 8 +- .../openvm/Cargo.lock | 4 +- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-ethrex/sp1/Cargo.lock | 48 +++--- bin/stateless-validator-ethrex/sp1/Cargo.toml | 12 +- .../zisk/Cargo.lock | 152 ++++++++++------- .../zisk/Cargo.toml | 2 +- .../openvm/Cargo.lock | 4 +- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-reth/sp1/Cargo.lock | 48 +++--- bin/stateless-validator-reth/sp1/Cargo.toml | 12 +- bin/stateless-validator-reth/zisk/Cargo.lock | 161 +++++++++++------- bin/stateless-validator-reth/zisk/Cargo.toml | 2 +- 14 files changed, 270 insertions(+), 209 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 447c249..e424085 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1697,7 +1697,7 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-catalog" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ere-util-build", "serde", @@ -1707,12 +1707,12 @@ dependencies = [ [[package]] name = "ere-codec" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-compiler-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "serde", ] @@ -1720,7 +1720,7 @@ dependencies = [ [[package]] name = "ere-dockerized" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "anyhow", "ere-catalog", @@ -1737,12 +1737,12 @@ dependencies = [ [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-prover-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "anyhow", "auto_impl", @@ -1759,7 +1759,7 @@ dependencies = [ [[package]] name = "ere-server-api" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "prost", "serde", @@ -1769,7 +1769,7 @@ dependencies = [ [[package]] name = "ere-server-client" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "bincode 2.0.1", "ere-prover-core", @@ -1781,7 +1781,7 @@ dependencies = [ [[package]] name = "ere-util-build" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "cargo_metadata", ] @@ -1789,7 +1789,7 @@ dependencies = [ [[package]] name = "ere-util-tokio" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "tokio", ] @@ -1797,7 +1797,7 @@ dependencies = [ [[package]] name = "ere-verifier-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "auto_impl", "ere-codec", diff --git a/Cargo.toml b/Cargo.toml index 5d01bce..dbe8d72 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -96,10 +96,10 @@ libssz-types = { version = "0.2.2", default-features = false, features = ["alloc zkvm-interface = { git = "https://github.com/eth-act/zkvm-standards", rev = "282cd356c3a0498416bb0619f9c8a347ce9933fb" } # ere -ere-catalog = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } -ere-dockerized = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } -ere-platform-core = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } -ere-util-build = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } +ere-catalog = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-dockerized = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-platform-core = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-util-build = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } # local stateless-validator-catalog = { path = "crates/stateless-validator-catalog" } diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.lock b/bin/stateless-validator-ethrex/openvm/Cargo.lock index 0194a42..c19b35a 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.lock +++ b/bin/stateless-validator-ethrex/openvm/Cargo.lock @@ -882,12 +882,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-openvm" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ark-bls12-381", "ark-ec 0.6.0", diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.toml b/bin/stateless-validator-ethrex/openvm/Cargo.toml index 3c2202d..d0a2b37 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.toml +++ b/bin/stateless-validator-ethrex/openvm/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.15.0", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.lock b/bin/stateless-validator-ethrex/sp1/Cargo.lock index bd57cff..70ffeef 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.lock +++ b/bin/stateless-validator-ethrex/sp1/Cargo.lock @@ -821,12 +821,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-sp1" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ere-platform-core", "libzkevm", @@ -1619,8 +1619,8 @@ dependencies = [ [[package]] name = "libzkevm" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bls12_381", "k256 0.13.4 (git+https://github.com/sp1-patches/elliptic-curves?tag=patch-k256-13.4-sp1-6.2.0)", @@ -2649,8 +2649,8 @@ checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5" [[package]] name = "slop-algebra" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "itertools 0.14.0", "p3-field", @@ -2659,8 +2659,8 @@ dependencies = [ [[package]] name = "slop-bn254" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "ff", "p3-bn254-fr", @@ -2673,8 +2673,8 @@ dependencies = [ [[package]] name = "slop-challenger" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "futures", "p3-challenger", @@ -2685,8 +2685,8 @@ dependencies = [ [[package]] name = "slop-koala-bear" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "lazy_static", "p3-koala-bear", @@ -2699,24 +2699,24 @@ dependencies = [ [[package]] name = "slop-poseidon2" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "p3-poseidon2", ] [[package]] name = "slop-primitives" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "slop-algebra", ] [[package]] name = "slop-symmetric" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "p3-symmetric", ] @@ -2729,8 +2729,8 @@ checksum = "8ed6a63f02c8539c91a8685a86f4099661ba3da017932f6ebbea6de3f0fa7c90" [[package]] name = "sp1-lib" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bincode", "elliptic-curve", @@ -2740,8 +2740,8 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bincode", "blake3", @@ -2763,8 +2763,8 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "cfg-if", "critical-section", diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.toml b/bin/stateless-validator-ethrex/sp1/Cargo.toml index 3746ddb..fe4f88b 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.toml +++ b/bin/stateless-validator-ethrex/sp1/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ @@ -17,13 +17,13 @@ stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethre # FIXME: Remove the patch once https://github.com/succinctlabs/sp1/pull/2865 is merged and released. [patch.crates-io] -sp1-lib = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } +sp1-lib = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } [patch."https://github.com/succinctlabs/sp1.git"] -sp1-lib = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-primitives = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-zkvm = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-libzkevm = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac", package = "libzkevm" } +sp1-lib = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-primitives = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-zkvm = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-libzkevm = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84", package = "libzkevm" } [profile.release] codegen-units = 1 diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.lock b/bin/stateless-validator-ethrex/zisk/Cargo.lock index fec6cd8..f4655cc 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.lock +++ b/bin/stateless-validator-ethrex/zisk/Cargo.lock @@ -429,11 +429,6 @@ dependencies = [ "windows-link", ] -[[package]] -name = "circuit" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" - [[package]] name = "clang-sys" version = "1.8.1" @@ -774,12 +769,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-zisk" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ere-platform-core", "ziskos", @@ -978,17 +973,6 @@ dependencies = [ "subtle", ] -[[package]] -name = "fields" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/pil2-proofman.git?tag=v1.0.0-alpha#4f2a34ac686c788ad66a1a8ea0a17a016319e65b" -dependencies = [ - "cfg-if", - "num-bigint", - "paste", - "serde", -] - [[package]] name = "find-msvc-tools" version = "0.1.9" @@ -1397,11 +1381,6 @@ version = "1.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" -[[package]] -name = "lib-c" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" - [[package]] name = "libc" version = "0.2.186" @@ -1747,24 +1726,6 @@ dependencies = [ "zerocopy", ] -[[package]] -name = "precompiles-helpers" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" -dependencies = [ - "ark-bls12-381", - "ark-bn254", - "ark-ff", - "ark-secp256k1", - "ark-secp256r1", - "cfg-if", - "circuit", - "crunchy", - "lib-c", - "num-bigint", - "num-traits", -] - [[package]] name = "prettyplease" version = "0.2.37" @@ -1815,13 +1776,43 @@ dependencies = [ "unicode-ident", ] +[[package]] +name = "proofman-fields" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5ea663e7b8fbeaba6a3d0e6046fd7d85250186cdc2fac56ce102bfe8bfcfdf0d" +dependencies = [ + "cfg-if", + "num-bigint", + "paste", + "proofman-starks-lib-c", + "serde", +] + +[[package]] +name = "proofman-starks-lib-c" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "eebeb94ceceb5009296fa5603ea710861ca262af8dcdcd43c243707aec9d6726" +dependencies = [ + "crossbeam-channel", + "proofman-starks-src", +] + +[[package]] +name = "proofman-starks-src" +version = "1.1.0-alpha.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6f652a3899833633da4829ee714b7d8ecdece399929bfd6673a471ecf0ce3227" + [[package]] name = "proofman-verifier" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/pil2-proofman.git?tag=v1.0.0-alpha#4f2a34ac686c788ad66a1a8ea0a17a016319e65b" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e578aca4212b4e4d083d62c54c74cbf2aa01926e15a76d6b0c9c70a4b98e2719" dependencies = [ - "fields", "num-traits", + "proofman-fields", "serde", ] @@ -2356,7 +2347,7 @@ dependencies = [ "hex-literal 1.1.0", "stateless-validator-common", "thiserror", - "zkvm-interface 0.1.0", + "zkvm-interface", ] [[package]] @@ -2831,23 +2822,66 @@ dependencies = [ "syn", ] +[[package]] +name = "zisk-circuit" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "28185dd7ca65e2ffebc9a19992239aa6e379ac95dab73ec90d34344f59719355" + [[package]] name = "zisk-definitions" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "dc7078fc25f294bfcdf4f9089f113b60f1efc6c8a55518d6ea24093aa7c59c2a" + +[[package]] +name = "zisk-lib-c" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fc8968509c571acf9334322c06301b2bf9443054982a82893af957a65143b8ba" + +[[package]] +name = "zisk-precomp-helpers" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "3416ae98910aacd8b615e04088f25f00181f1765dae7b24e0a66ebad78b8e8b8" +dependencies = [ + "ark-bls12-381", + "ark-bn254", + "ark-ff", + "ark-secp256k1", + "ark-secp256r1", + "cfg-if", + "crunchy", + "num-bigint", + "num-traits", + "zisk-circuit", + "zisk-lib-c", +] [[package]] name = "zisk-verifier" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9ffde99de17184da25de7823ad37f57d8d5aaa75bc89335fc8e13ed8dc521627" dependencies = [ "proofman-verifier", ] +[[package]] +name = "zisk-zkvm-interface" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2c5d7999bdac04dd84053c34946d18a1cc7b452b860d46f2025defe48a06c42d" +dependencies = [ + "bindgen", +] + [[package]] name = "ziskos" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2edae833e0d199eca7145fabe0bcdf1fc9d380f68833f280d9b45d6307b1f14e" dependencies = [ "ark-bn254", "ark-ec", @@ -2857,15 +2891,13 @@ dependencies = [ "bincode", "blst", "cfg-if", - "fields", "getrandom 0.2.17", "lazy_static", - "lib-c", "libc", "num-bigint", "num-integer", "num-traits", - "precompiles-helpers", + "proofman-fields", "rand 0.8.6", "ripemd", "secp256k1", @@ -2873,8 +2905,10 @@ dependencies = [ "sha2", "tiny-keccak", "zisk-definitions", + "zisk-lib-c", + "zisk-precomp-helpers", "zisk-verifier", - "zkvm-interface 1.0.0-alpha", + "zisk-zkvm-interface", ] [[package]] @@ -2885,14 +2919,6 @@ dependencies = [ "bindgen", ] -[[package]] -name = "zkvm-interface" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" -dependencies = [ - "bindgen", -] - [[package]] name = "zmij" version = "1.0.21" diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.toml b/bin/stateless-validator-ethrex/zisk/Cargo.toml index 2ecb045..bd86391 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.toml +++ b/bin/stateless-validator-ethrex/zisk/Cargo.toml @@ -10,7 +10,7 @@ version = "0.1.0" # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.15.0", default-features = false, features = ["inputcpy"] } +ere-platform-zisk = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", default-features = false, features = ["inputcpy"] } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ diff --git a/bin/stateless-validator-reth/openvm/Cargo.lock b/bin/stateless-validator-reth/openvm/Cargo.lock index 8f23936..77204fe 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.lock +++ b/bin/stateless-validator-reth/openvm/Cargo.lock @@ -1155,12 +1155,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-openvm" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ark-bls12-381", "ark-ec", diff --git a/bin/stateless-validator-reth/openvm/Cargo.toml b/bin/stateless-validator-reth/openvm/Cargo.toml index 7c8651e..0ca82c9 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.toml +++ b/bin/stateless-validator-reth/openvm/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.15.0", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-reth/sp1/Cargo.lock b/bin/stateless-validator-reth/sp1/Cargo.lock index 2c3f808..b475de6 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.lock +++ b/bin/stateless-validator-reth/sp1/Cargo.lock @@ -1225,12 +1225,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-sp1" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ere-platform-core", "libzkevm", @@ -1837,8 +1837,8 @@ dependencies = [ [[package]] name = "libzkevm" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bls12_381", "k256 0.13.4 (git+https://github.com/sp1-patches/elliptic-curves?tag=patch-k256-13.4-sp1-6.2.0)", @@ -3443,8 +3443,8 @@ checksum = "0c790de23124f9ab44544d7ac05d60440adc586479ce501c1d6d7da3cd8c9cf5" [[package]] name = "slop-algebra" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "itertools 0.14.0", "p3-field", @@ -3453,8 +3453,8 @@ dependencies = [ [[package]] name = "slop-bn254" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "ff", "p3-bn254-fr", @@ -3467,8 +3467,8 @@ dependencies = [ [[package]] name = "slop-challenger" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "futures", "p3-challenger", @@ -3479,8 +3479,8 @@ dependencies = [ [[package]] name = "slop-koala-bear" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "lazy_static", "p3-koala-bear", @@ -3493,24 +3493,24 @@ dependencies = [ [[package]] name = "slop-poseidon2" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "p3-poseidon2", ] [[package]] name = "slop-primitives" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "slop-algebra", ] [[package]] name = "slop-symmetric" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "p3-symmetric", ] @@ -3526,8 +3526,8 @@ dependencies = [ [[package]] name = "sp1-lib" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bincode", "elliptic-curve", @@ -3537,8 +3537,8 @@ dependencies = [ [[package]] name = "sp1-primitives" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "bincode", "blake3", @@ -3560,8 +3560,8 @@ dependencies = [ [[package]] name = "sp1-zkvm" -version = "6.3.1" -source = "git+https://github.com/han0110/sp1?rev=8564a70ea1952826fc0926eba5a3ce62af53ffac#8564a70ea1952826fc0926eba5a3ce62af53ffac" +version = "6.4.0" +source = "git+https://github.com/han0110/sp1?rev=7929b001303feb6803ce1214557d5ab1f17eee84#7929b001303feb6803ce1214557d5ab1f17eee84" dependencies = [ "cfg-if", "critical-section", diff --git a/bin/stateless-validator-reth/sp1/Cargo.toml b/bin/stateless-validator-reth/sp1/Cargo.toml index 79996b6..86f11d5 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.toml +++ b/bin/stateless-validator-reth/sp1/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.15.0" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } # local stateless-validator-reth = { path = "../../../crates/stateless-validator-reth", features = [ @@ -22,13 +22,13 @@ stateless-validator-reth = { path = "../../../crates/stateless-validator-reth", [patch.crates-io] # FIXME: Remove the patch once https://github.com/succinctlabs/sp1/pull/2865 is merged and released. -sp1-lib = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } +sp1-lib = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } [patch."https://github.com/succinctlabs/sp1.git"] -sp1-lib = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-primitives = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-zkvm = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac" } -sp1-libzkevm = { git = "https://github.com/han0110/sp1", rev = "8564a70ea1952826fc0926eba5a3ce62af53ffac", package = "libzkevm" } +sp1-lib = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-primitives = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-zkvm = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84" } +sp1-libzkevm = { git = "https://github.com/han0110/sp1", rev = "7929b001303feb6803ce1214557d5ab1f17eee84", package = "libzkevm" } [profile.release] codegen-units = 1 diff --git a/bin/stateless-validator-reth/zisk/Cargo.lock b/bin/stateless-validator-reth/zisk/Cargo.lock index 01adb72..a681dec 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.lock +++ b/bin/stateless-validator-reth/zisk/Cargo.lock @@ -919,11 +919,6 @@ dependencies = [ "serde", ] -[[package]] -name = "circuit" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" - [[package]] name = "clang-sys" version = "1.8.1" @@ -1001,6 +996,15 @@ version = "1.2.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "790eea4361631c5e7d22598ecd5723ff611904e3344ce8720784c93e3d83d40b" +[[package]] +name = "crossbeam-channel" +version = "0.5.16" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "d85363c37faeca707aef026efa9f3b34d077bce547e48f770770625c6013679e" +dependencies = [ + "crossbeam-utils", +] + [[package]] name = "crossbeam-utils" version = "0.8.21" @@ -1273,12 +1277,12 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" [[package]] name = "ere-platform-zisk" version = "0.15.0" -source = "git+https://github.com/eth-act/ere?tag=v0.15.0#552595938b48884d87cfada24f29d39223695c1e" +source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" dependencies = [ "ere-platform-core", "ziskos", @@ -1300,17 +1304,6 @@ dependencies = [ "subtle", ] -[[package]] -name = "fields" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/pil2-proofman.git?tag=v1.0.0-alpha#4f2a34ac686c788ad66a1a8ea0a17a016319e65b" -dependencies = [ - "cfg-if", - "num-bigint", - "paste", - "serde", -] - [[package]] name = "find-msvc-tools" version = "0.1.9" @@ -1703,11 +1696,6 @@ version = "1.5.0" source = "registry+https://github.com/rust-lang/crates.io-index" checksum = "bbd2bcb4c963f2ddae06a2efc7e9f3591312473c50c6685e1f298068316e66fe" -[[package]] -name = "lib-c" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" - [[package]] name = "libc" version = "0.2.186" @@ -2121,24 +2109,6 @@ dependencies = [ "zerocopy", ] -[[package]] -name = "precompiles-helpers" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" -dependencies = [ - "ark-bls12-381 0.5.0", - "ark-bn254 0.5.0", - "ark-ff 0.5.0", - "ark-secp256k1", - "ark-secp256r1", - "cfg-if", - "circuit", - "crunchy", - "lib-c", - "num-bigint", - "num-traits", -] - [[package]] name = "prettyplease" version = "0.2.37" @@ -2189,13 +2159,43 @@ dependencies = [ "unicode-ident", ] +[[package]] +name = "proofman-fields" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "5ea663e7b8fbeaba6a3d0e6046fd7d85250186cdc2fac56ce102bfe8bfcfdf0d" +dependencies = [ + "cfg-if", + "num-bigint", + "paste", + "proofman-starks-lib-c", + "serde", +] + +[[package]] +name = "proofman-starks-lib-c" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "eebeb94ceceb5009296fa5603ea710861ca262af8dcdcd43c243707aec9d6726" +dependencies = [ + "crossbeam-channel", + "proofman-starks-src", +] + +[[package]] +name = "proofman-starks-src" +version = "1.1.0-alpha.1" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "6f652a3899833633da4829ee714b7d8ecdece399929bfd6673a471ecf0ce3227" + [[package]] name = "proofman-verifier" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/pil2-proofman.git?tag=v1.0.0-alpha#4f2a34ac686c788ad66a1a8ea0a17a016319e65b" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "e578aca4212b4e4d083d62c54c74cbf2aa01926e15a76d6b0c9c70a4b98e2719" dependencies = [ - "fields", "num-traits", + "proofman-fields", "serde", ] @@ -3239,7 +3239,7 @@ dependencies = [ "stateless-validator-common", "thiserror", "tries", - "zkvm-interface 0.1.0", + "zkvm-interface", ] [[package]] @@ -3690,23 +3690,66 @@ dependencies = [ "arrayvec", ] +[[package]] +name = "zisk-circuit" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "28185dd7ca65e2ffebc9a19992239aa6e379ac95dab73ec90d34344f59719355" + [[package]] name = "zisk-definitions" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "dc7078fc25f294bfcdf4f9089f113b60f1efc6c8a55518d6ea24093aa7c59c2a" + +[[package]] +name = "zisk-lib-c" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "fc8968509c571acf9334322c06301b2bf9443054982a82893af957a65143b8ba" + +[[package]] +name = "zisk-precomp-helpers" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "3416ae98910aacd8b615e04088f25f00181f1765dae7b24e0a66ebad78b8e8b8" +dependencies = [ + "ark-bls12-381 0.5.0", + "ark-bn254 0.5.0", + "ark-ff 0.5.0", + "ark-secp256k1", + "ark-secp256r1", + "cfg-if", + "crunchy", + "num-bigint", + "num-traits", + "zisk-circuit", + "zisk-lib-c", +] [[package]] name = "zisk-verifier" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "9ffde99de17184da25de7823ad37f57d8d5aaa75bc89335fc8e13ed8dc521627" dependencies = [ "proofman-verifier", ] +[[package]] +name = "zisk-zkvm-interface" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2c5d7999bdac04dd84053c34946d18a1cc7b452b860d46f2025defe48a06c42d" +dependencies = [ + "bindgen", +] + [[package]] name = "ziskos" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" +version = "1.1.0-alpha" +source = "registry+https://github.com/rust-lang/crates.io-index" +checksum = "2edae833e0d199eca7145fabe0bcdf1fc9d380f68833f280d9b45d6307b1f14e" dependencies = [ "ark-bn254 0.5.0", "ark-ec 0.5.0", @@ -3716,15 +3759,13 @@ dependencies = [ "bincode", "blst", "cfg-if", - "fields", "getrandom 0.2.17", "lazy_static", - "lib-c", "libc", "num-bigint", "num-integer", "num-traits", - "precompiles-helpers", + "proofman-fields", "rand 0.8.6", "ripemd 0.1.3", "secp256k1 0.31.1", @@ -3732,8 +3773,10 @@ dependencies = [ "sha2 0.10.9", "tiny-keccak", "zisk-definitions", + "zisk-lib-c", + "zisk-precomp-helpers", "zisk-verifier", - "zkvm-interface 1.0.0-alpha", + "zisk-zkvm-interface", ] [[package]] @@ -3744,14 +3787,6 @@ dependencies = [ "bindgen", ] -[[package]] -name = "zkvm-interface" -version = "1.0.0-alpha" -source = "git+https://github.com/0xPolygonHermez/zisk.git?tag=v1.0.0-alpha#4b9f758fabc4955cac20af837019ccc31b803a46" -dependencies = [ - "bindgen", -] - [[package]] name = "zmij" version = "1.0.21" diff --git a/bin/stateless-validator-reth/zisk/Cargo.toml b/bin/stateless-validator-reth/zisk/Cargo.toml index 51ec747..4334f7b 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.toml +++ b/bin/stateless-validator-reth/zisk/Cargo.toml @@ -16,7 +16,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.15.0", default-features = false, features = [ +ere-platform-zisk = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", default-features = false, features = [ "inputcpy", ] } From 8cd732a3acf81f5a0b9caf93f9f19d4cd83e8b9d Mon Sep 17 00:00:00 2001 From: han0110 Date: Wed, 19 Aug 2026 09:52:20 +0000 Subject: [PATCH 02/10] fix: workaround for downloader test by testing on same zkvm version elfs --- .github/workflows/unit-test.yml | 2 ++ .../stateless-validator-downloader/src/lib.rs | 22 ++++++++++++++----- 2 files changed, 18 insertions(+), 6 deletions(-) diff --git a/.github/workflows/unit-test.yml b/.github/workflows/unit-test.yml index d0e0663..a77b649 100644 --- a/.github/workflows/unit-test.yml +++ b/.github/workflows/unit-test.yml @@ -79,6 +79,8 @@ jobs: run: cargo test --doc --no-fail-fast - name: Test lib + env: + GH_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: cargo test --lib --no-fail-fast # Include the package once the issue is resolved: diff --git a/crates/stateless-validator-downloader/src/lib.rs b/crates/stateless-validator-downloader/src/lib.rs index 9c160db..4845336 100644 --- a/crates/stateless-validator-downloader/src/lib.rs +++ b/crates/stateless-validator-downloader/src/lib.rs @@ -311,13 +311,18 @@ mod tests { #[tokio::test] async fn download_from_tag() -> anyhow::Result<()> { - let guest = Downloader::from_tag("v0.14.0") + let stateless_validator_kind = StatelessValidatorKind::Reth; + let zkvm_kind = zkVMKind::OpenVM; + let guest = Downloader::from_tag("v0.15.0") .await? - .download(StatelessValidatorKind::Reth, zkVMKind::Zisk) + .download(stateless_validator_kind, zkvm_kind) .await?; assert!(!guest.elf.is_empty()); assert!(!guest.program_vk.is_empty()); - assert!(guest.profiling_elf.is_some_and(|elf| !elf.is_empty())); + match zkvm_kind { + zkVMKind::OpenVM | zkVMKind::SP1 => assert!(guest.profiling_elf.is_none()), + zkVMKind::Zisk => assert!(guest.profiling_elf.is_some_and(|elf| !elf.is_empty())), + }; Ok(()) } @@ -327,13 +332,18 @@ mod tests { return Ok(()); }; - let guest = Downloader::from_commit("229ffa8", &github_token) + let stateless_validator_kind = StatelessValidatorKind::Reth; + let zkvm_kind = zkVMKind::OpenVM; + let guest = Downloader::from_commit("817fae8", &github_token) .await? - .download(StatelessValidatorKind::Reth, zkVMKind::Zisk) + .download(stateless_validator_kind, zkvm_kind) .await?; assert!(!guest.elf.is_empty()); assert!(!guest.program_vk.is_empty()); - assert!(guest.profiling_elf.is_some_and(|elf| !elf.is_empty())); + match zkvm_kind { + zkVMKind::OpenVM | zkVMKind::SP1 => assert!(guest.profiling_elf.is_none()), + zkVMKind::Zisk => assert!(guest.profiling_elf.is_some_and(|elf| !elf.is_empty())), + }; Ok(()) } } From e36f9bb2ea3e96cd508fa244f1586bfbcc024cc7 Mon Sep 17 00:00:00 2001 From: han0110 Date: Wed, 19 Aug 2026 09:57:27 +0000 Subject: [PATCH 03/10] fix: update failure count --- crates/stateless-validator-test/tests/zkvm_execution.rs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/crates/stateless-validator-test/tests/zkvm_execution.rs b/crates/stateless-validator-test/tests/zkvm_execution.rs index aae6cd1..467f2c1 100644 --- a/crates/stateless-validator-test/tests/zkvm_execution.rs +++ b/crates/stateless-validator-test/tests/zkvm_execution.rs @@ -56,8 +56,8 @@ declare_test!(Ethrex, SP1, RpcGlamsterdamDevnet7); declare_test!(Ethrex, SP1, EestGlamsterdamDevnet7); declare_test!(Ethrex, Zisk, RpcBpo2); declare_test!(Ethrex, Zisk, RpcGlamsterdamDevnet7); -// Ethrex OOM + ZisK `zkvm-interface` impl bug. -declare_test!(Ethrex, Zisk, EestGlamsterdamDevnet7, failures = 26); +// Ethrex OOM. +declare_test!(Ethrex, Zisk, EestGlamsterdamDevnet7, failures = 4); // Reth @@ -74,8 +74,8 @@ declare_test!(Reth, SP1, EestGlamsterdamDevnet7, failures = 13); declare_test!(Reth, Zisk, RpcBpo2); // Reth divergences (in-block created-code resolution from EIP-8025). declare_test!(Reth, Zisk, RpcGlamsterdamDevnet7, failures = 1); -// Reth divergences + ZisK `zkvm-interface` impl bug. -declare_test!(Reth, Zisk, EestGlamsterdamDevnet7, failures = 35); +// Reth divergences. +declare_test!(Reth, Zisk, EestGlamsterdamDevnet7, failures = 13); // Zesu From 9439e9a0c3f012dc79fea59121a6ce6171590d83 Mon Sep 17 00:00:00 2001 From: han0110 Date: Wed, 19 Aug 2026 09:57:50 +0000 Subject: [PATCH 04/10] fix: temporarily disable zesu tests --- crates/stateless-validator-test/tests/zkvm_execution.rs | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/crates/stateless-validator-test/tests/zkvm_execution.rs b/crates/stateless-validator-test/tests/zkvm_execution.rs index 467f2c1..b835f8b 100644 --- a/crates/stateless-validator-test/tests/zkvm_execution.rs +++ b/crates/stateless-validator-test/tests/zkvm_execution.rs @@ -79,7 +79,6 @@ declare_test!(Reth, Zisk, EestGlamsterdamDevnet7, failures = 13); // Zesu -declare_test!(Zesu, Zisk, RpcBpo2); -declare_test!(Zesu, Zisk, RpcGlamsterdamDevnet7); -// ZisK `zkvm-interface` impl bug. -declare_test!(Zesu, Zisk, EestGlamsterdamDevnet7, failures = 22); +// declare_test!(Zesu, Zisk, RpcBpo2); +// declare_test!(Zesu, Zisk, RpcGlamsterdamDevnet7); +// declare_test!(Zesu, Zisk, EestGlamsterdamDevnet7); From 126557cda247925893401a3d7674cbe9a95a81cf Mon Sep 17 00:00:00 2001 From: han0110 Date: Wed, 19 Aug 2026 12:25:53 +0000 Subject: [PATCH 05/10] fix: allow different zkvm version of republished elf --- .github/scripts/fetch-artifacts-for-republish.sh | 14 +++++++++++--- .github/scripts/release-body.py | 4 ++-- .github/workflows/compile-and-release.yml | 12 ++++++------ artifact-registry.json | 1 + 4 files changed, 20 insertions(+), 11 deletions(-) diff --git a/.github/scripts/fetch-artifacts-for-republish.sh b/.github/scripts/fetch-artifacts-for-republish.sh index 99bd061..003dc2d 100755 --- a/.github/scripts/fetch-artifacts-for-republish.sh +++ b/.github/scripts/fetch-artifacts-for-republish.sh @@ -7,8 +7,8 @@ # The VK is optional and is written only when the registry lists one, # leaving the caller to generate it otherwise. # -# The zkVM version is the one this repository builds against. Once republished -# artifacts carry their own zkVM version, take it from artifact-registry.json instead. +# The zkVM version is the zkvm_version of the registry entry when it carries one, and otherwise +# the version this repository builds against. # # Usage: fetch-artifacts-for-republish.sh # REGISTRY artifact-registry.json (default: artifact-registry.json) @@ -41,10 +41,18 @@ fetch() { echo "Prepared $3" } +VK_URL="$(entry vk_url)" + +# A VK is only valid for the zkVM version it was generated with, so an entry that keeps its own +# version has given up on regenerating one and must publish it. +if [[ -n $(entry zkvm_version) && -z $VK_URL ]]; then + echo "$NAME-$ZKVM pins zkvm_version but lists no vk_url" >&2 + exit 1 +fi + OUT="$OUTPUT_DIR/stateless-validator-$NAME-$ZKVM-$ZKVM_VERSION" fetch "$(entry elf_url)" "$(entry elf_sha256)" "$OUT.elf" -VK_URL="$(entry vk_url)" if [[ -n $VK_URL ]]; then fetch "$VK_URL" "$(entry vk_sha256)" "$OUT.vk" fi diff --git a/.github/scripts/release-body.py b/.github/scripts/release-body.py index a987865..8d5d5f1 100755 --- a/.github/scripts/release-body.py +++ b/.github/scripts/release-body.py @@ -149,7 +149,7 @@ def compiled_guests(zkvm_versions: dict[str, str]) -> list[Guest]: def republished_guests( artifact_registry: Path, zkvm_versions: dict[str, str] ) -> list[Guest]: - """Returns the registry guests, ordered by name then zkVM, with zkVM versions from the SDK.""" + """Returns the registry guests, ordered by name then zkVM, versioned by the entry or the SDK.""" registry = json.loads(artifact_registry.read_text())["stateless_validators"] guests = [] for validator in sorted(registry, key=lambda entry: entry["name"]): @@ -159,7 +159,7 @@ def republished_guests( validator["name"], validator["version"], artifact["zkvm"], - zkvm_versions[artifact["zkvm"]], + artifact.get("zkvm_version") or zkvm_versions[artifact["zkvm"]], artifact["elf_url"], ) ) diff --git a/.github/workflows/compile-and-release.yml b/.github/workflows/compile-and-release.yml index 4d96c48..9923a30 100644 --- a/.github/workflows/compile-and-release.yml +++ b/.github/workflows/compile-and-release.yml @@ -132,7 +132,7 @@ jobs: - name: Build matrix from artifact-registry.json id: set-matrix run: | - MATRIX=$(jq -c '{ include: [.stateless_validators[] as $sv | $sv.artifacts[] | { stateless_validator: $sv.name, zkvm: .zkvm }] }' artifact-registry.json) + MATRIX=$(jq -c '{ include: [.stateless_validators[] as $sv | $sv.artifacts[] | { stateless_validator: $sv.name, zkvm: .zkvm, zkvm_version: (.zkvm_version // "") }] }' artifact-registry.json) echo "matrix=${MATRIX}" >> "$GITHUB_OUTPUT" echo "Matrix: ${MATRIX}" @@ -165,16 +165,15 @@ jobs: - name: Get artifact name id: get_artifact_name run: | - ZKVM_VERSION=$(.github/scripts/zkvm-version.sh ${{ matrix.zkvm }}) + ZKVM_VERSION="${{ matrix.zkvm_version }}" + if [[ -z $ZKVM_VERSION ]]; then + ZKVM_VERSION=$(.github/scripts/zkvm-version.sh ${{ matrix.zkvm }}) + fi ARTIFACT_NAME=stateless-validator-${{ matrix.stateless_validator }}-${{ matrix.zkvm }}-${ZKVM_VERSION} echo "zkvm_version=${ZKVM_VERSION}" >> $GITHUB_OUTPUT echo "artifact_name=${ARTIFACT_NAME}" >> $GITHUB_OUTPUT echo "Artifact name: ${ARTIFACT_NAME}" - - name: Pull Ere images - run: | - docker pull ghcr.io/eth-act/ere/ere-server-${{ matrix.zkvm }}:${{ steps.get_ere_tag.outputs.ere_tag }} - - name: Download artifacts run: | bash .github/scripts/fetch-artifacts-for-republish.sh \ @@ -189,6 +188,7 @@ jobs: echo "Republishing the VK listed in artifact-registry.json" exit 0 fi + docker pull ghcr.io/eth-act/ere/ere-server-${{ matrix.zkvm }}:${{ steps.get_ere_tag.outputs.ere_tag }} docker run \ -e RUST_LOG=info \ -v $PWD/output:/output \ diff --git a/artifact-registry.json b/artifact-registry.json index 6e13b09..b0d65e8 100644 --- a/artifact-registry.json +++ b/artifact-registry.json @@ -6,6 +6,7 @@ "artifacts": [ { "zkvm": "zisk", + "zkvm_version": "v1.0.0-alpha", "elf_url": "https://github.com/Consensys/zesu-zkvm/releases/download/glamsterdam-devnet-7.2-2026-07-29/stateless-validator-zesu-zisk-1.0.0-alpha.elf", "elf_sha256": "088a71b8ff69630de88b970a6a633911c2ecaaeb4be7cb9ca5b356f6e622f89d", "vk_url": "https://github.com/Consensys/zesu-zkvm/releases/download/glamsterdam-devnet-7.2-2026-07-29/stateless-validator-zesu-zisk-1.0.0-alpha.vk", From 35eb76e4ba5853b5139279c052c812e5cd5328be Mon Sep 17 00:00:00 2001 From: han0110 Date: Thu, 20 Aug 2026 07:47:15 +0000 Subject: [PATCH 06/10] ci: enable +unaligned-scalar-mem for zisk guests --- .github/workflows/compile-and-release.yml | 10 +++++----- .github/workflows/integration-test-devnet.yml | 7 +++++++ .github/workflows/integration-test.yml | 11 +++++++++-- 3 files changed, 21 insertions(+), 7 deletions(-) diff --git a/.github/workflows/compile-and-release.yml b/.github/workflows/compile-and-release.yml index 9923a30..7b295d2 100644 --- a/.github/workflows/compile-and-release.yml +++ b/.github/workflows/compile-and-release.yml @@ -33,11 +33,9 @@ jobs: - sp1 - zisk include: - - stateless_validator: ethrex - zkvm: zisk - ere_profile: ethrex - - stateless_validator: reth - compiler_args: --ignore-rust-version + - { stateless_validator: ethrex, zkvm: zisk, ere_profile: ethrex } + - { stateless_validator: reth, compiler_args: --ignore-rust-version } + - { zkvm: zisk, ere_rustflags: "-C target-feature=+unaligned-scalar-mem" } steps: - name: Checkout code uses: actions/checkout@v4 @@ -73,6 +71,7 @@ jobs: run: | docker run \ ${{ matrix.ere_profile && format('-e ERE_PROFILE={0}', matrix.ere_profile) || '' }} \ + ${{ matrix.ere_rustflags && format('-e ERE_RUSTFLAGS="{0}"', matrix.ere_rustflags) || '' }} \ -e RUST_LOG=info \ -v $PWD:/ere-guests \ -v $PWD/output:/output \ @@ -89,6 +88,7 @@ jobs: run: | docker run \ ${{ matrix.ere_profile && format('-e ERE_PROFILE={0}', matrix.ere_profile) || '' }} \ + ${{ matrix.ere_rustflags && format('-e ERE_RUSTFLAGS="{0}"', matrix.ere_rustflags) || '' }} \ -e RUST_LOG=info \ -v $PWD:/ere-guests \ -v $PWD/output:/output \ diff --git a/.github/workflows/integration-test-devnet.yml b/.github/workflows/integration-test-devnet.yml index 4ff455c..3447638 100644 --- a/.github/workflows/integration-test-devnet.yml +++ b/.github/workflows/integration-test-devnet.yml @@ -25,6 +25,7 @@ jobs: include: - { zkvm: zisk, external: true, stateless_validator: zesu } - { zkvm: zisk, stateless_validator: ethrex, ere_profile: ethrex } + - { zkvm: zisk, ere_rustflags: "-C target-feature=+unaligned-scalar-mem" } steps: - name: Checkout code uses: actions/checkout@v4 @@ -72,6 +73,12 @@ jobs: ERE_PROFILE: ${{ matrix.ere_profile }} run: echo "ERE_PROFILE=$ERE_PROFILE" >> "$GITHUB_ENV" + - name: Enable Ere rustflags + if: matrix.ere_rustflags != '' + env: + ERE_RUSTFLAGS: ${{ matrix.ere_rustflags }} + run: echo "ERE_RUSTFLAGS=$ERE_RUSTFLAGS" >> "$GITHUB_ENV" + - name: Run zkVM execution of the latest devnet blocks env: RUST_LOG: info,ere_server=error diff --git a/.github/workflows/integration-test.yml b/.github/workflows/integration-test.yml index 2da5043..1cdd76c 100644 --- a/.github/workflows/integration-test.yml +++ b/.github/workflows/integration-test.yml @@ -28,8 +28,9 @@ jobs: - sp1 - zisk include: - - { zkvm: zisk, external: true, stateless_validator: zesu } - - { zkvm: zisk, stateless_validator: ethrex, ere_profile: ethrex } + - { stateless_validator: ethrex, zkvm: zisk, ere_profile: ethrex } + - { stateless_validator: zesu, zkvm: zisk, external: true } + - { zkvm: zisk, ere_rustflags: "-C target-feature=+unaligned-scalar-mem" } steps: - name: Checkout code uses: actions/checkout@v4 @@ -81,6 +82,12 @@ jobs: ERE_PROFILE: ${{ matrix.ere_profile }} run: echo "ERE_PROFILE=$ERE_PROFILE" >> "$GITHUB_ENV" + - name: Enable Ere rustflags + if: matrix.ere_rustflags != '' + env: + ERE_RUSTFLAGS: ${{ matrix.ere_rustflags }} + run: echo "ERE_RUSTFLAGS=$ERE_RUSTFLAGS" >> "$GITHUB_ENV" + - name: Test zkVM execution env: RUST_LOG: info,ere_server=error From 5cf72ef6e08244f0d0ff559f36720b4a22423644 Mon Sep 17 00:00:00 2001 From: han0110 Date: Thu, 20 Aug 2026 07:48:02 +0000 Subject: [PATCH 07/10] chore: bump ere to v0.16.1 --- Cargo.lock | 44 +++++++++---------- Cargo.toml | 8 ++-- .../openvm/Cargo.lock | 8 ++-- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-ethrex/sp1/Cargo.lock | 8 ++-- bin/stateless-validator-ethrex/sp1/Cargo.toml | 2 +- .../zisk/Cargo.lock | 8 ++-- .../zisk/Cargo.toml | 2 +- .../openvm/Cargo.lock | 8 ++-- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-reth/sp1/Cargo.lock | 8 ++-- bin/stateless-validator-reth/sp1/Cargo.toml | 2 +- bin/stateless-validator-reth/zisk/Cargo.lock | 8 ++-- bin/stateless-validator-reth/zisk/Cargo.toml | 2 +- 14 files changed, 56 insertions(+), 56 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index e424085..e7810e9 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1696,8 +1696,8 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-catalog" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ere-util-build", "serde", @@ -1706,21 +1706,21 @@ dependencies = [ [[package]] name = "ere-codec" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-compiler-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "serde", ] [[package]] name = "ere-dockerized" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "anyhow", "ere-catalog", @@ -1736,13 +1736,13 @@ dependencies = [ [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-prover-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "anyhow", "auto_impl", @@ -1758,8 +1758,8 @@ dependencies = [ [[package]] name = "ere-server-api" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "prost", "serde", @@ -1768,8 +1768,8 @@ dependencies = [ [[package]] name = "ere-server-client" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "bincode 2.0.1", "ere-prover-core", @@ -1780,24 +1780,24 @@ dependencies = [ [[package]] name = "ere-util-build" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "cargo_metadata", ] [[package]] name = "ere-util-tokio" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "tokio", ] [[package]] name = "ere-verifier-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "auto_impl", "ere-codec", diff --git a/Cargo.toml b/Cargo.toml index dbe8d72..b137ed6 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -96,10 +96,10 @@ libssz-types = { version = "0.2.2", default-features = false, features = ["alloc zkvm-interface = { git = "https://github.com/eth-act/zkvm-standards", rev = "282cd356c3a0498416bb0619f9c8a347ce9933fb" } # ere -ere-catalog = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } -ere-dockerized = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } -ere-platform-core = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } -ere-util-build = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-catalog = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-dockerized = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-platform-core = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-util-build = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } # local stateless-validator-catalog = { path = "crates/stateless-validator-catalog" } diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.lock b/bin/stateless-validator-ethrex/openvm/Cargo.lock index c19b35a..bae24b7 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.lock +++ b/bin/stateless-validator-ethrex/openvm/Cargo.lock @@ -881,13 +881,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-openvm" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ark-bls12-381", "ark-ec 0.6.0", diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.toml b/bin/stateless-validator-ethrex/openvm/Cargo.toml index d0a2b37..2c67140 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.toml +++ b/bin/stateless-validator-ethrex/openvm/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.lock b/bin/stateless-validator-ethrex/sp1/Cargo.lock index 70ffeef..661fb7c 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.lock +++ b/bin/stateless-validator-ethrex/sp1/Cargo.lock @@ -820,13 +820,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-sp1" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ere-platform-core", "libzkevm", diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.toml b/bin/stateless-validator-ethrex/sp1/Cargo.toml index fe4f88b..14ad2ba 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.toml +++ b/bin/stateless-validator-ethrex/sp1/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.lock b/bin/stateless-validator-ethrex/zisk/Cargo.lock index f4655cc..80196b0 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.lock +++ b/bin/stateless-validator-ethrex/zisk/Cargo.lock @@ -768,13 +768,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-zisk" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ere-platform-core", "ziskos", diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.toml b/bin/stateless-validator-ethrex/zisk/Cargo.toml index bd86391..2d9fb41 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.toml +++ b/bin/stateless-validator-ethrex/zisk/Cargo.toml @@ -10,7 +10,7 @@ version = "0.1.0" # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", default-features = false, features = ["inputcpy"] } +ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", default-features = false, features = ["inputcpy"] } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ diff --git a/bin/stateless-validator-reth/openvm/Cargo.lock b/bin/stateless-validator-reth/openvm/Cargo.lock index 77204fe..0d38c18 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.lock +++ b/bin/stateless-validator-reth/openvm/Cargo.lock @@ -1154,13 +1154,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-openvm" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ark-bls12-381", "ark-ec", diff --git a/bin/stateless-validator-reth/openvm/Cargo.toml b/bin/stateless-validator-reth/openvm/Cargo.toml index 0ca82c9..a640b6a 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.toml +++ b/bin/stateless-validator-reth/openvm/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-reth/sp1/Cargo.lock b/bin/stateless-validator-reth/sp1/Cargo.lock index b475de6..5181746 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.lock +++ b/bin/stateless-validator-reth/sp1/Cargo.lock @@ -1224,13 +1224,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-sp1" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ere-platform-core", "libzkevm", diff --git a/bin/stateless-validator-reth/sp1/Cargo.toml b/bin/stateless-validator-reth/sp1/Cargo.toml index 86f11d5..0e63081 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.toml +++ b/bin/stateless-validator-reth/sp1/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } # local stateless-validator-reth = { path = "../../../crates/stateless-validator-reth", features = [ diff --git a/bin/stateless-validator-reth/zisk/Cargo.lock b/bin/stateless-validator-reth/zisk/Cargo.lock index a681dec..2906370 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.lock +++ b/bin/stateless-validator-reth/zisk/Cargo.lock @@ -1276,13 +1276,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" [[package]] name = "ere-platform-zisk" -version = "0.15.0" -source = "git+https://github.com/eth-act/ere?rev=8295d94b4598ef14e6c35fff3dd4935f60f2f7ff#8295d94b4598ef14e6c35fff3dd4935f60f2f7ff" +version = "0.16.1" +source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" dependencies = [ "ere-platform-core", "ziskos", diff --git a/bin/stateless-validator-reth/zisk/Cargo.toml b/bin/stateless-validator-reth/zisk/Cargo.toml index 4334f7b..6142c85 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.toml +++ b/bin/stateless-validator-reth/zisk/Cargo.toml @@ -16,7 +16,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", rev = "8295d94b4598ef14e6c35fff3dd4935f60f2f7ff", default-features = false, features = [ +ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", default-features = false, features = [ "inputcpy", ] } From 2ece16d2153fd9fc3595fcb3bf46fef3e95f4986 Mon Sep 17 00:00:00 2001 From: han0110 Date: Thu, 20 Aug 2026 12:35:30 +0000 Subject: [PATCH 08/10] feat: test guests up to patch diff --- .../scripts/fetch-artifacts-for-republish.sh | 18 +++--- .github/scripts/release-body.py | 15 ++--- .github/workflows/compile-and-release.yml | 17 +++--- Cargo.lock | 1 + Cargo.toml | 1 + crates/stateless-validator-test/Cargo.toml | 1 + .../stateless-validator-test/src/execution.rs | 2 - .../src/execution/host.rs | 4 +- .../src/execution/zkvm.rs | 56 +++++++++++++++++++ .../tests/zkvm_execution.rs | 23 ++++++-- 10 files changed, 101 insertions(+), 37 deletions(-) diff --git a/.github/scripts/fetch-artifacts-for-republish.sh b/.github/scripts/fetch-artifacts-for-republish.sh index 003dc2d..da8c6a5 100755 --- a/.github/scripts/fetch-artifacts-for-republish.sh +++ b/.github/scripts/fetch-artifacts-for-republish.sh @@ -7,19 +7,17 @@ # The VK is optional and is written only when the registry lists one, # leaving the caller to generate it otherwise. # -# The zkVM version is the zkvm_version of the registry entry when it carries one, and otherwise -# the version this repository builds against. +# The zkVM version is the zkvm_version of the registry entry. # -# Usage: fetch-artifacts-for-republish.sh +# Usage: fetch-artifacts-for-republish.sh # REGISTRY artifact-registry.json (default: artifact-registry.json) # OUTPUT_DIR output directory (default: output) set -euo pipefail -USAGE="usage: fetch-artifacts-for-republish.sh " +USAGE="usage: fetch-artifacts-for-republish.sh " NAME="${1:?$USAGE}" ZKVM="${2:?$USAGE}" -ZKVM_VERSION="${3:?$USAGE}" REGISTRY="${REGISTRY:-artifact-registry.json}" OUTPUT_DIR="${OUTPUT_DIR:-output}" @@ -41,18 +39,16 @@ fetch() { echo "Prepared $3" } -VK_URL="$(entry vk_url)" - -# A VK is only valid for the zkVM version it was generated with, so an entry that keeps its own -# version has given up on regenerating one and must publish it. -if [[ -n $(entry zkvm_version) && -z $VK_URL ]]; then - echo "$NAME-$ZKVM pins zkvm_version but lists no vk_url" >&2 +ZKVM_VERSION="$(entry zkvm_version)" +if [[ -z $ZKVM_VERSION ]]; then + echo "$NAME-$ZKVM lists no zkvm_version" >&2 exit 1 fi OUT="$OUTPUT_DIR/stateless-validator-$NAME-$ZKVM-$ZKVM_VERSION" fetch "$(entry elf_url)" "$(entry elf_sha256)" "$OUT.elf" +VK_URL="$(entry vk_url)" if [[ -n $VK_URL ]]; then fetch "$VK_URL" "$(entry vk_sha256)" "$OUT.vk" fi diff --git a/.github/scripts/release-body.py b/.github/scripts/release-body.py index 8d5d5f1..a585839 100755 --- a/.github/scripts/release-body.py +++ b/.github/scripts/release-body.py @@ -146,10 +146,8 @@ def compiled_guests(zkvm_versions: dict[str, str]) -> list[Guest]: ] -def republished_guests( - artifact_registry: Path, zkvm_versions: dict[str, str] -) -> list[Guest]: - """Returns the registry guests, ordered by name then zkVM, versioned by the entry or the SDK.""" +def republished_guests(artifact_registry: Path) -> list[Guest]: + """Returns the registry guests, ordered by name then zkVM, versioned by their entries.""" registry = json.loads(artifact_registry.read_text())["stateless_validators"] guests = [] for validator in sorted(registry, key=lambda entry: entry["name"]): @@ -159,7 +157,7 @@ def republished_guests( validator["name"], validator["version"], artifact["zkvm"], - artifact.get("zkvm_version") or zkvm_versions[artifact["zkvm"]], + artifact["zkvm_version"], artifact["elf_url"], ) ) @@ -181,11 +179,10 @@ def republished_rows( artifacts_dir: Path, artifact_registry: Path, release_url: str, - zkvm_versions: dict[str, str], ) -> list[str]: """Returns rows for registry guests, requiring every artifact to be present.""" rows = [] - for guest in republished_guests(artifact_registry, zkvm_versions): + for guest in republished_guests(artifact_registry): row = render_row(guest, artifacts_dir, release_url) if row is None: raise RuntimeError( @@ -202,9 +199,7 @@ def render_release_body(tag: str, artifacts_dir: Path, artifact_registry: Path) ere_version = read_ere_version() zkvm_versions = read_zkvm_versions() compiled = compiled_rows(artifacts_dir, release_url, zkvm_versions) - republished = republished_rows( - artifacts_dir, artifact_registry, release_url, zkvm_versions - ) + republished = republished_rows(artifacts_dir, artifact_registry, release_url) body = [ "## Compiled guest programs", diff --git a/.github/workflows/compile-and-release.yml b/.github/workflows/compile-and-release.yml index 7b295d2..43acc20 100644 --- a/.github/workflows/compile-and-release.yml +++ b/.github/workflows/compile-and-release.yml @@ -132,7 +132,7 @@ jobs: - name: Build matrix from artifact-registry.json id: set-matrix run: | - MATRIX=$(jq -c '{ include: [.stateless_validators[] as $sv | $sv.artifacts[] | { stateless_validator: $sv.name, zkvm: .zkvm, zkvm_version: (.zkvm_version // "") }] }' artifact-registry.json) + MATRIX=$(jq -c '{ include: [.stateless_validators[] as $sv | $sv.artifacts[] | { stateless_validator: $sv.name, zkvm: .zkvm, zkvm_version: .zkvm_version }] }' artifact-registry.json) echo "matrix=${MATRIX}" >> "$GITHUB_OUTPUT" echo "Matrix: ${MATRIX}" @@ -165,12 +165,7 @@ jobs: - name: Get artifact name id: get_artifact_name run: | - ZKVM_VERSION="${{ matrix.zkvm_version }}" - if [[ -z $ZKVM_VERSION ]]; then - ZKVM_VERSION=$(.github/scripts/zkvm-version.sh ${{ matrix.zkvm }}) - fi - ARTIFACT_NAME=stateless-validator-${{ matrix.stateless_validator }}-${{ matrix.zkvm }}-${ZKVM_VERSION} - echo "zkvm_version=${ZKVM_VERSION}" >> $GITHUB_OUTPUT + ARTIFACT_NAME=stateless-validator-${{ matrix.stateless_validator }}-${{ matrix.zkvm }}-${{ matrix.zkvm_version }} echo "artifact_name=${ARTIFACT_NAME}" >> $GITHUB_OUTPUT echo "Artifact name: ${ARTIFACT_NAME}" @@ -178,8 +173,7 @@ jobs: run: | bash .github/scripts/fetch-artifacts-for-republish.sh \ ${{ matrix.stateless_validator }} \ - ${{ matrix.zkvm }} \ - ${{ steps.get_artifact_name.outputs.zkvm_version }} + ${{ matrix.zkvm }} - name: Generate program VK when unpublished run: | @@ -188,6 +182,11 @@ jobs: echo "Republishing the VK listed in artifact-registry.json" exit 0 fi + ZKVM_VERSION=$(.github/scripts/zkvm-version.sh ${{ matrix.zkvm }}) + if [[ "${{ matrix.zkvm_version }}" != "$ZKVM_VERSION" ]]; then + echo "${{ matrix.stateless_validator }}-${{ matrix.zkvm }} targets ${{ matrix.zkvm_version }} while Ere builds against $ZKVM_VERSION, but VK is not available for republishment" >&2 + exit 1 + fi docker pull ghcr.io/eth-act/ere/ere-server-${{ matrix.zkvm }}:${{ steps.get_ere_tag.outputs.ere_tag }} docker run \ -e RUST_LOG=info \ diff --git a/Cargo.lock b/Cargo.lock index e7810e9..93df32e 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -5467,6 +5467,7 @@ dependencies = [ "paste", "rayon", "reqwest", + "semver", "serde", "serde_json", "sha2 0.10.9", diff --git a/Cargo.toml b/Cargo.toml index b137ed6..b6cf577 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -53,6 +53,7 @@ flate2 = "1.1.5" paste = "1.0" rayon = "1.11.0" reqwest = "0.12" +semver = "1.0.28" serde_json = "1.0" tar = "0.4.44" tempfile = "3.6.0" diff --git a/crates/stateless-validator-test/Cargo.toml b/crates/stateless-validator-test/Cargo.toml index 5b9c793..69b2048 100644 --- a/crates/stateless-validator-test/Cargo.toml +++ b/crates/stateless-validator-test/Cargo.toml @@ -16,6 +16,7 @@ flate2.workspace = true const-hex.workspace = true rayon.workspace = true reqwest = { workspace = true, features = ["blocking"] } +semver.workspace = true serde = { workspace = true, features = ["derive"] } serde_json.workspace = true sha2.workspace = true diff --git a/crates/stateless-validator-test/src/execution.rs b/crates/stateless-validator-test/src/execution.rs index 5ce51eb..2224d88 100644 --- a/crates/stateless-validator-test/src/execution.rs +++ b/crates/stateless-validator-test/src/execution.rs @@ -56,8 +56,6 @@ pub fn run_execution( fixtures: impl IntoIterator, execute: &(impl Fn(Vec) -> anyhow::Result> + Sync), ) -> Vec { - init_tracing(); - let fixtures = fixtures.into_iter().collect::>(); let total = fixtures.len(); assert!(total > 0); diff --git a/crates/stateless-validator-test/src/execution/host.rs b/crates/stateless-validator-test/src/execution/host.rs index fc73ad8..d41e3cc 100644 --- a/crates/stateless-validator-test/src/execution/host.rs +++ b/crates/stateless-validator-test/src/execution/host.rs @@ -6,7 +6,7 @@ use ere_platform_core::Platform; use stateless_validator_catalog::StatelessValidatorKind; use crate::{ - execution::{ExecutionFailure, ExecutionFailures, run_execution}, + execution::{ExecutionFailure, ExecutionFailures, init_tracing, run_execution}, fixture::{FixturePreset, StatelessValidatorFixture, preset_fixtures}, }; @@ -58,6 +58,8 @@ pub fn test_host_execution( preset: FixturePreset, expected_failures: usize, ) { + init_tracing(); + let failures = run_host_execution(stateless_validator_kind, preset_fixtures(preset)); assert_eq!( failures.len(), diff --git a/crates/stateless-validator-test/src/execution/zkvm.rs b/crates/stateless-validator-test/src/execution/zkvm.rs index 45fb51c..15a9dbe 100644 --- a/crates/stateless-validator-test/src/execution/zkvm.rs +++ b/crates/stateless-validator-test/src/execution/zkvm.rs @@ -12,6 +12,7 @@ use ere_dockerized::{ Compiler, CompilerKind, DockerizedCompiler, DockerizedzkVM, DockerizedzkVMConfig, Elf, Input, ProverResource, zkVMKind, }; +use semver::Version; use serde::Deserialize; use sha2::{Digest, Sha256}; use stateless_validator_catalog::StatelessValidatorKind::{self, *}; @@ -54,6 +55,32 @@ pub fn resolve_guest( .clone() } +/// Returns whether the guest ELF is compatible with the zkVM version of Ere. +pub fn is_guest_compatible( + stateless_validator_kind: StatelessValidatorKind, + zkvm_kind: zkVMKind, +) -> bool { + match stateless_validator_kind { + Ethrex | Reth => true, + Zesu => differs_by_patch_at_most( + ®istry_artifact(stateless_validator_kind, zkvm_kind).zkvm_version, + zkvm_kind.sdk_version(), + ), + } +} + +/// Returns whether `version` and `other` are equal up to their patch level, comparing them +/// verbatim when either is not a `v`-prefixed semantic version. +fn differs_by_patch_at_most(version: &str, other: &str) -> bool { + let parse = |version: &str| Version::parse(version.strip_prefix('v')?).ok(); + match (parse(version), parse(other)) { + (Some(version), Some(other)) => { + (version.major, version.minor, version.pre) == (other.major, other.minor, other.pre) + } + _ => version == other, + } +} + /// Compiles the guest program for `zkvm_kind` into an ELF. pub fn compile_guest( stateless_validator_kind: StatelessValidatorKind, @@ -94,6 +121,7 @@ struct StatelessValidator { #[derive(Deserialize)] struct StatelessValidatorArtifact { zkvm: String, + zkvm_version: String, elf_url: String, elf_sha256: String, vk_url: Option, @@ -196,3 +224,31 @@ pub fn run_zkvm_execution( Ok(zkvm.execute(&Input::new().with_stdin(input))?.0.to_vec()) }) } + +#[cfg(test)] +mod tests { + use crate::execution::zkvm::differs_by_patch_at_most; + + #[test] + fn compare_zkvm_versions() { + for (version, other) in [ + ("v1.1.0-alpha", "v1.1.0-alpha"), + ("v1.1.0-alpha", "v1.1.9-alpha"), + ("v2.1.0", "v2.1.3"), + ("8295d94", "8295d94"), + ] { + assert!(differs_by_patch_at_most(version, other)); + } + + for (version, other) in [ + ("v1.0.0-alpha", "v1.1.0-alpha"), + ("v1.1.0-alpha", "v1.1.0-beta"), + ("v1.1.0-alpha", "v1.1.0"), + ("v1.1.0", "v2.1.0"), + ("v1.1.0", "8295d94"), + ("8295d94", "4df3d26"), + ] { + assert!(!differs_by_patch_at_most(version, other)); + } + } +} diff --git a/crates/stateless-validator-test/tests/zkvm_execution.rs b/crates/stateless-validator-test/tests/zkvm_execution.rs index b835f8b..c6e4f54 100644 --- a/crates/stateless-validator-test/tests/zkvm_execution.rs +++ b/crates/stateless-validator-test/tests/zkvm_execution.rs @@ -6,9 +6,13 @@ use ere_dockerized::zkVMKind; use stateless_validator_catalog::StatelessValidatorKind; use stateless_validator_test::{ - execution::{ExecutionFailures, zkvm::run_zkvm_execution}, + execution::{ + ExecutionFailures, init_tracing, + zkvm::{is_guest_compatible, run_zkvm_execution}, + }, fixture::{FixturePreset, preset_fixtures}, }; +use tracing::info; fn test_execution( stateless_validator: StatelessValidatorKind, @@ -16,6 +20,17 @@ fn test_execution( preset: FixturePreset, expected_failures: usize, ) { + init_tracing(); + + if !is_guest_compatible(stateless_validator, zkvm_kind) { + info!( + "Skipping {stateless_validator} on {zkvm_kind}, the published ELF is not compatible \ + with zkVM version {} of Ere", + zkvm_kind.sdk_version() + ); + return; + } + let failures = run_zkvm_execution(stateless_validator, zkvm_kind, preset_fixtures(preset)); assert_eq!( failures.len(), @@ -79,6 +94,6 @@ declare_test!(Reth, Zisk, EestGlamsterdamDevnet7, failures = 13); // Zesu -// declare_test!(Zesu, Zisk, RpcBpo2); -// declare_test!(Zesu, Zisk, RpcGlamsterdamDevnet7); -// declare_test!(Zesu, Zisk, EestGlamsterdamDevnet7); +declare_test!(Zesu, Zisk, RpcBpo2); +declare_test!(Zesu, Zisk, RpcGlamsterdamDevnet7); +declare_test!(Zesu, Zisk, EestGlamsterdamDevnet7); From 727fb9fd56a2d137ba7165bc39b6477e3d890c6b Mon Sep 17 00:00:00 2001 From: han0110 Date: Thu, 20 Aug 2026 13:04:55 +0000 Subject: [PATCH 09/10] fix: skip incompatible guest on devnet test --- .github/workflows/integration-test-devnet.yml | 15 +++++++++------ .../src/bin/zkvm_execution_devnet.rs | 17 ++++++++++++++++- .../src/execution/zkvm.rs | 10 +++++----- 3 files changed, 30 insertions(+), 12 deletions(-) diff --git a/.github/workflows/integration-test-devnet.yml b/.github/workflows/integration-test-devnet.yml index 3447638..8be9e21 100644 --- a/.github/workflows/integration-test-devnet.yml +++ b/.github/workflows/integration-test-devnet.yml @@ -88,12 +88,15 @@ jobs: --zkvm ${{ matrix.zkvm }} \ --stateless-validator ${{ matrix.stateless_validator }} \ --output failures.txt - { - echo "### ${{ matrix.stateless_validator }} on ${{ matrix.zkvm }}" - echo '```' - cat failures.txt - echo '```' - } >> "$GITHUB_STEP_SUMMARY" + # No failures file means the guest was skipped as incompatible with the zkVM version. + if [[ -f failures.txt ]]; then + { + echo "### ${{ matrix.stateless_validator }} on ${{ matrix.zkvm }}" + echo '```' + cat failures.txt + echo '```' + } >> "$GITHUB_STEP_SUMMARY" + fi - name: Chown if: matrix.external != true diff --git a/crates/stateless-validator-test/src/bin/zkvm_execution_devnet.rs b/crates/stateless-validator-test/src/bin/zkvm_execution_devnet.rs index fa74da5..2409f83 100644 --- a/crates/stateless-validator-test/src/bin/zkvm_execution_devnet.rs +++ b/crates/stateless-validator-test/src/bin/zkvm_execution_devnet.rs @@ -13,7 +13,10 @@ use serde::Deserialize; use stateless_validator_catalog::StatelessValidatorKind; use stateless_validator_test::{ execution::{ - ExecutionFailures, host::run_host_execution, init_tracing, zkvm::run_zkvm_execution, + ExecutionFailures, + host::run_host_execution, + init_tracing, + zkvm::{is_guest_compatible, run_zkvm_execution}, }, fixture::{R2_FIXTURES_BASE_URL, StatelessValidatorFixture, archive_fixtures}, }; @@ -48,6 +51,18 @@ struct Cli { fn main() { let cli = Cli::parse(); init_tracing(); + + if let Some(zkvm) = cli.zkvm + && !is_guest_compatible(cli.stateless_validator, zkvm) + { + info!( + "Skipping {} on {zkvm}, the published ELF is not compatible with zkVM version {} of Ere", + cli.stateless_validator, + zkvm.sdk_version() + ); + return; + } + let fixtures = latest_devnet_fixtures(cli.blocks); info!( "Running {} blocks from {} to {}", diff --git a/crates/stateless-validator-test/src/execution/zkvm.rs b/crates/stateless-validator-test/src/execution/zkvm.rs index 15a9dbe..f4a8676 100644 --- a/crates/stateless-validator-test/src/execution/zkvm.rs +++ b/crates/stateless-validator-test/src/execution/zkvm.rs @@ -62,7 +62,7 @@ pub fn is_guest_compatible( ) -> bool { match stateless_validator_kind { Ethrex | Reth => true, - Zesu => differs_by_patch_at_most( + Zesu => matches_up_to_patch( ®istry_artifact(stateless_validator_kind, zkvm_kind).zkvm_version, zkvm_kind.sdk_version(), ), @@ -71,7 +71,7 @@ pub fn is_guest_compatible( /// Returns whether `version` and `other` are equal up to their patch level, comparing them /// verbatim when either is not a `v`-prefixed semantic version. -fn differs_by_patch_at_most(version: &str, other: &str) -> bool { +fn matches_up_to_patch(version: &str, other: &str) -> bool { let parse = |version: &str| Version::parse(version.strip_prefix('v')?).ok(); match (parse(version), parse(other)) { (Some(version), Some(other)) => { @@ -227,7 +227,7 @@ pub fn run_zkvm_execution( #[cfg(test)] mod tests { - use crate::execution::zkvm::differs_by_patch_at_most; + use crate::execution::zkvm::matches_up_to_patch; #[test] fn compare_zkvm_versions() { @@ -237,7 +237,7 @@ mod tests { ("v2.1.0", "v2.1.3"), ("8295d94", "8295d94"), ] { - assert!(differs_by_patch_at_most(version, other)); + assert!(matches_up_to_patch(version, other)); } for (version, other) in [ @@ -248,7 +248,7 @@ mod tests { ("v1.1.0", "8295d94"), ("8295d94", "4df3d26"), ] { - assert!(!differs_by_patch_at_most(version, other)); + assert!(!matches_up_to_patch(version, other)); } } } From ce4b8a4a51a00e56c76deec77b0ca036bc1a9911 Mon Sep 17 00:00:00 2001 From: han0110 Date: Fri, 21 Aug 2026 03:52:24 +0000 Subject: [PATCH 10/10] fix: bump to ere v0.16.2 --- Cargo.lock | 44 +++++++++---------- Cargo.toml | 8 ++-- .../openvm/Cargo.lock | 8 ++-- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-ethrex/sp1/Cargo.lock | 8 ++-- bin/stateless-validator-ethrex/sp1/Cargo.toml | 2 +- .../zisk/Cargo.lock | 8 ++-- .../zisk/Cargo.toml | 2 +- .../openvm/Cargo.lock | 8 ++-- .../openvm/Cargo.toml | 2 +- bin/stateless-validator-reth/sp1/Cargo.lock | 8 ++-- bin/stateless-validator-reth/sp1/Cargo.toml | 2 +- bin/stateless-validator-reth/zisk/Cargo.lock | 8 ++-- bin/stateless-validator-reth/zisk/Cargo.toml | 2 +- 14 files changed, 56 insertions(+), 56 deletions(-) diff --git a/Cargo.lock b/Cargo.lock index 93df32e..5aab435 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -1696,8 +1696,8 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-catalog" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ere-util-build", "serde", @@ -1706,21 +1706,21 @@ dependencies = [ [[package]] name = "ere-codec" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-compiler-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "serde", ] [[package]] name = "ere-dockerized" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "anyhow", "ere-catalog", @@ -1736,13 +1736,13 @@ dependencies = [ [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-prover-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "anyhow", "auto_impl", @@ -1758,8 +1758,8 @@ dependencies = [ [[package]] name = "ere-server-api" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "prost", "serde", @@ -1768,8 +1768,8 @@ dependencies = [ [[package]] name = "ere-server-client" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "bincode 2.0.1", "ere-prover-core", @@ -1780,24 +1780,24 @@ dependencies = [ [[package]] name = "ere-util-build" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "cargo_metadata", ] [[package]] name = "ere-util-tokio" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "tokio", ] [[package]] name = "ere-verifier-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "auto_impl", "ere-codec", diff --git a/Cargo.toml b/Cargo.toml index b6cf577..156ccb0 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -97,10 +97,10 @@ libssz-types = { version = "0.2.2", default-features = false, features = ["alloc zkvm-interface = { git = "https://github.com/eth-act/zkvm-standards", rev = "282cd356c3a0498416bb0619f9c8a347ce9933fb" } # ere -ere-catalog = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } -ere-dockerized = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } -ere-platform-core = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } -ere-util-build = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-catalog = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } +ere-dockerized = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } +ere-platform-core = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } +ere-util-build = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } # local stateless-validator-catalog = { path = "crates/stateless-validator-catalog" } diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.lock b/bin/stateless-validator-ethrex/openvm/Cargo.lock index bae24b7..7f7c931 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.lock +++ b/bin/stateless-validator-ethrex/openvm/Cargo.lock @@ -881,13 +881,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-openvm" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ark-bls12-381", "ark-ec 0.6.0", diff --git a/bin/stateless-validator-ethrex/openvm/Cargo.toml b/bin/stateless-validator-ethrex/openvm/Cargo.toml index 2c67140..a1d430c 100644 --- a/bin/stateless-validator-ethrex/openvm/Cargo.toml +++ b/bin/stateless-validator-ethrex/openvm/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.2", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.lock b/bin/stateless-validator-ethrex/sp1/Cargo.lock index 661fb7c..f408701 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.lock +++ b/bin/stateless-validator-ethrex/sp1/Cargo.lock @@ -820,13 +820,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-sp1" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ere-platform-core", "libzkevm", diff --git a/bin/stateless-validator-ethrex/sp1/Cargo.toml b/bin/stateless-validator-ethrex/sp1/Cargo.toml index 14ad2ba..c5f2cf6 100644 --- a/bin/stateless-validator-ethrex/sp1/Cargo.toml +++ b/bin/stateless-validator-ethrex/sp1/Cargo.toml @@ -7,7 +7,7 @@ version = "0.1.0" [dependencies] # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.lock b/bin/stateless-validator-ethrex/zisk/Cargo.lock index 80196b0..5c23a6d 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.lock +++ b/bin/stateless-validator-ethrex/zisk/Cargo.lock @@ -768,13 +768,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-zisk" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ere-platform-core", "ziskos", diff --git a/bin/stateless-validator-ethrex/zisk/Cargo.toml b/bin/stateless-validator-ethrex/zisk/Cargo.toml index 2d9fb41..8145a6d 100644 --- a/bin/stateless-validator-ethrex/zisk/Cargo.toml +++ b/bin/stateless-validator-ethrex/zisk/Cargo.toml @@ -10,7 +10,7 @@ version = "0.1.0" # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", default-features = false, features = ["inputcpy"] } +ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.2", default-features = false, features = ["inputcpy"] } # local stateless-validator-ethrex = { path = "../../../crates/stateless-validator-ethrex", features = [ diff --git a/bin/stateless-validator-reth/openvm/Cargo.lock b/bin/stateless-validator-reth/openvm/Cargo.lock index 0d38c18..bb70414 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.lock +++ b/bin/stateless-validator-reth/openvm/Cargo.lock @@ -1154,13 +1154,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-openvm" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ark-bls12-381", "ark-ec", diff --git a/bin/stateless-validator-reth/openvm/Cargo.toml b/bin/stateless-validator-reth/openvm/Cargo.toml index a640b6a..252b633 100644 --- a/bin/stateless-validator-reth/openvm/Cargo.toml +++ b/bin/stateless-validator-reth/openvm/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", features = [ +ere-platform-openvm = { git = "https://github.com/eth-act/ere", tag = "v0.16.2", features = [ "std", "zkvm-accelerator", ] } diff --git a/bin/stateless-validator-reth/sp1/Cargo.lock b/bin/stateless-validator-reth/sp1/Cargo.lock index 5181746..e66bccc 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.lock +++ b/bin/stateless-validator-reth/sp1/Cargo.lock @@ -1224,13 +1224,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-sp1" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ere-platform-core", "libzkevm", diff --git a/bin/stateless-validator-reth/sp1/Cargo.toml b/bin/stateless-validator-reth/sp1/Cargo.toml index 0e63081..233eb3a 100644 --- a/bin/stateless-validator-reth/sp1/Cargo.toml +++ b/bin/stateless-validator-reth/sp1/Cargo.toml @@ -13,7 +13,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ ] } # ere -ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.1" } +ere-platform-sp1 = { git = "https://github.com/eth-act/ere", tag = "v0.16.2" } # local stateless-validator-reth = { path = "../../../crates/stateless-validator-reth", features = [ diff --git a/bin/stateless-validator-reth/zisk/Cargo.lock b/bin/stateless-validator-reth/zisk/Cargo.lock index 2906370..ede3a69 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.lock +++ b/bin/stateless-validator-reth/zisk/Cargo.lock @@ -1276,13 +1276,13 @@ checksum = "877a4ace8713b0bcf2a4e7eec82529c029f1d0619886d18145fea96c3ffe5c0f" [[package]] name = "ere-platform-core" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" [[package]] name = "ere-platform-zisk" -version = "0.16.1" -source = "git+https://github.com/eth-act/ere?tag=v0.16.1#4df3d26c81ca59aa3181190bf1eb72abdcdd6657" +version = "0.16.2" +source = "git+https://github.com/eth-act/ere?tag=v0.16.2#8961a4e7ac5c9ca2dc6a2fc848452f23a186b1aa" dependencies = [ "ere-platform-core", "ziskos", diff --git a/bin/stateless-validator-reth/zisk/Cargo.toml b/bin/stateless-validator-reth/zisk/Cargo.toml index 6142c85..0554157 100644 --- a/bin/stateless-validator-reth/zisk/Cargo.toml +++ b/bin/stateless-validator-reth/zisk/Cargo.toml @@ -16,7 +16,7 @@ alloy-primitives = { version = "1.6.1", default-features = false, features = [ # NOTE: Using `default-features = false, features = ["inputcpy"]` mainly to disable the other # feature enabled by default `user-hints`, which this binary doesn't use but introduces lots # of dependencies. -ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.1", default-features = false, features = [ +ere-platform-zisk = { git = "https://github.com/eth-act/ere", tag = "v0.16.2", default-features = false, features = [ "inputcpy", ] }