From 00e510141aba269b3153cacd816db5289195a6b7 Mon Sep 17 00:00:00 2001 From: han0110 Date: Tue, 22 Sep 2026 12:02:21 +0000 Subject: [PATCH] feat: bump ere to v0.17.2 --- beacon_node/proof_engine/build/ere_verifier.rs | 8 ++++---- beacon_node/proof_engine/src/config.rs | 4 ++-- beacon_node/proof_engine/src/ere/bindings.rs | 2 +- beacon_node/proof_engine/tests/known_valid_proofs.rs | 2 +- 4 files changed, 8 insertions(+), 8 deletions(-) diff --git a/beacon_node/proof_engine/build/ere_verifier.rs b/beacon_node/proof_engine/build/ere_verifier.rs index 8112794f198..c106ab9ac23 100644 --- a/beacon_node/proof_engine/build/ere_verifier.rs +++ b/beacon_node/proof_engine/build/ere_verifier.rs @@ -8,7 +8,7 @@ use std::{ path::{Path, PathBuf}, }; -const ERE_VERSION: &str = "v0.17.1"; +const ERE_VERSION: &str = "v0.17.2"; const LIBRARY_FILENAME: &str = "libere_verifier_c.a"; struct Artifact { @@ -48,15 +48,15 @@ pub fn configure() -> Result<(), Box> { fn artifact_for_target(target: &str) -> Option<&'static Artifact> { static DARWIN_ARM64: Artifact = Artifact { archive_filename: "libere_verifier_c.darwin-arm64.tar.gz", - sha256: "9a81d0d7c2a0f464930ac71aed71f5c0fae19649710447763e477780daa623ed", + sha256: "e2586bb15bff1ebc11e1612bb0f0e57f345cbc1d59e6f3082cc40b9dcd3e9408", }; static LINUX_AMD64: Artifact = Artifact { archive_filename: "libere_verifier_c.linux-amd64.tar.gz", - sha256: "5434529fd7c7c72c2feda4787e69e240e71044bb227e31021063c30f279f5d38", + sha256: "9238ce4158c7ce7c26d43be34082b78979085f9c53777c1c15df8bb5e91f728f", }; static LINUX_ARM64: Artifact = Artifact { archive_filename: "libere_verifier_c.linux-arm64.tar.gz", - sha256: "ba9e5bac1b2711c382d7b7762ba481d45d1bd5bdf478ac912160fe06b2c79384", + sha256: "100d9f7aef25f7eefee6784a14ccff5aba4928b72777a09e3ce7041bcb8c3023", }; match target { diff --git a/beacon_node/proof_engine/src/config.rs b/beacon_node/proof_engine/src/config.rs index b3fd57af361..e2f23d8e702 100644 --- a/beacon_node/proof_engine/src/config.rs +++ b/beacon_node/proof_engine/src/config.rs @@ -6,7 +6,7 @@ use std::{collections::HashSet, str::FromStr}; use types::execution::ProofType; // Program verification keys registered by eth-act/ere-guests v0.17.0 for use with the ERE -// v0.17.1 verifier pinned by build/ere_verifier.rs. The client and release versions below +// v0.17.2 verifier pinned by build/ere_verifier.rs. The client and release versions below // identify the guest binaries that produced the keys. // Ethrex stateless-validator guests from ethrex v26.0.0. const DEFAULT_ETHREX_OPENVM_PROGRAM_VK: &str = concat!( @@ -133,7 +133,7 @@ impl ProofEngineConfig { impl Default for ProofEngineConfig { /// Built-in verifier configuration for every guest registered by `eth-act/ere-guests` at tag - /// `v0.17.0`, for use with the ERE v0.17.1 verifier pinned by `build/ere_verifier.rs`. + /// `v0.17.0`, for use with the ERE v0.17.2 verifier pinned by `build/ere_verifier.rs`. /// The proof-type assignments are provisional while EIP-8025 is under development. fn default() -> Self { Self::new( diff --git a/beacon_node/proof_engine/src/ere/bindings.rs b/beacon_node/proof_engine/src/ere/bindings.rs index 9401d979bd7..b288922e2f8 100644 --- a/beacon_node/proof_engine/src/ere/bindings.rs +++ b/beacon_node/proof_engine/src/ere/bindings.rs @@ -1,6 +1,6 @@ //! Safe ownership wrapper around the minimal ERE verifier C API. //! -//! The declarations below mirror `ere_verifier.h` as published in ERE v0.17.1, the release +//! The declarations below mirror `ere_verifier.h` as published in ERE v0.17.2, the release //! pinned by `build/ere_verifier.rs`. `ere_verifier_zkvm_kind` is the only other function the //! library exports and is deliberately left undeclared: it echoes back the `zkvm_kind` //! argument the handle was constructed with, which the caller derives from the proof type. diff --git a/beacon_node/proof_engine/tests/known_valid_proofs.rs b/beacon_node/proof_engine/tests/known_valid_proofs.rs index 666546761cf..314c1e336a4 100644 --- a/beacon_node/proof_engine/tests/known_valid_proofs.rs +++ b/beacon_node/proof_engine/tests/known_valid_proofs.rs @@ -3,7 +3,7 @@ //! The fixtures are Ethrex v26.0.0 and reth v0.1.0-rc.3 guest artifacts copied from //! `eth-act/zkboost` at commit `7f99d70a679bd0c0e8951f9d2797183340f80262`. Their program //! verification keys are registered by `eth-act/ere-guests` v0.17.0 and verified here with ERE -//! v0.17.1, the verifier release pinned by this crate. zkBoost does not publish a Zesu proof +//! v0.17.2, the verifier release pinned by this crate. zkBoost does not publish a Zesu proof //! fixture at that commit, so Zesu is covered by configuration tests but not by this known-valid //! proof suite. #![cfg(feature = "ere-verifier")]