Documented capabilities
Capabilities and tools described in the public project documentation.
What the software does
- Explores proof-carrying transactions, Sparse Merkle state and deterministic execution in experimental Protocol v2.
- Implements and tests foundations for quorum-certificate consensus, cross-shard receipts, lightweight verification and token policy.
- Includes development-only observer and local test/benchmark tools; the research targets both high throughput and low-resource verification.