概要
SIPO DRepレビュー支援用の日本語作業訳です。正式な内容はHydra Voting上の英語原文を参照してください。
No.Witness Labsの提案は、Cardano EUTxO smart contractの形式検証に特化したLean 4 + Blaster auditor training programmeを12か月で実施するものです。2つの小規模live cohorts（約8名と約10名）を実施し、8-session curriculum、recordings、exercises、reproducible Nix environment、worked-example audit artifactsをMIT licenseで公開します。予算は412,000 ADAで、Irfan Ali氏がlead instructorを務め、OSC/TSC incubation frameworkに沿った四半期レビューとレポートを予定しています。SIPOとしては、Cardano DeFi、governance tooling、Treasury-facing contractsの安全性を支える形式検証人材と公開教材を残す公共財として評価します。一方で、少人数cohortであるため、cohort selection、final-project review基準、OSC/TSCの実質的役割、第三者監査なしでの品質保証、卒業生の実務接続、受講者不足・scope reduction・ADA価格上昇時のTreasury返還を確認する必要があります。
英語原文を表示
One important off-chain risk for Cardano is unaudited or under-audited smart contracts. This proposal does not claim that Cardano lacks general audit firms; it targets the narrower gap of reusable Lean 4 + Blaster training materials and a small pipeline of engineers able to produce machine-checked EUTxO audit artifacts. The 12-month engagement runs **two small live cohorts (\~8 in Cohort 1, \~10 in Cohort 2)** in four quarterly milestones: curriculum hardening (Q1); Cohort 1 delivery + recordings published (Q2); open-source release + Cohort 2 intake (Q3); Cohort 2 + cumulative impact report (Q4). Cohort sizing is deliberately small: Lean 4 + Blaster + Cardano-EUTxO is a niche specialism. The value of the engagement is the *permanent curriculum + recordings + worked-example audit artifacts* the ecosystem retains under MIT, not the live-cohort headcount. Anchored on the team's existing formal\_verification\_lean4\_course GitHub repository, expanded to a fully reproducible programme with exercises, recordings, and worked audited contracts. All curriculum materials, exercises, and recordings are public-good open-source artifacts under MIT, governed under the same Intersect OSC/TSC incubation framework that hosts Evolution SDK. The programme is delivered by **No Witness Labs LLC** — the same entity currently delivering Catalyst Fund 14 milestone-by-milestone, with audit credentials directly relevant to teaching auditing: 320+ vulnerabilities found, $500M+ in value protected, 18 protocols secured, zero post-audit exploits.