Distributed systems · Rust
A sharded proof-of-stake blockchain in Rust
A DAG-based layer-1 designed for agent-to-agent payments: consensus, execution, sharding, proving, SDKs, wallet and explorer, built from scratch.
- 60,885
- TPS committed on 4 shards × 4 validators on AWS, scaling linearly at 15,000 TPS per shard
- ≈3 s
- median commit latency with 32 validators across Tokyo, Frankfurt and Oregon
- 345k
- lines of Rust across 23 crates
- 3,500+
- passing tests, plus fuzzing and TLA+ specifications
01
The problem
Machine-to-machine payments need finality in seconds, high throughput and verifiable settlement, without trusting a single operator.
02
What I built
- Mysticeti-style DAG commit rule with cross-shard value transfer and byte-identical shard state roots
- Execution engine, state store and networking stack; contract and bridge crates
- Zero-knowledge proving pipeline with recursion and a proof market
- Rust and TypeScript SDKs, a Flutter wallet, an explorer and an MCP server for AI agents
03
Engineering
- CI with rustfmt, clippy -D warnings, locked workspace tests and fuzz smoke tests
- Protocol invariants model-checked with TLA+ on finite instances
- Throughput measured on co-located nodes; next step is a public multi-machine testnet with proving on