概要
SIPO DRepレビュー支援用の日本語作業訳です。正式な内容はHydra Voting上の英語原文を参照してください。
MLabsは、Cardano scripts/dAppsが将来の量子計算機に備えられるよう、post-quantum signature verificationをPlutus/Core smart contract layerで利用可能にする提案です。NIST標準化済みのML-DSA、SLH-DSA、Falcon等をCardanoの制約に照らして比較し、推奨方式の研究報告、CIP作成、cardano-baseとPlutus Coreへのbuiltin実装、Plinth/Plutarch/Aiken wrapper、post-quantum smart contract walletのPoCまでを届ける計画です。SIPOとしては、量子耐性はCardanoの長期インフラ成熟に重要であり、MLabsのPlutus primitive実装実績も評価します。一方で、signature sizeとPlutus execution budgetの適合性、CIP/PR受け入れ依存、M1でのgo/no-go gate、MLabs横断リソース、予算内訳整合性、ADA価格上昇時の精算を確認する必要があります。
英語原文を表示
The cryptographic signatures Cardano scripts and dApps rely on today — Ed25519, ECDSA, and Schnorr — will all become breakable when sufficiently capable quantum computers arrive. The migration timeline isn't urgent yet, but it is finite, and "harvest now, decrypt later" is already a real concern for long-lived assets and high-value scripts. NIST has standardized the first generation of post-quantum signature schemes (ML-DSA, SLH-DSA, Falcon). Multiple chains — Algorand among them — already support post-quantum signatures natively. Cardano scripts cannot currently use any of them. This proposal closes that gap. We will, conditionally on approval from the relevant projects: 1. **Research and compare** the available post-quantum signature schemes against Cardano's specific constraints, and publish a public report recommending one for implementation along with the reasoning and alternatives considered. 2. **Author and shepherd a CIP** describing a UPLC builtin for verifying signatures from the recommended scheme. 3. **Implement the scheme** in cardano-base and the corresponding builtin in Plutus Core. 4. **Provide language wrappers** in Plinth, Plutarch, and Aiken so the new capability is immediately usable from Cardano's three main smart contract languages. 5. **Build a proof-of-concept smart contract wallet** using post-quantum signatures, demonstrating the new capability end-to-end. This proposal addresses **CPS-0027 ("Approaches to Post-Quantum Signatures")** — a current Cardano Problem Statement , **authored by an MLabs Tech Lead.** No other team is positioned to deliver this work: MLabs is the only organization outside IOG to have implemented and shipped Plutus Core primitive operations (secp256k1/ECDSA and bit-level manipulation) to mainnet.