Pre-migration documentation. This site reflects the pre-migration state of the protocol. It’s mostly current, but a few edges may not match ZERA at launch. We’re finalizing the new, detailed ZERA docs now. Thanks for your patience.
Testing & Verification
Test strategy, invariants and security checks
This section will include property‑based tests, invariants and verification guidance.
Coming Soon
The testing and verification guide is currently under active development. Our team is working on comprehensive testing procedures and security verification methods.
This will include test vectors, security testing frameworks, formal verification, and third‑party audit procedures for the zero‑knowledge cash system.