概要
SIPO DRepレビュー支援用の日本語作業訳です。正式な内容はHydra Voting上の英語原文を参照してください。
MLabsは、CIP-113型のProgrammable Tokensに対し、TFHE（Fully Homomorphic Encryption）を用いた暗号化残高・暗号化送金の機能を追加するため、clean-room Haskell TFHE library、CIP、Plutus Core primitivesを開発する提案です。狙いは、機関決済、規制対応stablecoin、payroll、RWAなど、公開残高が採用障壁となるユースケースにCardanoを対応させることです。SIPOとしては、実利用・事業創出・公共インフラ性の観点で戦略的価値を認めます。一方で、TFHEの計算コストがPlutusの実行時間・execution unitsに収まるか、早期feasibility gateと中止条件があるか、Zama特許制約を回避するclean-room methodology、CIP/Plutus PR不採択時の扱い、Eryx auditの暗号実装・特許/clean-room・costing検証範囲、MLabs複数提案の同時実行能力、ADA価格上昇・scope reduction時のTreasury返還条件を確認する必要があります。
英語原文を表示
CIP-113 — the Programmable Tokens standard launched by the Cardano Foundation in March 2026 — gives Cardano a foundation for token-like assets with on-chain compliance and transfer logic. It does not, however, address privacy: balances and transfer amounts are public, just like ERC-20 on Ethereum. For institutional settlement, regulated stablecoins, payroll, and tokenized real-world assets, public balances are a deal-breaker. Ethereum addressed this with ERC-7984: a confidential token standard where balances and transfers stay encrypted while smart contracts continue to operate on them. The cryptographic technology that enables this — Fully Homomorphic Encryption, specifically the TFHE variant — is also actively used on Solana, Ethereum, and other chains. On both Solana and Ethereum, TFHE is enabled by the highly-optimized tfhe-rs library, implemented by Zama. Cardano cannot use Zama's TFHE library directly because it is patent-restricted to non-commercial use. The original Apache 2.0 reference TFHE library is patent-clean but not production-grade. We will bridge that gap by: 1. **Building a clean-room Haskell TFHE library** modeled on the Apache 2.0 reference — patent-clean, production-quality, published openly on Hackage. 2. **Submitting a CIP** extending CIP-113 with the encryption primitives needed to support ERC-7984-style confidential token capabilities on Cardano. 3. **Implementing those primitives into Plutus Core** so Cardano scripts can use them natively. The result: Cardano joins the small set of chains capable of confidential on-chain finance, with capabilities matching ERC-7984, on a fully open and patent-unencumbered foundation. The work is delivered by the same team that previously shipped Plutus Core primitive operations (secp256k1/ECDSA and bit-level manipulation) — currently the only organization outside IOG to have done so.