zkEVM L2
Enterprise zero-knowledge EVM Layer 2 with per-chain isolation
E2E Pipeline Verified on Basis Network L1 (Fuji)
tx → EVM execute → witness (9ms) → PLONK-KZG prove (86ms) → L1 commit → L1 prove → L1 execute → finalized (735K gas, 5.99s)
Proof System
PLONK-KZG
Real proofs verified on-chain
Settlement
3-Phase
Commit-Prove-Execute
L1 Gas Cost
735K
Per batch (zero-fee)
Proof Time
86ms
1,376 bytes proof
Batch Lifecycle Pipeline
1Commit149K gas
Batch submitted with state root, L2 block range, and priority ops hash
2Prove515K gas
Halo2 PLONK-KZG validity proof verified on-chain via EIP-197
3Execute70K gas
State root finalized, batch permanently anchored on L1
Deployed Settlement Contracts
| Contract | Address | Purpose |
|---|---|---|
| BasisRollupV2 | 0xE5D2...23B4 | State root management + 3-phase settlement |
| Halo2PlonkVerifier | 0x361C...5Db6 | PLONK-KZG proof verification wrapper |
| Halo2Verifier | 0x53C4...FAE7 | Generated Halo2 verifier (Keccak256 transcript) |
| BasisVerifier | 0x9393...8e49 | PLONK/Groth16 verification + migration |
| BasisBridge | 0xd0B4...3a5b | L1-L2 asset transfers + escape hatch |
| BasisDAC | 0x1E0c...fe9B | Data availability committee attestations |
| BasisAggregator | 0xddfe...70a2 | ProtoGalaxy multi-enterprise proof aggregation |
| BasisHub | 0x6Faf...2f0B | Cross-enterprise hub-and-spoke settlement |
ZK Proof System
- Scheme
- PLONK-KZG
- Curve
- BN254
- Prover
- Rust (halo2-KZG)
- State Tree
- Poseidon SMT (depth 32)
- Verification Gas
- ~291K total
- Aggregation
- ProtoGalaxy folding
Architecture
- Node
- Go (Geth EVM)
- DA Mode
- Validium (DAC)
- Chains
- Per-enterprise
- Cross-Enterprise
- Hub-and-spoke
- Persistence
- LevelDB
- RPC
- 21 eth_* methods
Test Coverage
- Go (11 packages)
- 258 passing
- Rust (3 crates)
- 142 passing
- Solidity (6 contracts)
- 370 passing
- TLA+ specs
- 11 verified
- Coq proofs
- 107 files (0 Admitted)
- E2E Pipeline
- Verified on L1