Nyx Foundation Begins Development of 'Verity', a Next-Generation Ethereum Client
Nyx Foundation announced the development of 'Verity', a new Ethereum client supporting the 'Lean Consensus' layer. Utilizing formal verification, it aims to be the most secure client to counter post-quantum cryptography (PQC) threats.
📋 Article Processing Timeline
- 📰 Published: April 8, 2026 at 00:35
- 🔍 Collected: April 7, 2026 at 16:00
- 🤖 AI Analyzed: April 20, 2026 at 19:45 (315h 45m after Collected)
Nyx Foundation (Bunkyo-ku, Tokyo; hereafter 'Nyx') announces that it has begun development of 'Verity', a new client that supports Ethereum's next-generation consensus layer, 'Lean Consensus'.
As the advancement of quantum computers drives a global generational shift in cryptography (PQC transition), Ethereum is positioned at the forefront of this movement.
Within this context, Nyx has accumulated a strong track record in the Ethereum ecosystem:
- Formally verified a part of XMSS propositions using the Lean4 language.
- Ranked 1st globally in the number of vulnerabilities reported (17) in the Fusaka upgrade audit contest.
- Participated in the development of the zkVM 'Lean Multisig' led by the Ethereum Foundation.
Based on this experience, we decided to create the most secure client with our own hands. That is Verity.
Verity places formal verification (a method of mathematically proving the correctness of software) at its core, aiming to realize the 'most secure client'.
Our approach has already garnered appreciation from the EF's PQC transition team and was introduced in a keynote speech by Justin Drake, a central researcher, at an ETH CC side event held in Paris.
## A Turning Point in Cryptography is Coming to All Software
Due to the progress of quantum computers, the risk of widely used cryptographic technologies today, such as TLS and digital signatures, being broken in the future is becoming a reality. This is not limited to blockchain but is a common challenge for all digital systems, including online banking and e-government.
Even in Japan, the Financial Services Agency initiated a planning competition for a 'Post-Quantum Cryptography (PQC) Transition Proof-of-Concept Experiment for Financial Institutions' in March 2026, marking the start of PQC transitions in financial infrastructure.
Ethereum is where this generational shift in cryptography is advancing the fastest.
As a large-scale decentralized financial system with hundreds of thousands of nodes operating worldwide, it has been quick to begin the transition to post-quantum cryptography.
This initiative to revamp cryptographic foundations while fulfilling high security requirements in an open-source and public environment serves as an important precedent for considering the security of broad software infrastructure beyond blockchain.
Nyx intends to return the knowledge gained at the forefront of Ethereum to strengthen the security of financial institutions and social infrastructure in Japan.
## Why Lean Consensus is Important
The next-generation protocol 'Lean Consensus' advanced by Ethereum is a grand project that not only tackles such threats head-on but also repays past technical debt.
As the advancement of quantum computers drives a global generational shift in cryptography (PQC transition), Ethereum is positioned at the forefront of this movement.
Within this context, Nyx has accumulated a strong track record in the Ethereum ecosystem:
- Formally verified a part of XMSS propositions using the Lean4 language.
- Ranked 1st globally in the number of vulnerabilities reported (17) in the Fusaka upgrade audit contest.
- Participated in the development of the zkVM 'Lean Multisig' led by the Ethereum Foundation.
Based on this experience, we decided to create the most secure client with our own hands. That is Verity.
Verity places formal verification (a method of mathematically proving the correctness of software) at its core, aiming to realize the 'most secure client'.
Our approach has already garnered appreciation from the EF's PQC transition team and was introduced in a keynote speech by Justin Drake, a central researcher, at an ETH CC side event held in Paris.
## A Turning Point in Cryptography is Coming to All Software
Due to the progress of quantum computers, the risk of widely used cryptographic technologies today, such as TLS and digital signatures, being broken in the future is becoming a reality. This is not limited to blockchain but is a common challenge for all digital systems, including online banking and e-government.
Even in Japan, the Financial Services Agency initiated a planning competition for a 'Post-Quantum Cryptography (PQC) Transition Proof-of-Concept Experiment for Financial Institutions' in March 2026, marking the start of PQC transitions in financial infrastructure.
Ethereum is where this generational shift in cryptography is advancing the fastest.
As a large-scale decentralized financial system with hundreds of thousands of nodes operating worldwide, it has been quick to begin the transition to post-quantum cryptography.
This initiative to revamp cryptographic foundations while fulfilling high security requirements in an open-source and public environment serves as an important precedent for considering the security of broad software infrastructure beyond blockchain.
Nyx intends to return the knowledge gained at the forefront of Ethereum to strengthen the security of financial institutions and social infrastructure in Japan.
## Why Lean Consensus is Important
The next-generation protocol 'Lean Consensus' advanced by Ethereum is a grand project that not only tackles such threats head-on but also repays past technical debt.