PoS smart-contract platform
Solana SOL
Solana scores 28/100 (Stage 2: Mitigation/Development). The project has published one of the most comprehensive quantum risk assessments in the blockchain industry, with detailed cryptographic inventories, formal migration roadmaps, and prototype Falcon implementations from both Anza and Firedancer. The SHA-512 Ed25519 seed derivation provides a credible post-Q-day migration path via ZK proofs. Opt-in mainnet PQ protection exists through the Blueshift Winternitz Vault (fewer than 300 accounts as of April 2026). However, none of this changes the production reality: all native transaction signatures on mainnet use Ed25519 (broken by Shor's algorithm), current TowerBFT consensus uses Ed25519 votes, and the planned Alpenglow upgrade will use BLS12-381 (also quantum-vulnerable). No protocol-level PQ spend authorization or consensus authentication exists. Almost zero economic value is protected. Solana is well-prepared on paper but has no material production quantum protection today.
Category breakdown
QRI Factors
Critical Quantum Blockers
- Active production spend authorization remains entirely Ed25519-only on mainnet. All native transaction signatures are verified via the Ed25519 precompile, which is broken by Shor's algorithm. The opt-in Winternitz Vault does not change the protocol-level signature scheme.
- Consensus authentication is quantum-vulnerable. Current TowerBFT validator votes use Ed25519 signatures. Future Alpenglow consensus (in community testnet as of May 2026) will use BLS12-381 aggregate signatures, which are also quantum-vulnerable. No PQ consensus authentication exists in any production or planned consensus mechanism.
- No mainnet PQ signature verification path exists at the protocol level; SIMD-0461 (Falcon syscall) is an open PR only.
Key Risks
- All SOL held in accounts that have ever sent a transaction have their Ed25519 public key exposed on-chain (long-exposure), making them vulnerable to future quantum key-recovery attacks with no time constraint.
- Current TowerBFT consensus relies on Ed25519 validator vote signatures. A quantum adversary could forge validator votes to perform double-spend attacks or disrupt finality.
- Future Alpenglow consensus (BLS12-381) is also quantum-vulnerable. There is no plan for PQ consensus authentication beyond acknowledged research into lattice-based multi-signatures. The consensus layer may remain quantum-vulnerable even after the Alpenglow migration.
- Program upgrade authorities, token mint authorities, and multisig signers overwhelmingly use Ed25519 keypairs. A quantum adversary could compromise these to perform unauthorized program upgrades, token mints, or treasury drains across the entire DeFi ecosystem.
- Turbine/Rotor shred authentication uses Ed25519 signatures for DoS protection. A quantum adversary could flood the network with forged shreds.
- No independent cryptographic audit of any quantum-critical component (Falcon implementation, Winternitz Vault) exists. The PQ codebase is prototype-quality.
Assurance Notes
- No independent cryptographic audit of any quantum-critical component (Falcon implementation, Winternitz Vault, or any PQ-specific code) exists as of 2026-06-01.
- Alpenglow consensus (which will introduce BLS12-381 aggregated certificates) is NOT live on mainnet; it is in community test cluster testing with mainnet expected late 2026. Current consensus remains TowerBFT with Ed25519 vote transactions.
- SIMD-0461 (Falcon syscall) remains an open PR with unresolved Anza approval as of April 2026. SIMD-0296 (larger transaction size) is merged but not yet activated on mainnet; expected with Agave 4.1.
- Blueshift Winternitz Vault has fewer than 300 accounts on mainnet-beta as of April 2026. Adoption metrics, total value protected, and integration depth are minimal.
- No formal quantum-specific incident-response playbook has been published. General security programs (STRIDE, SIRN) exist but are not quantum-focused.
- BLS12-381 syscalls are being activated via Agave 4.0, but this is for user-program cryptographic support, not for consensus authentication. Consensus remains TowerBFT with Ed25519 votes.
Non-Scoring Caveats
- Blueshift Winternitz Vault / Winterwallet provides opt-in hash-based (WOTS) quantum-resistant cold storage on mainnet but is application-layer only, has fewer than 300 accounts, and does not protect the base protocol or default transaction flow.
- Program Derived Addresses (PDAs) are inherently quantum-resistant for address derivation (SHA-256 based, no private key), but the authority keys controlling PDAs remain Ed25519-vulnerable.
- Solana's Ed25519 private keys are derived from a 32-byte seed via SHA-512, enabling a theoretical ZKP-based migration path that does not require exposing the seed. This is a design advantage but remains unimplemented.
- Alpenglow consensus upgrade (expected late 2026) will introduce BLS12-381 for aggregated certificates, which is itself quantum-vulnerable. Research into lattice-based multi-signatures for PQ consensus is ongoing but no candidate has been selected or prototyped.
- Project Eleven deployed a functioning PQ signature system on a Solana testnet in late 2025, demonstrating end-to-end viability, but this has not been promoted to mainnet.
- SIMD-0296 (larger transaction size to 4096 bytes) has been merged but is not yet activated on mainnet. This is a prerequisite for native Falcon signatures. Activation expected with Agave 4.1, which is targeted for late 2026.
- Future upgrade from one PQ-secure design to another (e.g., Falcon to a more mature scheme) is not a current quantum-readiness deduction. The current vulnerability is that no PQ scheme is in production use at the protocol level.
Evidence record
Claims and Caveats
Security Assessment & Evidence Preparedness
Public cryptographic inventory and quantum threat model
Claim: Solana has published comprehensive cryptographic inventories and quantum threat models covering Ed25519 accounts, BLS12-381 consensus (Alpenglow), Turbine shred authentication, and user-defined programs.
Coverage basis: Official developer publications from Anza, Jump Crypto, and Solana Foundation (April 2026)
Implementation score: 1 · Evidence confidence: High
Issue classification: none · Score treatment: not applicable
Assurance: Multiple primary sources from core development teams confirm the inventory. Threat model covers all four identified ECC-dependent layers with specific algorithm references.
Inventory covers Ed25519 (accounts/transactions), BLS12-381 (Alpenglow consensus), Ed25519 (Turbine shreds), and user-defined program syscalls. Explicitly acknowledges quantum vulnerability of each layer.
Security Assessment & Evidence Preparedness
Public evidence record supporting the assessment
Claim: Assessment is supported by code references, specifications, prototype PRs, testnet evidence, and mainnet documentation.
Coverage basis: Source code repositories, SIMD proposals, prototype implementations, official documentation
Implementation score: 1 · Evidence confidence: High
Issue classification: none · Score treatment: not applicable
Assurance: Primary source code and specification evidence is publicly accessible. Prototype Falcon implementations exist as open draft PRs. Project Eleven testnet deployment provides reproducible evidence of PQ transaction viability.
Evidence record is comprehensive and draws from multiple independent sources (Anza, Jump Crypto/Firedancer, Solana Foundation, Blueshift, Project Eleven). All claims are traceable to primary artifacts.
- https://github.com/anza-xyz/solana-sdk/pull/537
- https://github.com/firedancer-io/firedancer/pull/9446
- https://github.com/solana-foundation/solana-improvement-documents/pull/461
- https://github.com/solana-foundation/solana-improvement-documents/pull/296
- https://anza.xyz/the-post-quantum-solana-checklist
- https://solana.com/docs/core/programs/precompiles
- https://projecteleven.com/solana-foundation-collaboration
Production Cryptographic Protection
Spend authorization / transaction signatures
Claim: Solana mainnet uses Ed25519 precompile for all native transaction signature verification. Falcon is prototype only. Winternitz Vault is opt-in application-layer only.
Coverage basis: Protocol-level signature verification mechanism
Implementation score: 0 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Quantum blocker: Active production spend authorization remains entirely Ed25519-only. Ed25519 is broken by Shor's algorithm. All native transaction signatures verified via the Ed25519 precompile. No PQ replacement exists at protocol level.
Assurance: Confirmed by official Solana documentation, Anza engineering blog, and Jump Crypto analysis. Ed25519 precompile is documented as the native signature verification mechanism. Falcon PRs are explicitly described as draft/prototype by their authors.
The Winternitz Vault is a smart-contract-level program that users can optionally deposit into. It does not replace or modify the protocol's Ed25519 precompile. Native transaction signing remains Ed25519-only. Fee payer accounts must use Ed25519 — Winternitz Vault cannot pay transaction fees directly.
Production Cryptographic Protection
Account, address, public-key exposure, and key-derivation design
Claim: Accounts are indexed by Ed25519 public keys exposing them long-term. SHA-512 seed derivation provides partial quantum resistance. PDAs are inherently quantum-resistant via SHA-256.
Coverage basis: Account model, key derivation, and address scheme
Implementation score: 0.25 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Quantum blocker: Ed25519 public keys are permanently exposed on-chain as account addresses, creating long-exposure attack surface for all accounts.
Assurance: Multiple primary sources confirm the Ed25519-based account model and SHA-512 seed derivation. PDA quantum resistance is a well-understood property of hash-based derivation.
SHA-512 seed derivation is a genuine architectural advantage: the seed material remains quantum-resistant even after Ed25519 is broken, enabling post-Q-day migration via ZK proofs. PDAs use SHA-256 and are off-curve by construction — no associated private key exists. However, the vast majority of user accounts use standard Ed25519 keypairs with fully exposed public keys.
Production Cryptographic Protection
Consensus-critical authentication
Claim: Current TowerBFT uses Ed25519 validator vote signatures. Planned Alpenglow consensus uses BLS12-381. Both are quantum-vulnerable. No PQ consensus authentication exists.
Coverage basis: Validator vote signatures in TowerBFT and Alpenglow consensus protocols
Implementation score: 0 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Quantum blocker: Consensus authentication is quantum-vulnerable in both current TowerBFT (Ed25519) and planned Alpenglow (BLS12-381). No PQ consensus mechanism exists in any production or planned protocol version.
Assurance: TowerBFT documentation confirms Ed25519 vote signatures. SIMD-0326 (Alpenglow) and SIMD-0387 (BLS pubkey management) confirm BLS12-381 for Alpenglow consensus votes. Anza blog acknowledges research into lattice-based multi-signatures for PQ consensus is ongoing but not implemented.
Alpenglow is in community testnet (May 2026), not mainnet. Mainnet activation expected late 2026. Alpenglow's BLS12-381 aggregate signatures are also broken by Shor's algorithm. The Anza blog explicitly acknowledges this and mentions research into PQ alternatives (lattice-based multi-signatures, PQ-SNARK-based aggregation) but none are implemented or specified in any SIMD.
- https://docs.anza.xyz/implemented-proposals/tower-bft
- https://github.com/solana-foundation/solana-improvement-documents/blob/main/proposals/0326-alpenglow.md
- https://github.com/solana-foundation/solana-improvement-documents/blob/main/proposals/0387-bls-pubkey-management-in-vote-account.md
- https://www.anza.xyz/blog/securing-solana-against-a-powerful-quantum-adversary
Production Cryptographic Protection
State-integrity and data-availability mechanisms
Claim: Core state integrity relies on SHA-256/Keccak hashing (Accounts Lattice Hash, PDAs). No pairing-based or KZG commitments used at protocol level for state integrity.
Coverage basis: Protocol-level state hashing and commitment schemes
Implementation score: 0.75 · Evidence confidence: Medium
Issue classification: none · Score treatment: not applicable
Assurance: Hash-based state integrity is well-understood. SHA-256 second preimage resistance against Grover's algorithm provides ~128-bit security, which is adequate. PDAs are off-curve by construction. The BLS12-381 syscall (SIMD-0388) is for user programs, not protocol state integrity. No independent audit of state-integrity mechanisms specifically for quantum resistance.
Solana's core state integrity is predominantly hash-based (SHA-256, Keccak). PDAs use SHA-256 and are not associated with any private key. The Accounts Lattice Hash uses homomorphic hashing, not pairing-based commitments. The alt_bn128 and proposed BLS12-381 syscalls are for user programs, not protocol state integrity. This gives Solana a structural advantage for state integrity compared to chains using KZG commitments or pairing-based state verification. However, some edge cases around account state binding and historical state commitments have not been systematically reviewed for quantum safety.
Production Cryptographic Protection
Privacy and proof layers
Claim: Token22 confidential transfers use ZK ElGamal Proof program based on ElGamal encryption and Pedersen commitments — both rely on discrete logarithm assumptions and are quantum-vulnerable.
Coverage basis: Optional Token22 confidential transfer extension
Implementation score: 0 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Assurance: Code4rena audit (Aug-Sep 2025) covered the ZK ElGamal Proof program and Token22 confidential transfer logic. Audit scope did not include quantum threat assessment. The underlying cryptographic assumptions (discrete logarithm) are quantum-vulnerable by design.
Confidential transfers are an optional Token22 extension, not a mandatory protocol feature. The ZK proof system uses Sigma protocols over ElGamal/Pedersen — these are broken by Shor's algorithm. However, this vulnerability only affects users who opt into confidential transfers. The core protocol does not depend on these proof systems for security.
Production Cryptographic Protection
P2P transport, node identity, and peer authentication
Claim: Turbine shred authentication uses Ed25519 signatures. Node identity is Ed25519-based. Stake-weighted QoS relies on Ed25519 signatures.
Coverage basis: P2P networking layer and validator identity
Implementation score: 0 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Assurance: Anza blog explicitly identifies Turbine shred authentication and stake-weighted QoS as quantum-vulnerable layers relying on Ed25519. No PQ alternatives proposed for P2P layer.
P2P vulnerabilities affect network availability (DoS via forged shreds) rather than asset theft or consensus safety directly. The Anza blog notes XDP could help offset throughput loss from larger PQ signatures. However, no concrete PQ P2P design exists.
Production Cryptographic Protection
Critical wallet, custody, HSM, signer, and hardware-wallet workflows
Claim: Blueshift Winternitz Vault / Winterwallet provides opt-in PQ wallet support on mainnet using Winternitz One-Time Signatures.
Coverage basis: Opt-in application-layer custody solution
Implementation score: 0.75 · Evidence confidence: Medium
Issue classification: assurance-only caveat · Score treatment: note-only
Assurance: Winternitz Vault is open-source (MIT) and cited by Google Quantum AI. However, the author's README includes a candid disclaimer: 'I am a pretty good dev larping as a cryptographer.' No independent cryptographic audit. Adoption is fewer than 300 accounts on mainnet-beta as of April 2026. Winterwallet provides production tooling (SDK, CLI, on-chain program) but remains opt-in with no default integration in major wallets.
Winternitz Vault is the only Solana-specific PQC solution cited by Google's quantum whitepaper. It provides 176-bit post-quantum security (truncated SHA-256) within current 1,232-byte transaction limits. However, it cannot pay transaction fees directly — fee payer accounts must still use Ed25519. Each vault is single-use by design (WOTS constraint). This is meaningful opt-in protection but does not protect the base protocol or users who haven't actively migrated.
Migration Status & Value-at-Risk
Percentage of economically relevant value-at-risk protected
Claim: Almost no SOL or SPL token value is protected by PQ mechanisms. Winternitz Vault adoption is negligible relative to total circulating supply and DeFi TVL.
Coverage basis: Estimated value protection across all on-chain assets
Implementation score: 0.05 · Evidence confidence: Medium
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Quantum blocker: Far below 25% of economically relevant value is protected. Almost all SOL (~$97 USD per token, 167M token-holder addresses, $2.5B+ in tokenized RWAs) remains in Ed25519 accounts with fully exposed public keys.
Assurance: No public data on Winternitz Vault TVL or adoption. The Solana ecosystem roundup (April 2026) mentions $2.5B in tokenized RWAs and 167M token-holder addresses but no PQ-protected value figures. Winternitz Vault has fewer than 300 accounts on mainnet-beta as of April 2026.
All SOL in standard Ed25519 accounts, all SPL tokens, all DeFi TVL, all staked SOL, all program treasuries, and all protocol-controlled value remain quantum-vulnerable. The $2.5B in tokenized RWAs on Solana represents long-exposure value at extreme quantum risk. Coverage is estimated at well under 1% of total value-at-risk.
Migration Status & Value-at-Risk
Critical wallets migrated, protected, or inherently PQ-native
Claim: No evidence that any major treasury, exchange, foundation, or protocol wallet has migrated to PQ protection.
Coverage basis: Critical infrastructure wallets
Implementation score: 0 · Evidence confidence: Low
Issue classification: quantum-critical uncertainty · Score treatment: score-reducing
Assurance: No public attestations from exchanges, custodians, foundations, or major protocols confirming PQ migration. Blueshift encourages migration of signing authorities to Winterwallet but provides no data on adoption. This is a quantum-critical uncertainty because critical infrastructure wallets controlling billions in value may remain entirely unprotected.
The Blueshift research article explicitly identifies program upgrade authorities, token mint authorities, and multisig signers as 'the most consequential near-term quantum vulnerability on Solana' and notes 'the only remaining barrier is adoption.' This confirms that critical wallets have not meaningfully migrated.
Migration Status & Value-at-Risk
Legacy vulnerable pools identified, measurable, deprecated, migrated, frozen, or proven not to exist by design
Claim: Vulnerable surfaces are identified in assessments but no production measurement, deprecation, or migration system exists.
Coverage basis: Identification and management of legacy vulnerable accounts
Implementation score: 0.25 · Evidence confidence: Medium
Issue classification: quantum-critical uncertainty · Score treatment: score-reducing
Assurance: The assessments identify the vulnerable account model but do not provide live measurement, dashboards, or tools for tracking migration progress. No deprecation, freeze, or migration mechanism is active on mainnet.
The Anza and Jump Crypto assessments provide thorough theoretical identification of vulnerable layers. The migration proof prototype (~400kB, 55ms) demonstrates technical feasibility. However, there is no production system for measuring vulnerable value, prompting migration, or enforcing deprecation of legacy Ed25519 accounts.
Migration Mechanism, Governance & Ecosystem Coordination
Public migration or protection roadmap with sequencing, activation criteria, and dependencies
Claim: Comprehensive public roadmaps exist with specific SIMD proposals, sequencing, and dependencies.
Coverage basis: Published migration roadmaps and SIMD proposals
Implementation score: 1 · Evidence confidence: High
Issue classification: none · Score treatment: not applicable
Assurance: Multiple independently published roadmaps from Anza, Jump Crypto, and Solana Foundation converge on the same strategy: Falcon-512, larger transactions (SIMD-0296/0385), Falcon syscall (SIMD-0461), address versioning, and SHA-512 seed-based ZK migration. Dependencies between SIMDs are documented.
The roadmap is unusually detailed for a blockchain project. It covers transaction size prerequisites, signature scheme selection rationale, account model migration, consensus considerations, and emergency migration paths. However, it is still a roadmap — none of the critical SIMDs are activated on mainnet.
Migration Mechanism, Governance & Ecosystem Coordination
Migration accessibility and defaults
Claim: No default PQ account creation. Winternitz Vault is opt-in only. No migration prompts in standard wallets. SIMD prerequisites not yet active.
Coverage basis: User-facing migration tooling and defaults
Implementation score: 0.25 · Evidence confidence: Medium
Issue classification: operational/product caveat · Score treatment: score-reducing
Assurance: Winternitz Vault/Winterwallet exists as opt-in tooling with SDK, CLI, and on-chain program. No major wallet (Phantom, Solflare, Backpack) integrates PQ account creation or migration prompts. SIMD-0296 (larger transactions) is accepted but not activated. SIMD-0461 (Falcon syscall) is still an open PR without full approval.
Winterwallet is the only available migration tool and requires intentional user action. There are no warnings, prompts, or incentives for users to migrate. The one-time-use constraint of WOTS adds UX friction. Standard wallet interfaces provide no quantum-related information to users.
Migration Mechanism, Governance & Ecosystem Coordination
Migration enforcement and coordination
Claim: No enforcement mechanisms exist. No Ed25519 deprecation, freeze, restricted withdrawals, or mandatory migration deadlines. Exchange coordination is at discussion stage.
Coverage basis: Enforcement mechanisms and ecosystem coordination
Implementation score: 0 · Evidence confidence: High
Issue classification: quantum-critical vulnerability · Score treatment: score-reducing
Quantum blocker: Users can still create new quantum-vulnerable Ed25519 accounts by default with no warnings, restrictions, or deprecation timeline. No enforcement mechanism prevents continued use of quantum-vulnerable accounts.
Assurance: The official Solana Foundation statement explicitly says 'no protocol change required today.' Anza blog discusses future deprecation as a design consideration, not an active plan. No exchange, custody, or infrastructure coordination for quantum migration is evidenced.
The lack of enforcement is appropriate given that PQ protection is not yet available at protocol level. However, it means there is currently no mechanism to prevent or discourage creation of new quantum-vulnerable accounts, and no framework for coordinated migration when PQ becomes available.
Migration Mechanism, Governance & Ecosystem Coordination
Emergency disclosure, incident-response, or governance process for quantum-related vulnerabilities
Claim: General security programs (STRIDE, SIRN) exist but no formal quantum-specific incident-response playbook is documented.
Coverage basis: Quantum-specific incident response and governance
Implementation score: 0.25 · Evidence confidence: Low
Issue classification: assurance-only caveat · Score treatment: note-only
Assurance: STRIDE (Solana Trust, Resilience and Infrastructure for DeFi Enterprises) and SIRN (Solana Incident Response Network) exist as general security programs. The Anza blog discusses quantum-specific threat assessment and emergency migration paths (network halt, Ed25519 disable, Falcon enable, ZK seed-proof migration) but this is a conceptual design, not a formal playbook with defined roles, triggers, and procedures.
Per QRI v3.1 Note-Only Caveat Rule: the absence of a formal quantum-specific IR playbook is treated as an assurance-only caveat. The underlying migration design (SHA-512 seed + ZK proof) provides a credible technical recovery path. The lack of formal process documentation does not itself create a quantum-vulnerable path.
Algorithm & Implementation Assurance
Uses NIST-standardized, standards-track, or broadly reviewed PQC algorithms appropriate to the use case
Claim: Falcon-512 (FN-DSA) is the leading candidate — a NIST draft standard (FIPS 206). Winternitz OTS is a well-known hash-based construction. Dilithium and SPHINCS+ are also under consideration.
Coverage basis: Algorithm selection for planned PQ migration
Implementation score: 0.5 · Evidence confidence: Medium
Issue classification: none · Score treatment: not applicable
Assurance: Falcon-512 is a NIST draft standard (FIPS 206), not yet finalized. Winternitz OTS is a well-understood hash-based construction but not NIST-standardized. The project explicitly considers alternatives (Dilithium, SPHINCS+, SQIsign) and acknowledges the evolving PQC landscape. However, no algorithm is in production use at protocol level — all remain at prototype/research stage.
Falcon-512's compact signatures (~666 bytes) and fast verification (~5μs) make it well-suited for Solana's bandwidth-sensitive architecture. The SIMD-0461 discussion includes a thoughtful comparison of Falcon vs. Dilithium vs. SPHINCS+ tradeoffs. Score of 0.50 reflects prototype implementation status.
Algorithm & Implementation Assurance
Independent cryptographic and implementation audit exists for the quantum-critical scope
Claim: No independent cryptographic audit of Falcon implementation, Winternitz Vault, or any quantum-critical component exists.
Coverage basis: Independent audit of PQ implementations
Implementation score: 0 · Evidence confidence: High
Issue classification: assurance-only caveat · Score treatment: score-reducing
Assurance: The Code4rena audit (Aug-Sep 2025) covered Token22 confidential transfers only — scope-mismatched for quantum-critical assessment. The Winternitz Vault README contains a candid disclaimer from its author questioning their own cryptographic expertise. Falcon implementations are draft PRs not yet ready for audit. Per QRI v3.1: audit absence reduces Implementation Score for algorithm assurance because the PQ implementation cannot be verified as cryptographically sound.
This is scored as 0.00 because no audit exists for any quantum-critical implementation. The score treatment is 'score-reducing' within the Algorithm & Implementation Assurance category (affects the category score), not a Readiness & Risk Cap. The lack of audit is most concerning for the Winternitz Vault, which is live on mainnet protecting real (though minimal) user funds.
Algorithm & Implementation Assurance
Open-source, reproducible implementation
Claim: All PQ work is open source: Falcon PRs (Anza, Firedancer), Winternitz Vault (MIT), Winterwallet SDK.
Coverage basis: Source code availability and reproducibility
Implementation score: 1 · Evidence confidence: High
Issue classification: none · Score treatment: not applicable
Assurance: All PQ codebases are publicly accessible with permissive licenses (MIT, Apache 2.0). Falcon implementations use liboqs. Winternitz Vault and Winterwallet are fully open source. Code can be independently reviewed and reproduced.
Open-source availability is a strength. The Winternitz Vault is MIT-licensed and the Winterwallet SDK is published on crates.io. Falcon PRs reference the standard liboqs library. Project Eleven's testnet deployment provides additional reproducibility evidence.
Algorithm & Implementation Assurance
Parameter agility and future upgrade path
Claim: Anza blog explicitly discusses the evolving PQC landscape and migration design allows algorithm changes. SIMD proposals are modular.
Coverage basis: Documented algorithm agility and upgrade planning
Implementation score: 1 · Evidence confidence: Medium
Issue classification: none · Score treatment: not applicable
Assurance: The Anza blog explicitly discusses SQIsign as a future possibility with smaller signatures than Falcon, and notes 'the post-quantum cryptography landscape is still evolving rapidly.' SIMD proposals are designed as modular components (separate SIMDs for transaction size, Falcon syscall, consensus changes). The SHA-512 seed migration path is algorithm-agnostic.
Parameter agility is well-considered. The migration design binds a PQ public key to an existing Ed25519 address via seed proof, allowing the PQ algorithm to change without requiring re-migration. The SIMD process provides a governance mechanism for algorithm selection and activation.
Algorithm & Implementation Assurance
Stateful-signature safety, side-channel, fault-injection, and custody implementation risks
Claim: Winternitz Vault handles one-time signature constraint automatically. Falcon implementation considerations documented. No formal side-channel analysis or HSM integration.
Coverage basis: Implementation safety for stateful and side-channel considerations
Implementation score: 0.25 · Evidence confidence: Low
Issue classification: assurance-only caveat · Score treatment: note-only
Assurance: The Winternitz Vault handles WOTS one-time constraint by closing and opening new vaults with each spend. The Winterwallet SDK includes position-advancement enforcement. The vault README warns about reuse risks. However, no formal side-channel analysis exists for the Falcon or Winternitz implementations. No HSM or hardware-wallet integration exists for any PQ scheme. Falcon's floating-point implementation raises unique side-channel concerns not addressed in current documentation.
Stateful-signature safety is handled at the application level for Winternitz. Falcon does not have stateful-signature concerns (unlike XMSS/LMS). However, Falcon's floating-point implementation presents side-channel risks (timing, power analysis) that are acknowledged in the academic literature but not addressed in Solana's implementation documentation. This is scored as a note-only caveat because the current production scope has no PQ spend authorization — these risks would become material only when PQ signatures are in production use.
Algorithm & Implementation Assurance
Performance and resource-impact analysis
Claim: Preliminary performance analysis exists for Falcon signature sizes, verification costs, and transaction size requirements.
Coverage basis: Performance analysis of PQ algorithms in Solana context
Implementation score: 0.5 · Evidence confidence: Medium
Issue classification: operational/product caveat · Score treatment: note-only
Assurance: Falcon-512 signature size (~666 bytes), public key size (~897 bytes), and verification time (~5μs) are documented in SIMD-0461. Transaction size increase to 4096 bytes (SIMD-0296) is designed explicitly to accommodate PQ signatures. The migration proof prototype (~400kB, 55ms) provides performance data. However, no formal benchmarking of PQ signature verification in Solana's validator pipeline, block validation impact, gas/fee market effects, or archival storage growth analysis exists.
Performance analysis is adequate for the current prototype stage but insufficient for production deployment decisions. Key open questions include: impact of Falcon verification on block validation time at scale, fee market effects of larger signatures, archival storage growth from larger transactions, and validator hardware requirements for PQ signature verification throughput.
Report metadata