🎯 今日の主役
Cardano の公式アカウントが、台帳の規則についての説明を出しました。規則は数学的に記述され、機械によって検査され、主要な性質は形式的に検証されている。そこには価値の保存、つまり取引の前後で総量が勝手に増減しないことも含まれる、という内容です。毎日数十億ドル分が動く場所で、なぜそれが重要なのかを開発者の Dave 氏が語る、という形で公開されました。
同じ24時間に、隣で似た形の話が二つ並んでいます。ひとつは Midnight 公式の「『AIが決定した』はセキュリティモデルであるべきではない」という一言です。もうひとつは IOG が示した Policy Vaults の構想で、AIエージェントに事前のリスク上限を持たせ、執行の前にそれを強制したうえで、戦略そのものを見せずにゼロ知識証明で準拠を示す、という設計です。Midnight 側も「自律は無制限ではない。AIにはパラメータが必要だ」と書いています。
三つとも、扱っているのは同じ問いです。動かす前に、正しさを機械が確かめられる形にしておけるか。台帳では価値の保存が、取引ボットではリスク上限が、その「確かめられる形」にあたります。人間が後から監査するのではなく、実行の手前に検査を置く発想が共通しています。
ちょうど同じ日、Cardano の外側でも同じ道具が使われました。OpenAI が公表したナビエ・ストークス方程式に関する証明は、Lean という証明支援系で形式検証されたとされています。数学の証明を機械が1行ずつ確かめる技術と、台帳の規則を機械が確かめる技術は、同じ系譜のものです。48〜72時間で見ておきたいのは、この「形式検証」という言葉が、Cardano の広報の語彙から、実際の監査報告や導入判断の材料へ移っていくかどうかです。技術の話が調達の話に変わるとき、言葉は同じでも重みが変わります。
🧭 今日の焦点 3 件
貸出の実装と投票
Liqwid が V3 の進捗を公開しました。利用者の操作が、既存の非同期の注文フローと並んで原子的に実行できるようになったこと、プールの UTxO を分割して ADA ヴォールトの複数SPOへの委任に対応できること、最初の供給注文が通ったことが挙げられています。あわせて、LIP-196「短期の無担保ローンを使ったDAO清算」を含む提案群の投票期間が、告知の時点でおよそ11時間55分後に始まると案内されました。実装の話と、その実装をどう使うかの投票が、同じ日に並んでいます。
DEX の締め切り
SundaeSwap が「残り36時間」として、SteelSwap の統合、パフォーマンス改善、モバイルでのレイアウト改善、対応会場の追加、マーカーの永続化などをまとめて告知しました。Indigo は、PSM を通じて230万ドル超が処理され、オーダーブック経由で40万ADA相当が処理されたと公表しています。スリッページなしの実利用としています。派手な発表ではありませんが、板と経路が増える種類の更新です。
理事の選び方
Intersect が、コミュニティ選出の理事について基準を更新した背景を説明しました。コミュニティ選出の理事は従来型の任命や面接の過程を通らないため、そこをどう担保するかが課題になる、という趣旨です。コミュニティダイジェストによれば、2議席の投票期間は9月14日から25日、結果の公表は9月28日が予定されています。委員会の入れ替わりが終わった直後に、次は理事会の番が来ます。
📊 数値スナップショット
ADA $0.219571 -0.46%／NIGHT $0.02300994 -2.35%（9月8日時点・24時間変化）
背景クロスマーケット: BTC $79,137 -0.83%／ETH $2,488.53 -0.37%（同）
Epoch: 654 進行中（9月7日 6時44分に開始）
Indigo: PSM 経由 230万ドル超、オーダーブック経由 40万ADA相当（9月8日付の公表値）
Intersect 理事選: 2議席、投票 9月14日〜25日、結果 9月28日（コミュニティダイジェスト）
Regime（Cardano エコシステム）: ADA と NIGHT はともに小幅安。値動きより、検証と実装の側の更新が続く一日です。
⚡ 先行指標 Watch（48-72h）
- 形式検証の話がどこへ接続するか。広報の語彙にとどまるのか、監査報告や機関投資家向けの説明資料に出てくるのかで、意味が変わります。出てくるなら、それは技術の話ではなく調達の話になっています。
- Policy Vaults が構想から仕様へ動くか。IOG と Midnight の両方が同じ週に同じ言葉を使っています。ドキュメントや開発者向けの記述が出るかどうかが最初の確認点です。
- Liqwid の LIP-196 の投票結果。短期の無担保ローンを清算に使う設計は、うまく機能すれば清算の摩擦を減らしますが、その分だけ前提が増えます。可決の有無と投票率の両方を見ます。
- SundaeSwap の締め切り後の状態。36時間という区切りが実際に何を確定させたのか、統合後の対応会場の数と板の厚みで確認できます。
- Intersect 理事選の応募と投票率。9月14日に投票が始まります。憲法委員会の入れ替えでは、委任された投票力の多くが既定の選択肢の上に置かれたままでした。理事選で同じ形が出るかどうかが、ガバナンスの参加度を測る次の目盛りになります。
🔄 48-72h 分岐（観察軸）
- 分岐A（基準）: 形式検証の説明は広報の枠内にとどまり、話題の中心は Liqwid の投票と SundaeSwap の統合に戻ります。ADA と NIGHT はレンジ内で、Epoch 654 は大きな出来事なく進みます。
- 分岐B（リスク）: 貸出側の投票が割れます。無担保ローンを清算に使う設計は、平時には効率的でも、価格が速く動く局面では前提が崩れやすい種類のものです。この場合、議論は数値ではなく設計の前提のほうへ移ります。
- 分岐C（別軸）: AIエージェントとプライバシーの話が主役を奪います。Policy Vaults が仕様として出てくれば、Midnight の位置づけは「プライバシーのチェーン」から「機械の行動に制限をかける層」へ移ります。この場合、Cardano 側のスケーリングよりも、何を検証してから動かすかの設計が前面に出ます。
📎 直近24時間の動き
■ 重要な動き
- Cardano の公式アカウントが、台帳の規則は数学的に記述され、機械検査され、価値の保存を含む主要な性質が形式的に検証されていると説明しました。
https://x.com/Cardano/status/2097360590037500385 - Midnight 公式が「『AIが決定した』はセキュリティモデルであるべきではない」と投稿しました。
https://x.com/MidnightNtwrk/status/2097332173711835512 - IOG が、AIエージェントに事前のリスク上限を持たせ、執行の前に強制したうえで戦略を見せずに準拠をゼロ知識証明で示す Policy Vaults の構想を示しました。
https://x.com/IOGroup/status/2097310330535702639 - Midnight が、自律と統制のどちらかを選ぶ必要はないとして、Policy Vaults による同じ設計を説明しました。
https://x.com/MidnightNtwrk/status/2097297406630969562 - Liqwid が V3 の進捗を公開しました。利用者の操作が非同期の注文フローと並んで原子的に実行でき、プールの UTxO を分割して ADA ヴォールトの複数SPO委任に対応でき、最初の供給注文が通ったとしています。
https://x.com/liqwidfinance/status/2097373710210539797 - Liqwid が、LIP-196「短期の無担保ローンを使ったDAO清算」を含む提案群の投票期間が、告知からおよそ11時間55分後に始まると案内しました。
https://x.com/liqwidfinance/status/2097378457093107895 - SundaeSwap が「残り36時間」として、SteelSwap の統合、パフォーマンス改善、モバイルのレイアウト改善、対応会場の追加、マーカーの永続化を告知しました。
https://x.com/SundaeSwap/status/2097340104293396808 - Indigo が、PSM を通じて230万ドル超、オーダーブック経由で40万ADA相当が処理されたと公表しました。
https://x.com/Indigo_protocol/status/2097375809962906099 - Intersect が、コミュニティ選出の理事は従来型の任命や面接の過程を通らないため基準を更新したと説明しました。
https://x.com/IntersectMBO/status/2097345902574780718
▫ その他の動き
- Midnight 公式が「自律は無制限ではない。AIにはパラメータが必要だ」と投稿しました。
https://x.com/MidnightNtwrk/status/2097334242019536907 - Midnight 公式が、AI取引ボットが24時間365日、複数の取引所をまたいでミリ秒単位で執行し、人が介在しないまま戦略を変えられるようになっている、と問題設定を示しました。
https://x.com/MidnightNtwrk/status/2097272673688506442 - Cardano Foundation が8月の総括を出しました。ペトロブラスがリオで受け入れ、Injective の IBC ブリッジが監査を通過し、ブラジルオリンピック委員会の職員160名が研修を受け、Reeve 1.7 が出荷されたとしています。
https://x.com/Cardano_CF/status/2097304120533115085 - ホスキンソン氏が、自分が去ったあとの Cardano がどう進むのかを段階を追って説明してほしい、いま自分が何を制御しているのかも明確にしてほしい、と投げかけました。
https://x.com/IOHK_Charles/status/2097338221269270776 - ホスキンソン氏はまた、ログが自分だけのもので、同意と直接の関与なしには共有されないプライベートなAIがあればいい、とも書いています。
https://x.com/IOHK_Charles/status/2097325038076903459
🗂 継続確認
- Cardano の形式検証についての説明は、公式アカウントの投稿と動画の告知を確認した段階です。どの性質がどの証明系でどこまで検証されているかの一覧は確認していません。
- Policy Vaults は IOG と Midnight の投稿で「できるだろう」という条件付きの書き方がされています。仕様書や実装の公開は確認していません。
- Liqwid の投票開始時刻は、告知投稿の相対表現（およそ11時間55分後）に基づきます。提案本文と投票要件の詳細は確認していません。
- Intersect 理事選の日程は、9月2日付のコミュニティダイジェストの記載に基づきます。
一次ソース / 関連リンク
- Cardano コミュニティダイジェスト（9月2日・理事選の日程）
https://cardano.org/news/2026-09-02-community-digest/ - Midnight 公式ブログ Privacy-enhancing oversight and the future of institutional trading with Midnight
https://midnight.network/blog/privacy-enhancing-oversight-and-the-future-of-institutional-trading - Midnight が機関投資家の取引監督に踏み込みました（9月8日 SIPO.TOKYO）
https://sipo.tokyo/signal-20260908-ded55752/ - Midnight公式が「AIが決定した」をセキュリティモデルとすべきではないと指摘（9月8日 SIPO.TOKYO）
https://sipo.tokyo/breaking-x-2097332173711835512/