[0.1.0-alpha] - 2026-08-17
First reference-implementation alpha. The consensus + execution + persistence +
networking slice is complete and tested.
Added
- Phase 5:
veridag-net— QUIC authenticated validator links + vertex/batch
gossip. Multi-process devnet test reaches consensus over real sockets. - Phase 6:
veridag-dag— VCE-1 vertex wire form, validity, equivocation,
quorum progression. - Phase 7:
veridag-consensus— BaselineDagBft pure-function commit rule,
deterministic simulation (Agreement + order-independence). - Phase 8: vertical slice — tx → batch → vertex → commit → order → execute →
state root; 4 validators derive identical state. - Phase 9:
veridag-storage— trait-based stores +MemoryStore/SledStore.
Crash-injection harness proves restart-safe recovery (identical state root). - Phase 10:
veridag-execution— conflict-aware parallel scheduler;
parallel == sequential property-tested. veridag-node,veridag-cli,veridag-genesisbinaries.- Release profile:
opt-level=3, thin LTO,panic=abort,strip=true
(low-latency, low-energy, small binary). - Docs:
docs/quickstart.md(universal onboarding), updated
docs/architecture.md, ROADMAP phase status.
Safety
- All crates
#![forbid(unsafe_code)]. cargo clippy --workspace --all-targets --all-features -- -D warningsclean.- Full workspace test suite green.