概要
SIPO DRepレビュー支援用の日本語作業訳です。正式な内容はHydra Voting上の英語原文を参照してください。
MLabsは、CIP-138で導入されたarray supportをPlinth、Plutarch、Aikenの3言語で揃え、さらにArrayBuilder primitiveを含む新CIPとPlutus Core実装、各言語での最適化とベンチマークレポートを行う提案です。予算は1,401,361 ADAで、5 milestones、2,409 engineering hours、NoWitnessLabs milestone auditsを含みます。SIPOとしては、配列はスマートコントラクト性能と開発者体験の基本要素であり、Plutus Core、Plinth、Plutarch、Aikenに横断的に貢献する公共インフラ性を評価します。一方で、新CIPとPlutus Core PR、Aiken/Plinth/Plutarch各PRが受け入れられない場合の扱い、性能改善のbaselineと定量目標、実アプリでの利用ケース、Aiken team等の協力・review capacity、NoWitnessLabs auditの実質範囲、MLabs複数提案の同時実行能力、Treasury repayment Noに対するADA価格上昇・scope縮小・未使用資金保護を確認する必要があります。
英語原文を表示
Arrays are one of the most fundamental data structures in computing — used everywhere developers care about performance, from financial calculations to graphics to data processing. Until recently, Cardano had no array support at all. The support that exists today (added through CIP-138) is a foundation, but it is uneven across Cardano's smart contract languages: Plutarch has the most developed array tooling, while Plinth and Aiken lag behind. None of the three benefit from the decades of research into how to make array computations actually fast in functional languages. This proposal closes that gap. We will: - Bring Plinth and Aiken up to parity with Plutarch for CIP-138 array support, so developers in any of Cardano's three smart contract languages have access to the same baseline. - Propose and implement a new CIP introducing array primitives to Plutus Core that unlock significantly better optimization techniques for all three languages. - Apply state-of-the-art functional optimization techniques across all three languages — using a comparative approach that lets each language benefit from what works in the others. - Document the techniques and their measured impact so the Cardano developer community can build on this work. The result: Cardano script and dApp developers get array performance comparable to what other chains offer, in any of the three languages they already use, with documentation explaining how to use it well. This makes Cardano materially easier to develop on, easier to learn, and easier to migrate to from other ecosystems. The work is fully open-source under MIT, contributes directly to Plutus Core, Plinth, Plutarch, and Aiken, and is delivered by a single MLabs team across all three languages.