LIVE ADA-- MCAP-- TVL-- STAKE-- EPOCH-- Cardano & Midnight 総合情報ポータル
SIPO
𝕏 🔍
速報 Cardano、ボード選挙投票開始やLeios性能向上など複数の進展を報告 3時間前 速報一覧 →
HOME › Daily Intel › 📋 Daily Intel 9/5｜「信じるな、確かめろ」が財団の口から出ました｜監査意見がオンチェーンに固定され、Hydra の仕様が Agda で形式化、開発者カリキュラムが MIT ライセンスで無償公開
Daily Intel

📋 Daily Intel 9/5｜「信じるな、確かめろ」が財団の口から出ました｜監査意見がオンチェーンに固定され、Hydra の仕様が Agda で形式化、開発者カリキュラムが MIT ライセンスで無償公開

2026-09-05SIPO

🎯 今日の主役

カルダノ財団が9月4日、監査意見の置き場所について投稿しました。「監査意見はふつう、誰かのサーバーにある PDF のなかで暮らしています」。そのうえで、1月にグラント・ソントン・スイスが同財団の2025年の財務諸表への意見をカルダノ上に署名し、公開ブロックチェーンに証明として置いた、誰でも確かめられる状態になっている、と述べています。仕組みとして使われているのが Reeve というオープンソースの報告基盤で、データそのものは外に出さず、データの指紋にあたる値だけをオンチェーンに固定します。投稿の締めくくりは、この一言でした。「信じるな、確かめろ」。

これが今日の主役になるのは、単発の自慢話だからではありません。同じ24時間に、同じ方向を向いた材料が三つ並んだからです。ひとつは Input Output の週次開発報告で、Hydra の仕様が Agda で形式化されたと伝えられました。仕様が人間の読む文章から機械が検証できる形へ移る、という話です。ふたつめはカルダノ公式のダイジェストで、憲法改正ポータルのアルファ版が稼働し、Intersect の理事会選挙の投票がまもなく開かれ、Ledger v8 に向けて SPO 向けの新しいスクリプトが配られたと報じられました。手続きが公開の場に出てくる形です。みっつめは開発者カリキュラムで、基礎・スマートコントラクト・dApp・セキュリティ・スケーリングを扱う教材が、オープンソース・MIT ライセンス・無償で公開されました。

監査・仕様・統治手続き・教材。性質のまるで違う四つが、同じ日に「第三者が自分で確かめられる形」へ寄っています。カルダノが長く形式検証にこだわってきたことを知っている方には、これは一貫した動きに見えるはずです。48-72時間で見たいのは、確かめられる形にしたあとで、実際に誰かが確かめるかどうかです。仕組みを用意することと、それが使われることのあいだには、いつも距離があります。

🧭 今日の焦点 3 件

プロトコルとノード運用

Intersect が Upgrade Bulletin 32 を公開しました。注目すべきノードのリリース、ノード多様性ワークショップの開催予定としてシンガポールとロンドン、そして DijkstraNet を MusashiNet と並走させることが挙げられています。Input Output の週次開発報告では、Cardano node v11.1.0 のベンチマークが実施され、パッチリリースが進行中であること、IO Research がデータ可用性のワークショップを開いたことが伝えられました。テストネットを二本並べて走らせるのは、次の変更を本番に持ち込む前の負荷を分散させる作りです。

ガバナンスの日程

憲法委員会の7議席のうち4議席は、エポック653の終わりにあたる協定世界時9月6日21時44分（日本時間では9月7日6時44分）で任期を迎えます。新しい顔ぶれはすでに投票で決まっており、あとは境界を越えるだけです。これと並行して、Intersect の理事会選挙の投票開始が近づき、憲法改正ポータルのアルファ版も動き始めました。決める場と、決めたことを条文へ反映する場が、それぞれ別に用意されつつあります。

DeFi と Midnight

SundaeSwap が、プールを枯らさずに 1 対 1 のステーブルスワップを成り立たせる方法として、新しいバウンティ方式を紹介する配信を行いました。ステーブル同士の交換は理屈のうえでは等価でも、片側だけが引き出されると流動性が偏ります。そこをどう設計で吸収するかという話です。Midnight 側では、同ネットワーク上の Ascend Market でビットコイン・ADA・金の無期限先物が取引できるようになっていることが日本語で紹介されました。プライバシー基盤の上に、値付けの場ができ始めています。

📊 数値スナップショット

ADA $0.220655 +11.71%｜NIGHT $0.02180835 +12.17%（9月4日時点・24時間変化）
背景クロスマーケット: BTC $81,162 +5.40%｜ETH $2,496.38 +4.94%｜SOL $104.65 +5.47%｜XRP $1.45 +8.00%
Epoch: 653 進行中
憲法委員会: 7議席のうち4議席がエポック653の終わり（協定世界時9月6日21時44分／日本時間9月7日6時44分）で任期満了
Reeve: データそのものは外に出さず、データの指紋にあたる値だけをオンチェーンへ固定する方式。グラント・ソントン・スイスが1月に2025年財務諸表への意見をカルダノ上へ署名
Upgrade Bulletin 32: 注目ノードリリース／ノード多様性ワークショップ シンガポール・ロンドン／DijkstraNet を MusashiNet と並走
開発者カリキュラム: 基礎・スマートコントラクト・dApp・セキュリティ・スケーリングの5領域／オープンソース／MIT ライセンス／無償
Ascend Market（Midnight 上）: ビットコイン・ADA・金の無期限先物
Regime（カルダノ エコシステム）: 監査・仕様・統治手続き・教材が、同じ日にそろって「確かめられる形」へ寄りました

⚡ 先行指標 Watch（48-72h）

  1. 憲法委員会の交代が実際に境界を越えるところ。任期満了は協定世界時9月6日21時44分です。新しい委員会が着席したあと、最初に扱う議題で何を承認し何を差し戻すかが、この仕組みが動いていることの実地の確認になります。
  2. Intersect 理事会選挙の投票開始。開始の告知は出ていますが、投票の窓が開いたあとの参加率が本番です。憲法委員会の投票でも、反対で割れるより投票しない側の厚みのほうが目立ちました。同じ形が繰り返されるかを見ます。
  3. DijkstraNet と MusashiNet の並走。テストネットを二本走らせる期間は、変更の切り分けがしやすくなる一方で、SPO 側の手間は増えます。ノード多様性ワークショップがシンガポールとロンドンで予定されているのと合わせて、実際に何種類のノード実装が並ぶかを見ます。
  4. Reeve が財団以外で使われるかどうか。オープンソースで公開されている以上、他の組織が同じやり方で監査意見を固定できます。エコシステム内の別団体が最初に追随するか、それとも外部の企業が先かで、この仕組みの性格が変わります。
  5. Midnight の周辺で値付けの場が増えるか。Ascend Market の無期限先物に続いて別の市場が立つかどうかが、プライバシー基盤が実需を集めているかの目安になります。9月の開発者コホートの募集が締め切りを迎えることも合わせて見ます。

🔄 48-72h 分岐（観察軸）

  • Base: 憲法委員会が予定どおり交代し、Intersect の理事会選挙が投票の窓を開きます。ノード側は v11.1.0 のパッチリリースが進み、DijkstraNet と MusashiNet の並走が始まります。ADA と NIGHT は昨日の上げ幅を保ったまま落ち着きます。
  • Risk: 理事会選挙の参加率が憲法委員会のときより低く出ます。その場合、決める仕組みが整うほど参加が薄くなるという形になり、論点は制度設計から動員へ移ります。見分け方は、投票期間の後半で伸びるか最後まで伸びないかです。
  • Alt: Reeve に外部からの追随が出ます。監査の証明をオンチェーンに置く例がカルダノ以外の文脈で現れた場合、話は「カルダノの取り組み」から「監査業界の作法」へ広がります。そのときは追随した側がどのチェーンを選ぶかが見どころになります。

📎 直近24時間の動き

重要な動き

  • カルダノ財団が、監査意見はふつう誰かのサーバーの PDF のなかにあるとしたうえで、1月にグラント・ソントン・スイスが同財団の2025年財務諸表への意見をカルダノ上へ署名し、誰でも確かめられる状態にしたと投稿しました。
    https://x.com/Cardano_CF/status/2095961732460233133
  • 同財団は、その仕組みがオープンソースの報告基盤 Reeve であり、データそのものは外に出さず指紋にあたる値だけをオンチェーンに固定すると説明し、「信じるな、確かめろ」と述べました。
    https://x.com/Cardano_CF/status/2095961734905565660
  • Input Output の週次開発報告で、Hydra の仕様が Agda で形式化され、Cardano node v11.1.0 のベンチマークが実施されてパッチリリースが進行中であり、IO Research がデータ可用性のワークショップを開いたと伝えられました。
    https://x.com/IOGroup/status/2095809421184012547
  • カルダノ公式のダイジェストで、Intersect の理事会選挙の投票がまもなく開かれること、憲法改正ポータルのアルファ版が稼働したこと、Ledger v8 に向けて SPO 向けの新しいスクリプトが配られたことが伝えられました。
    https://x.com/Cardano/status/2095936705429688628
  • Intersect が Upgrade Bulletin 32 を公開し、注目すべきノードのリリース、シンガポールとロンドンでのノード多様性ワークショップの予定、DijkstraNet を MusashiNet と並走させることを挙げました。
    https://x.com/IntersectMBO/status/2095828428008092091
  • カルダノ公式が、基礎・スマートコントラクト・dApp・セキュリティ・スケーリングを扱う開発者カリキュラムを、オープンソース・MIT ライセンス・無償で公開したと発表しました。
    https://x.com/Cardano/status/2095914559013867754
  • SundaeSwap が、プールを枯らさずに 1 対 1 のステーブルスワップを成り立たせる新しいバウンティ方式を紹介する配信を開始しました。
    https://x.com/SundaeSwap/status/2095921901885382888
  • Midnight 日本語アカウントが、同ネットワーク上の Ascend Market でビットコイン・ADA・金の無期限先物が取引できるようになっていることを紹介しました。
    https://x.com/midnight_jpn/status/2095881482606911581

その他の動き

継続確認

  • 監査意見の署名時期について、財団の投稿は「1月」としています。監査報告書そのものの日付と、オンチェーンに記録された取引の日時は、財団の報告ページと該当トランザクションで突き合わせたうえで扱います。
  • Hydra の Agda 形式化は週次開発報告の要約を入口にしています。形式化の範囲がプロトコル全体か一部の層かは、リポジトリと仕様文書を確認したうえで書きます。
  • カルダノ公式ダイジェストの項目のうち、本稿で扱ったのは投稿内で内容が読み取れたものに限っています。残りの項目はダイジェスト本体を確認してから扱います。

一次ソース

関連記事

Daily Intel
📋 Daily Intel 9/4｜憲法委員会の入れ替えが、投票だけで通りました｜DRep 71.95%・SPO 56.54% で可決、Midnight に無期限先物が稼働、ADA は主要25銘柄で24時間の上昇率首位
Daily Intel
📋 Daily Intel 9/3｜決める週が終わり、見る道具と作る道具が並びました｜財務引き出しが全エポック分プロットされ、データ可用性の技術ワークショップが本日、Midnight の日本語ハンズオンが9月24日です
Daily Intel
📋 Daily Intel 9/2｜期限の11分前に、SPO 側も基準を超えました｜Chang ハードフォークから2年の日に憲法委員会の更新が両院で通り、Daedalus 11.3.0 が委任先を選ぶ画面を持ってきました