chore: bump op-succinct 3.5.0 (#330)

Upgrade of `op-succinct` to `3.5.0`

Author: hadjiszs

.github/workflows/coverage.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Install toolchain
         uses: dtolnay/rust-toolchain@master
         with:
-          toolchain: nightly-2025-04-24
+          toolchain: nightly
           components: clippy rustfmt llvm-tools-preview
 
       - name: Set up rust cache

Cargo.lock

@@ -49,7 +49,7 @@ agglayer-tries = "0.13.0"
 unified-bridge = "0.13.0"
 
 # Ecosystem dependencies
-op-succinct-elfs = { git = "https://github.com/agglayer/op-succinct.git", tag = "v3.4.0-rc.1-agglayer" }
+op-succinct-elfs = { git = "https://github.com/agglayer/op-succinct.git", tag = "v3.5.0-rc.1-agglayer" }
 
 # SP1 dependencies
 # Please check if the toolchain image at the top `scripts/make/Makefile.elf.toml` could also be

Cargo.toml

@@ -31,17 +31,22 @@ The <b>Agglayer</b> (<i>Aggregation layer</i>) provides a common language for se
 
 ## Table of Contents
 
+- [Table of Contents](#table-of-contents)
 - [Overview](#overview)
 - [Repository Structure](#repository-structure)
 - [Prerequisites](#prerequisites)
   - [Succinct Prover Network](#succinct-prover-network)
   - [Software Requirements](#software-requirements)
-  - [Hardware Requirements](#hardware-recommendations)
+  - [Hardware Recommendations](#hardware-recommendations)
 - [Installation](#installation)
+- [Running the Test Suite](#running-the-test-suite)
 - [Modifying and building the Aggchain Proof](#modifying-and-building-the-aggchain-proof)
+  - [Building Aggchain Proof one-off](#building-aggchain-proof-one-off)
+  - [Turning on automatic proof rebuild](#turning-on-automatic-proof-rebuild)
+  - [Check the vkey hash from the ELF binary](#check-the-vkey-hash-from-the-elf-binary)
+  - [Proof versioning policy](#proof-versioning-policy)
 - [Development](#development)
 - [Support](#support)
-- [Resources](#resources)
 - [License](#license)
 
 ## Overview
@@ -142,6 +147,28 @@ It is mostly useful for debugging, the `update` is more suitable for regular dev
 
 To get automatic rebuilds by default, set the variable in the shell init script.
 
+### Check the vkey hash from the ELF binary
+
+This command helps to retrieve the vkey hash from a given ELF binary:
+
+```
+cargo prove vkey --elf <path-to-elf-file>
+```
+
+Output example:
+
+```
+Verification Key Hash:
+0x0077f45ec2258cc98fa879d13a2773190bffb9cafb9f428ce3c5718dc768f03e
+```
+
+Which ELFs?
+
+- `aggchain proof` ELF binary
+  - lives in this present `provers` repository
+- `aggregation` and `range` ELF binaries for the op-succinct proofs
+  - live in the `op-succinct` dependency repository
+
 ### Proof versioning policy
 
 The proof binary to use is uniquely identified by a vkey selector on the L1.
@@ -156,8 +183,6 @@ Contributions are very welcomed, the guidelines are currently not available (WIP
 
 Feel free to [open an issue](https://github.com/agglayer/agglayer/issues/new) if you have any feature request or bug report.<br />
 
-## Resources
-  
 ## License
 Copyright (c) 2024 PT Services DMCC
 
@@ -166,6 +191,6 @@ Licensed under either of
 * Apache License, Version 2.0, ([LICENSE-APACHE](LICENSE-APACHE) or http://www.apache.org/licenses/LICENSE-2.0)
 * MIT license ([LICENSE-MIT](LICENSE-MIT) or http://opensource.org/licenses/MIT)
 
-at your option. 
+at your option.
 
 The SPDX license identifier for this project is `MIT OR Apache-2.0`.

README.md

@@ -3,6 +3,6 @@ source: crates/proposer-elfs/src/test/mod.rs
 expression: snap
 ---
 aggregation vkey
-hash_u32 [1065281593, 1918965487, 143507916, 538488729, 1307528054, 990927305, 656662345, 602973261]
-bytes32  0x007efdd073c9845bbc446e0e62018af999bde96ecec416725391efa4a3f0a44d
-bytes    0x3f7ee839726116ef088dc1cc2018af994def4b763b1059c92723df4923f0a44d
+hash_u32 [1006251873, 157495907, 1963932199, 578236816, 1610468951, 1853688371, 1200284443, 1198059582]
+bytes32  0x0077f45ec2258cc98fa879d13a2773190bffb9cafb9f428ce3c5718dc768f03e
+bytes    0x3bfa2f6109633263750f3a27227731905ffdce576e7d0a33478ae31b4768f03e

crates/proposer-elfs/src/test/snapshots/proposer_elfs__test__aggregation_vkey.snap

@@ -3,6 +3,6 @@ source: crates/proposer-elfs/src/test/mod.rs
 expression: snap
 ---
 range vkey
-hash_u32 [1266824388, 1988473654, 455227799, 37841536, 276314907, 1880827792, 1941237891, 508942947]
-bytes32  0x0097046989da16ccd8d911ccb82416a8020f07637c06c9e439da78419e55da63
-bytes    0x4b8234c47685b3361b22399702416a8010783b1b701b279073b4f0831e55da63
+hash_u32 [240212150, 1279656060, 82155303, 664969832, 842235838, 1985045033, 1259135469, 229863325]
+bytes32  0x001ca2b16d311801f0272cb93a7a2a2686466ff7dd94588a658670f68db36f9d
+bytes    0x0e5158b64c46007c04e5972727a2a26832337fbe765162294b0ce1ed0db36f9d