Skip to content

fix(l2): aligned integration #4818

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

fix(l2): aligned integration #4818

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
a291611
Fix steps for running with aligned
gianbelinche Oct 8, 2025
853b11e
Add clean state
gianbelinche Oct 8, 2025
08b47a9
Go back to previous aligned version
gianbelinche Oct 8, 2025
8484b37
Remove space
gianbelinche Oct 8, 2025
dfec7db
Fix set latest batch sent
gianbelinche Oct 9, 2025
7e8d250
Remove --bin
gianbelinche Oct 9, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion crates/l2/storage/src/store_db/sql.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -523,7 +523,7 @@ impl StoreEngineRollup for SQLStore {
&self,
batch_number: u64,
) -> Result<(), RollupStoreError> {
self.execute("UPDATE latest_sent SET batch = ?1", (0, batch_number))
self.execute("UPDATE latest_sent SET batch = ?1", [batch_number])
.await?;
Ok(())
}
Expand Down
40 changes: 26 additions & 14 deletions docs/l2/architecture/aligned_mode.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,13 +7,19 @@ This document explains how to run an Ethrex L2 node in **Aligned mode** and high
> [!IMPORTANT]
> For this guide we assumed that there is an L1 running with all Aligned environment set.

If any of the steps fail and you need to start over, you should clean the state with

```bash
make rm-db-l2
```

### 1. Generate the SP1 ELF Program and Verification Key

Run:

```bash
cd ethrex/crates/l2
SP1_PROVER=cuda make build-prover PROVER=sp1 PROVER_CLIENT_ALIGNED=true
make build-prover PROVER=sp1 PROVER_CLIENT_ALIGNED=true G=true
```

This will generate the SP1 ELF program and verification key under:
Expand Down Expand Up @@ -175,15 +181,21 @@ let ws_stream_future =

### Initialize L2 node

1. In another terminal, let's deploy the L1 contracts specifying the `AlignedProofAggregatorService` contract address:
1. Start prover:

```
cd ethrex/crates/l2
make init-prover G=true PROVER=sp1 PROVER_CLIENT_ALIGNED=true
```

2. In another terminal, let's deploy the L1 contracts specifying the `AlignedProofAggregatorService` contract address:

```bash
cd ethrex/crates/l2
COMPILE_CONTRACTS=true \
cargo run --release --bin ethrex_l2_l1_deployer --manifest-path contracts/Cargo.toml -- \
cargo run --release --bin ethrex --manifest-path ../../Cargo.toml -- l2 deploy \
--eth-rpc-url http://localhost:8545 \
--private-key 0x385c546456b6a603a1cfcaa9ec9494ba4832da08dd6bcf4de9a71e4a01b74924 \
--contracts-path contracts \
--risc0.verifier-address 0x00000000000000000000000000000000000000aa \
--sp1.verifier-address 0x00000000000000000000000000000000000000aa \
--tdx.verifier-address 0x00000000000000000000000000000000000000aa \
Expand All @@ -207,7 +219,7 @@ You will see that some deposits fail with the following error:

This is because not all the accounts are pre-funded from the genesis.

2. Send some funds to the Aligned batcher payment service contract from the proof sender:
3. Send some funds to the Aligned batcher payment service contract from the proof sender:

```
cd aligned_layer/batcher/aligned
Expand All @@ -217,11 +229,11 @@ cargo run deposit-to-batcher \
--amount 1ether
```

3. Start our l2 node:
4. Start our l2 node:

```
cd ethrex/crates/l2
cargo run --release --manifest-path ../../Cargo.toml --bin ethrex --features "l2" -- l2 --watcher.block-delay 0 --network ../../fixtures/genesis/l2.json --http.port 1729 --http.addr 0.0.0.0 --datadir dev_ethrex_l2 --l1.bridge-address <BRIDGE_ADDRESS> --l1.on-chain-proposer-address <ON_CHAIN_PROPOSER_ADDRESS> --eth.rpc-url http://localhost:8545 --block-producer.coinbase-address 0x0007a881CD95B1484fca47615B64803dad620C8d --committer.l1-private-key 0x385c546456b6a603a1cfcaa9ec9494ba4832da08dd6bcf4de9a71e4a01b74924 --proof-coordinator.l1-private-key 0x39725efee3fb28614de3bacaffe4cc4bd8c436257e2c8bb887c4b5c4be45e76d --proof-coordinator.addr 127.0.0.1 --aligned --aligned.beacon-url http://127.0.0.1:58801 --aligned-network devnet --aligned-sp1-elf-path prover/src/guest_program/src/sp1/out/riscv32im-succinct-zkvm-elf
cargo run --release --manifest-path ../../Cargo.toml --bin ethrex -- l2 --watcher.block-delay 0 --network ../../fixtures/genesis/l2.json --http.port 1729 --http.addr 0.0.0.0 --datadir dev_ethrex_l2 --l1.bridge-address <BRIDGE_ADDRESS> --l1.on-chain-proposer-address <ON_CHAIN_PROPOSER_ADDRESS> --eth.rpc-url http://localhost:8545 --block-producer.coinbase-address 0x0007a881CD95B1484fca47615B64803dad620C8d --committer.l1-private-key 0x385c546456b6a603a1cfcaa9ec9494ba4832da08dd6bcf4de9a71e4a01b74924 --proof-coordinator.l1-private-key 0x39725efee3fb28614de3bacaffe4cc4bd8c436257e2c8bb887c4b5c4be45e76d --proof-coordinator.addr 127.0.0.1 --aligned --aligned.beacon-url http://127.0.0.1:58801 --aligned-network devnet --aligned-sp1-elf-path prover/src/guest_program/src/sp1/out/riscv32im-succinct-zkvm-elf
```

> [!IMPORTANT]
Expand All @@ -234,13 +246,6 @@ When running the integration test, consider increasing the `--committer.commit-t
--committer.commit-time 120000
```

4. Start prover:

```
cd ethrex/crates/l2
SP1_PROVER=cuda make init-prover PROVER=sp1 PROVER_CLIENT_ALIGNED=true
```

### Aggregate proofs:

After some time, you will see that the `l1_proof_verifier` is waiting for Aligned to aggregate the proofs:
Expand All @@ -256,6 +261,13 @@ cd aligned_layer
make start_proof_aggregator AGGREGATOR=sp1
```

or

```
cd aligned_layer
make start_proof_aggregator_gpu AGGREGATOR=sp1
```

If successful, the `l1_proof_verifier` will print the following logs:

```
Expand Down
Loading