feat(examples): full example and docs for aggregation mode (#1942)

Co-authored-by: JuArce <[email protected]>
Co-authored-by: MauroFab <[email protected]>
Co-authored-by: Mauro Toscano <[email protected]>

Author: 3 people

.gitignore

@@ -18,3 +18,6 @@ nonce_*.bin
 
 infra/ansible/playbooks/ini/**.ini
 infra/ansible/playbooks/files/**.pem
+
+examples/l2/crates/l2/db
+examples/l2/crates/l2/zkvm_programs/sp1/elf/sp1_state_transition_program

.gitmodules

@@ -40,3 +40,6 @@
 [submodule "contracts/eigenlayer_contracts/eigenlayer-contracts"]
 	path = contracts/eigenlayer_contracts/eigenlayer-contracts
 	url = https://github.com/Layr-Labs/eigenlayer-contracts.git
+[submodule "examples/l2/contracts/lib/forge-std"]
+	path = examples/l2/contracts/lib/forge-std
+	url = https://github.com/foundry-rs/forge-std

batcher/aligned-sdk/src/common/types.rs

@@ -3,9 +3,8 @@ use std::fmt::Display;
 use std::fmt::Formatter;
 use std::str::FromStr;
 
-use ethers::core::k256::ecdsa::SigningKey;
-use ethers::signers::Signer;
-use ethers::signers::Wallet;
+pub use ethers::core::k256::ecdsa::SigningKey;
+pub use ethers::signers::{Signer, Wallet};
 use ethers::types::transaction::eip712::EIP712Domain;
 use ethers::types::transaction::eip712::Eip712;
 use ethers::types::transaction::eip712::Eip712Error;

examples/l2/.env.devnet

@@ -0,0 +1,10 @@
+# .env example for devnet network
+NETWORK=devnet
+ETH_RPC_URL=http://localhost:8545
+WS_ETH_RPC_URL=ws://localhost:8546
+BEACON_CLIENT_URL=http://localhost:58801
+# Generate it with `make gen_devnet_owner_wallet`
+PRIVATE_KEY_STORE_PATH="../contract-owner.keystore.json" # This is read from cmd/.
+PRIVATE_KEY_STORE_PASSWORD="<!w5Y%In94Vw"
+# Obtain it with `make deploy_contract`
+STATE_TRANSITION_CONTRACT_ADDRESS=<STATE_TRANSITION_CONTRACT_ADDRESS>

examples/l2/.env.holesky

@@ -0,0 +1,8 @@
+# .env example for holesky network
+NETWORK=holesky
+ETH_RPC_URL=https://ethereum-holesky-rpc.publicnode.com
+WS_ETH_RPC_URL=wss://ethereum-holesky-rpc.publicnode.com
+BEACON_CLIENT_URL=<YOUR_BEACON_CLIENT_URL> # This can't be a public one as we need to retrieve blobs and they don't support that method
+PRIVATE_KEY_STORE_PATH=<PATH_TO_STATE_TRANSITION_OWNER_KEYSTORE>
+PRIVATE_KEY_STORE_PASSWORD=<STATE_TRANSITION_OWNER_KEYSTORE_PASSWORD>
+STATE_TRANSITION_CONTRACT_ADDRESS=<STATE_TRANSITION_CONTRACT_ADDRESS>

examples/l2/.gitignore

@@ -0,0 +1,5 @@
+crates/l2/programs_ids.json
+contract-owner.keystore.json
+cmd/db
+cmd/proof.bin
+crates/db