Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
671faa5
feat: agg-mode example contract
MarcosNicolau May 8, 2025
2e6cb0e
feat: initial code
MarcosNicolau May 8, 2025
1e65322
feat: risc0, sp1 zkvm programs
MarcosNicolau May 8, 2025
a816bec
chore: project boilerplate
MarcosNicolau May 8, 2025
4f2aa2f
feat: sp1 state transition program
MarcosNicolau May 9, 2025
dff0728
feat: share types between programs and send proof to aligned
MarcosNicolau May 9, 2025
051fa3a
fix: contract
MarcosNicolau May 9, 2025
ebc7f84
feat: separate files and save db after zkvm run
MarcosNicolau May 9, 2025
b7f99ff
feat: db initial state
MarcosNicolau May 10, 2025
364d16b
fix: roots mismatch between program and backend
MarcosNicolau May 10, 2025
e66b833
feat: send proof to aligned and wait for agg proof verification event
MarcosNicolau May 12, 2025
8b6391a
feat: write program vk_hash
MarcosNicolau May 12, 2025
7ed99d7
feat: deploy script for contract
MarcosNicolau May 12, 2025
93df5e1
feat: send state transition transaction
MarcosNicolau May 12, 2025
ac15ea7
Merge branch 'feat/verify-agg-proof-on-chain' into feat/full-example-…
MarcosNicolau May 13, 2025
735a6e9
Merge branch 'feat/verify-agg-proof-on-chain' into feat/full-example-…
MarcosNicolau May 13, 2025
635d5c9
refactor: config struct, better docs, .env examples
MarcosNicolau May 13, 2025
e2a5d63
chore: gen_env target
MarcosNicolau May 13, 2025
6b7b189
refactor: proper errors in StateTransition contract
MarcosNicolau May 13, 2025
8814baf
docs: readme and how to run
MarcosNicolau May 13, 2025
1d6f53d
chore: small typo fixes
MarcosNicolau May 13, 2025
cb5e7f2
feat: loop in start_l2, rename zk module, updated initial state and b…
MarcosNicolau May 14, 2025
8133ea7
chore: remove program ids as it vary between systems
MarcosNicolau May 14, 2025
3c32349
Merge branch 'feat/verify-agg-proof-on-chain' into feat/full-example-…
MarcosNicolau May 15, 2025
68e3959
Merge branch 'feat/verify-agg-proof-on-chain' into feat/full-example-…
MarcosNicolau May 16, 2025
050edea
fix: sdk merge
MarcosNicolau May 16, 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
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -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
5 changes: 2 additions & 3 deletions batcher/aligned-sdk/src/common/types.rs
Original file line number Diff line number Diff line change
Expand Up @@ -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;
Expand Down
8 changes: 8 additions & 0 deletions examples/L2/.env.holesky
Original file line number Diff line number Diff line change
@@ -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>
2 changes: 2 additions & 0 deletions examples/L2/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@

crates/l2/programs_ids.json
Loading