TESTNET

🚀 Deployment Guide

Step-by-step deployment on Sepolia, Arbitrum, and Base

Deployment Steps
✓
Compile Circuits
circom withdraw_sentinel.circom --r1cs --wasm --sym
✓
Trusted Setup (Powers of Tau)
snarkjs groth16 setup withdraw.r1cs pot_final.ptau withdraw.zkey
✓
Generate Verifier.sol
snarkjs zkey export solidityverifier withdraw.zkey Verifier.sol
✓
Deploy Contracts
forge script DeployArbitrumFull.s.sol --broadcast --rpc-url sepolia --verify
✓
Grant Roles
Grant DEPOSITOR_ROLE to Treasury, configure fee (3%)
✓
Enable ZKML
Set zkmlEnabled=true on all pools via AdminFacet, deploy Halo2Verifier
✓
Start Relayer
docker-compose up -d (auto-binds to pools)
✓
Smoke Test
CLI deposit → withdraw (normal) → withdraw (panic) → verify dual-logic
Supported Networks
Sepolia
Chain ID: 11155111
✅ Live
4 pools
Arbitrum Sepolia
Chain ID: 421614
🟡 Planned
— pools
Base Sepolia
Chain ID: 84532
🟡 Planned
— pools