概要
SIPO DRepレビュー支援用の日本語作業訳です。正式な内容はHydra Voting上の英語原文を参照してください。
Eryxは、Cardano L1上のゼロ知識証明基盤を強化するため、AikenによるSnarkJS/Circom向けPLONK verifier、RISC Zero zkVMのCardano適応、Aiken ZK libraryの拡張、Semaphore V4のCardano実装を提案しています。ZK Bridge、Aiken ZK、Proof of Innocence、ZK Loginなどの実績を持つチームであり、Cardanoのprivacy-preserving apps、verifiable off-chain computation、governance privacy、ZK-based DeFi、cross-chain identityの基盤になり得る点はSIPOドクトリン上、戦略性と公共インフラ性が高いと評価できます。一方で、3,489,366 ADAの大型提案であり、RISC Zero adaptationやSemaphore migrationの技術リスク、既存PLONK/Groth16/Aiken BLS12-381実装との差分、MLabs assuranceの独立性、Midnightや他ZK提案との重複回避、developer adoption KPI、未使用資金・scope reduction時のTreasury返還を確認する必要があります。
英語原文を表示
Over the last years, zero-knowledge technology has grown to solve many challenges in scalability, decentralization, and privacy. It is the core of fourth-generation blockchains. In Cardano, we currently lack variety and accessibility of on-chain proof verification tools for most modern ZK systems. Competing ecosystems are investing a lot of resources into ZK and privacy infrastructure. Ethereum has already built a solid ZK infrastructure layer that developers rely on to build private and scalable dApps. Cardano, despite strong demand, motivation and innovation, sees its ZK initiatives limited by the lack of a common stack. We aim to make ZK accessible for developers and end users alike. While Midnight is a big step forward, building ZK infrastructure on the L1 strengthens its own ZK capabilities and enhances interoperability with Midnight. This proposal tackles these issues by delivering concrete ZK framework solutions for Cardano, bringing ZK and privacy infrastructure directly to the L1. Contributions: 1. A PLONK verifier in Aiken, as an alternative verifier for Circom/SnarkJS proofs. 2. An adaptation of the RISC Zero zkVM to integrate its general-purpose verifiable computation with Cardano. 3. An extension of our ZK library in Aiken to improve robustness, usability and AI compatibility. 4. An implementation of the Semaphore protocol for anonymous on-chain group signaling. They will be open-source, and done by Eryx, a 15-year-old company experienced in both Cardano and ZK. Although this initiative delivers infrastructure rather than a product, the ultimate beneficiary is the regular Cardano user. It expands what is possible to build on Cardano. Computations only being verified on-chain lowers fees and speeds up interactions. ZK lets users prove eligibility, membership, or compliance without exposing sensitive information. Applications already competitive on other chains, including private voting, ZK-based DeFi, and cross-chain identity, become viable here.