Verity is the formally verified Ethereum consensus client. Core consensus logic is proven correct in Lean 4 and integrated into a Rust client via FFI — eliminating entire classes of bugs before they happen.
Where other clients test for correctness, Verity proves it. Formal verification closes the gap between specification and implementation — permanently.
Core consensus logic is expressed and proven in Lean 4, then called from Rust via FFI. The verified code runs directly — there is no gap between what the spec says and what the code does.
Traditional clients reimplement specifications by hand, introducing subtle divergences. Verity's approach makes such drift structurally impossible.
Formal verification doesn't just find bugs — it proves their absence. Entire categories of consensus-breaking errors are ruled out at compile time.
Purpose-built for Ethereum's Lean Consensus roadmap. Verity's architecture is designed from the ground up to align with the protocol's evolving future.
Every proof is open source and machine-checkable. Anyone can independently verify that Verity's implementation matches the Ethereum specification.
A verified client adds a qualitatively different kind of diversity to the Ethereum ecosystem — one backed by mathematical certainty rather than independent reimplementation.
Traditional clients translate specs by hand. Verity proves them mathematically.
Spec–implementation gap remains. Edge cases may hide undetected until production.
Core consensus logic is mathematically verified in Lean 4 and called from Rust via FFI — no re-implementation, no divergence.
Our path toward a formally verified, production-ready consensus client.
Nyx Foundation is dedicated to advancing the security and reliability of decentralized infrastructure. We believe that critical protocol software deserves the highest standard of assurance — not just testing, but proof.
Verity is our flagship project: an Ethereum consensus client where correctness is not an aspiration but a theorem. By leveraging formal methods, we aim to set a new standard for what it means to trust blockchain infrastructure.
Explore the code, read the proofs, or join the conversation.