Quantum-secure settlement layer
Abstract
The prospect of a quantum-capable adversary is becoming increasingly credible, and with that, the Cardano blockchain should prepare for it. This CPS describes the problems this QC adversary brings to Cardano. It has in scope all the cryptographic primitives that are used in the base settlement layer of Cardano. The goal of this problem statement is to describe the technical weaknesses in detail and pose a non-exhaustive overview of some replacement primitives to show the impact and give a sense of the design space.
This CPS does not have the on-chain smart contract language Plutus in scope, as
this is constrained by another set of design principles that would clutter this
discussion. That does not mean that this is not at risk against a QC adversary!
Quite the contrary, as described in
this pull request.
Moreover, the impact of some of the design constraints in this CPS also
constrains the Plutus context. Note that the two are somewhat intertwined:
Plutus scripts can reference the witnesses in the transaction witness set
(e.g., via txInfoSignatories), even though these signatures are validated
in phase 1. A change of signature scheme thus does not significantly impact
phase 2 run time, but the public keys referenced from the script context will
increase in size. Besides this, Plutus also offers builtins that verify
signatures in phase 2 (ECDSA over secp256k1 and its Schnorr variant), which
face the same quantum threat. Addressing this would require a new Plutus
variant that is quantum secure, as the existing versions are not. But given
that the security of Plutus breaks if
consensus is attacked, the priority of this broad discussion should focus on
that first.
Problem
Cardano relies on public-key cryptography for transaction authorization, delegation, stake pool operations, and consensus-critical functions. The security of the settlement layer therefore depends on cryptographic primitives that were designed against classical attackers and may not remain secure against sufficiently capable quantum attackers.
Context: Why this matters now
Quantum hardware continues to advance. More importantly, recent work continues to reduce published resource estimates for quantum attacks on elliptic-curve cryptography (Ha, Lee, and Heo, 2024; Babbush et al., 2026). This reduces the margin between the time needed for migration and the time at which such attacks may become feasible.
This matters at the Cardano settlement layer because the migration of the base layer cryptography is slow and coordination-heavy. Any change in this area affects ledger rules, consensus, node implementations, wallets, stake pool operators, exchanges, and other ecosystem participants. It also requires broad community alignment and careful rollout planning. As a result, Cardano cannot wait until the risk becomes immediate before preparing a migration path.
This is not unique to Cardano. Other major blockchain ecosystems are also moving from general concern to the public planning phase. Examples of this include XRP publishing a post-quantum roadmap and the Ethereum Foundation working on post-quantum protocol upgrades.
Cardano exposes many public keys on-chain, and some of them remain in use for long periods of time. This increases the risk that long-exposed public keys become attractive targets if quantum attacks on their corresponding private keys become practical.
What quantum attacks break
Quantum attacks do not affect all cryptographic primitives in the same way. For this discussion, the two most important quantum algorithms are Shor's algorithm and Grover's algorithm. They target different classes of cryptographic assumptions and therefore lead to different kinds of migration pressure.
Shor's algorithm is the most serious threat to the current Cardano settlement layer because it attacks the mathematical assumptions behind widely deployed public-key cryptography, including elliptic-curve cryptography. In practice, this means that schemes based on these assumptions do not merely become weaker: their security can collapse once a sufficiently capable quantum attacker exists. In such a setting, public keys may become enough to recover the corresponding private keys or to forge valid signatures.
At a high level, Shor's algorithm threatens public-key primitives such as digital signatures, VRFs, KES, aggregate signatures, and elliptic-curve-based zero-knowledge proof systems.
Grover's algorithm affects a different class of primitives. It applies to symmetric cryptography and hash-based constructions, such as hash functions used throughout the protocol. Its impact is usually not a full break in the same sense as Shor's algorithm. Instead, it reduces effective security levels, which can often be addressed by stronger parameters, such as larger keys, longer digests.
| Quantum algorithm | Mainly affects | High-level impact | Typical response |
|---|---|---|---|
| Shor's algorithm | Public-key cryptography | Can break the underlying security assumption | Replace vulnerable primitives with post-quantum alternatives |
| Grover's algorithm | Symmetric cryptography and hash-based constructions | Reduces effective security levels rather than fully breaking them | Increase security parameters such as key sizes or digest sizes |
This helps explain why the threat model above gives higher priority to the parts of the system that depend directly on public-key cryptography.
The same concern also appears in other important parts of the Cardano system. Mithril relies on BLS-based aggregate signatures, while Ouroboros Leios and Peras introduce aggregate-signature certificates for voting and certification. Zero-knowledge systems that are already being integrated into the ecosystem may also rely on elliptic-curve cryptography and would therefore be vulnerable to Shor's algorithm. These examples show that the quantum threat is not limited to today's settlement layer but also affects important Cardano services and future consensus designs.
Threat model: what breaks in Cardano
The impact of a cryptographic break would not be the same across the system, so the problem must be framed in terms of priority and system impact.
-
Signature schemes (Ed25519) are the highest priority because they protect the root of trust for transaction authorization, governance, and stake pool operational control. In Cardano, this includes payment and staking keys and stake pool cold keys. If they are broken, an adversary could forge authorizations, move funds, or take control of critical or even adversarial operations.
-
Verifiable Random Functions (VRFs) are used in the consensus layer for the private slot leader schedule and the fair generation of randomness that underpins this. A quantum adversary recovering the private key of a VRF would mean that block production by that key is no longer private and that the randomness can be biased in the adaptive security model (grinding).
-
Key Evolving Signature schemes (KES) are used in the consensus layer to ensure that block forging is forward secure and thus that private keys that forged blocks in the past are lost forever. A quantum adversary that can recover these lost keys from past operation certificates (opcerts) can thus trick bootstrapping nodes to follow the wrong chain.
The problem addressed by this CPS is therefore not only the future selection of post-quantum primitives. It is the need to identify, prioritize, and frame the cryptographic exposures of the Cardano settlement layer so that the ecosystem can prepare a safe and coordinated migration path before it is forced into a rushed response.
Overview of existing schemes
NIST has recently standardized several signature schemes that could be relevant to the migration of Cardano to PQC:
- ML-DSA: Based on lattice problems (MLWE and MSIS). Rather large signatures (2.4KB) and key sizes (1.3KB), growing larger at higher security levels. Good efficiency both for signing (~0.65ms) and verification (~0.53ms) on average hardware. The most mature and well-studied of the standardized PQC signature schemes.
- FN-DSA: Based on NTRU lattices. The most compact standardized scheme with signatures (~690 bytes) and key sizes (~897 bytes), closest in size to classical schemes. Moderate signing speed (~3.28ms). Its Gaussian sampling mechanism makes secure implementation significantly harder than other candidates, a practical concern in high-volume signing contexts such as stake pool operations. SLH-DSA: Based solely on hash function security, no new mathematical assumptions. Very large signatures (8KB to 50KB depending on parameters) with small key sizes (~32 bytes). Slow signing (~131.9ms) but fast verification. Its size makes it impractical for regular transaction signing, but well-suited to infrequently used high-value keys such as governance credentials.
Some of the candidates for the second round of standardization:
- SQIsign: Based on isogenies, designed as a sigma protocol using Fiat-Shamir. Small signatures (~177 bytes) and public keys (~64 bytes). Signing remains slow despite recent improvements, but the verification is fast. Good long-term candidate thanks to its size and native ZK structure, but needs more study and improvements.
- FAEST: Security based on AES via a VOLEitH zero-knowledge proof of knowledge of an AES key. Signatures ~5–6 KB. Susceptible to side-channel attacks. Good candidate but still needs development and study.
- MAYO: Multivariate scheme based on the UOV (Unbalanced Oil and Vinegar) construction. Compact signatures (~300–500 bytes), constant-time-friendly implementation available. Strong non-lattice candidate with good sizes and low implementation complexity. Potential risk of breaks that happened before with multivariate schemes.
The standardized schemes offer interesting and different trade-offs between the size of signatures, signing and verification keys, as well as efficiency of signing and verification. Currently there is no one-size-fits-all, which means PQC solutions will most likely involve a combination of those schemes. This in part, justifies the need for agility when implementing the transition to PQC together with the recency of the standardization, which leaves room for a better assessment of the security of the standardized schemes.
Post-quantum planning in other ecosystems
Cardano is not the only ecosystem facing this problem. Other major blockchain projects are also moving from general concern to active planning, and in some cases, shipped work. Security models, consensus mechanisms, and governance processes differ significantly across ecosystems, so direct comparisons are limited. The general direction, however, is consistent: public-key cryptography needs to be replaced, and the planning window is now.
Ethereum has the most active public program. The Ethereum Foundation formed a dedicated Post-Quantum Security team in January 2026, backed by $2 million in research prizes, and launched a public tracking hub at pq.ethereum.org. On the protocol side, EIP-8141, co-authored by Vitalik Buterin, introduces native account abstraction that allows accounts to migrate from ECDSA to post-quantum schemes such as ML-DSA without changing their address, building on the programmable transaction validation model established by ERC-4337. At the consensus and data availability layers, the Lean Ethereum initiative proposes replacing BLS aggregate signatures with hash-based schemes and KZG commitments with hash-based alternatives, with a minimal SNARK-friendly execution layer as a longer-term goal. These concerns map directly onto the categories identified in the Cardano threat model above: signature schemes, aggregate certificates, and elliptic-curve-based proof systems.
Algorand has the most mature shipped work.
State Proofs using Falcon signatures
were deployed in March 2022, providing quantum-resistant cross-chain state
verification. In November 2025, Algorand added a native
falcon_verify
opcode to its virtual machine and demonstrated the first post-quantum
transaction on mainnet. Its VRF-based committee selection remains
elliptic-curve-based, an open problem the team has acknowledged.
The XRP Ledger published a formal post-quantum roadmap in April 2026, targeting full production transition by 2028. The plan moves through four phases: emergency contingency readiness, experimentation with ML-DSA on a test network, parallel deployment alongside existing signatures, and a network-wide amendment. Its stated design principle is cryptographic agility, supporting multiple NIST-standardized algorithms to remain adaptable as the field matures.
Bitcoin and Solana are at earlier stages. BIP-360 and BIP-361, formally assigned in February 2026, propose a new quantum-resistant output type and a legacy address migration plan, respectively, though neither has community consensus for activation. Solana has tested post-quantum signatures experimentally and encountered significant performance overhead, a concrete illustration of the engineering tradeoffs that any ecosystem, including Cardano, must account for in its migration design.
Use Cases
A non-exhaustive list of user perspectives that are impacted.
- As an Ada holder, I want the authorization of my funds to be secure.
- As a staker, I want my staking rewards to be secure.
- As a stake pool operator, I want a consensus layer that is secure.
- As a DRep, I want to ensure governance actions are executed fairly.
Goals
The goal of a CIP that addresses this CPS should be to
- Ensure that signatures in transaction, governance, staking, and block forging cannot be forged.
- Ensure the blockchain remains forward and adaptive secure.
- Any migration should explicitly address how the old crypto should transition. This includes how credentials backed by different derived keys are handled.
Again, such a CIP does not have in scope the Plutus language, as it is constraint by other design principles and timings.
Open Questions
Below a non-exhaustive list of open questions that come at this stage:
- Given that we switch to newer PQ cryptography with sizable artifacts, how will this impact block propagation and general diffusion of messages?
- Given that we need to make room for sizable network messages, what possibility
is there to adjust the
activeSlotsCoeffparameter? - Given that the current PQ schemes are not battle tested, how can we remain flexible and agile in our design?
- What alternative PQ schemes are there for KES and VRF?
- Do we need to replace the VRF scheme if we opt for a public leadership schedule?
- What is a fair way to transition old funds?
Copyright
This CPS is licensed under Apache-2.0.