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.
- 7,300
- TPS measured, 2 shards × 2 validators, exact supply conservation
- 4,700
- TPS sustained on a single shard with signature verification
- 223k
- lines of Rust across 23 crates
- 3,900+
- tests, plus fuzzing and 20 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 (SP1) 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