ZK ウォレット復旧・Gnark×WASM の死闘
耐量子暗号・Orion Fund・そして「ビジョン」論

まず結論だけ

3行でいうと

誰が話していたか

主な登壇者

Cardano を中心に、他エコシステムのキーパーソンも飛び入りした豪華な回でした。

Topic 1 · 本スペースの目玉【特集】

🔐ブラウザで動く ZK「ウォレット所有証明」アプリ

Cardano で初の実用的な ZK(ゼロ知識証明)アプリ。秘密鍵を一切明かさずに、シードフレーズ(24単語)から「このウォレットは自分のものだ」と証明できます。Phil 曰く「僕が知る限り Cardano 上での ZK の初の意味ある実用例。かなり誇りに思っている」。

何をするアプリか

• 目的：秘密鍵が漏洩していても、シードフレーズ(マスター秘密鍵)から所有を証明して資金を取り戻す。
• 仕組み：「マスター秘密鍵を持っていて、それが当該クレデンシャルへ導出される」ことを示すゼロ知識証明を生成。公開鍵も署名も明かさない。
• 状態：すでに pre-prod(テストネット)で公開。資金をロックし、証明を作って請求(claim)まで、自分のPCで一連の流れを試せる。
• 波及効果：オンチェーンで Groth16 検証ができると、ブリッジ設計や再利用可能な DeFi パターンなど応用が一気に広がる ── 「これは小さな話じゃない、莫大なユースケースが開ける」(Charles)。

なぜ「鍵が漏れても」本人だけが取り戻せるのか(FAQ)

「秘密鍵が漏れたなら、シードフレーズもバレるのでは?」── 多くの人が抱く疑問。答えは No。関係は一方通行だからです。直感は“矢印の向き”が逆になっています。

シードフレーズ(24単語)   ← 根っこ＝マスター秘密鍵
      │  一方通行の変換(ハッシュ)
      ▼
  アカウント鍵
      │
      ▼
 各アドレスの署名鍵      ← 葉っぱ＝取引に署名する鍵
      │
      ▼
  公開鍵 / アドレス

性能スペック(K21 の場合)

技術スタック

Topic 1-B · あなたが一番気になっているやつ

🧩Gnark × WASM「4GBの壁」問題は解決したのか?

何が問題だったのか

1. 32GB前提の設計 vs. WASMの4GB上限。 元の証明器は 32GB のメモリに証明を書き込む設計だった。ところが WebAssembly(wasm32)は線形メモリが約4GBに制限される。K21 の proving key と MSM/FFT のワーク領域が 4GB に収まらない。
2. シャーディングを試みる。 4GB制約に合わせて Web Worker でのシャーディング構成を組んだ。しかし「いくつか問題があるのに気づいた」。
3. Gnark 本体にパッチ。 そこで Charles が Gnark(スペースでは “geosnark” と発音)に直接パッチを当て、「こう直せば解決する」という形にした。「解き方を見つけるのに少し時間がかかった ── たぶん土曜の深夜1時半くらいだった」。
4. 後で判明したオチ。 実は Gnark の GitHub には、この WASM 問題に長年みんなが苦戦している“メガスレッド”が存在していた。Charles のパッチは、その大きな取り組みが目指していたことを既に実現している高品質な解法だった ── 本人はそれを知らずに、限られた時間の中でただ解いていた。

Topic 2 · なぜこの技術が必要だったか

🏭「Second」事件、KYCの有無、そして“難しい方の道”

今回の ZK アプリは、鍵が漏洩した資金を正しい持ち主に返すために生まれました。しかし話は「ハッピーパス」と「アンハッピーパス」に分岐します。

事件の経緯

• 発端：販売元(Attain)が廃業。個人情報が漏れた/従業員が持ち出した可能性があり、償還アカウントを復元しうる at-rest の秘密が攻撃者に使われる懸念が生じた。
• 状況：マルチシグ(複数人がアクセス可能)で管理されていたため、商業的には「償還はまだ完了していない」段階。販売元→本人単独管理ウォレットへの最終段階の移転が残っていた。
• 対応：資金を「別の倉庫(新しい償還先)」へ移し、ユーザーには移動先の変更をお願いした。
• 猶予：一定期間(10年)取りに来なければ取引は無効となり返金される仕組みも用意。

ハッピーパス と アンハッピーパス

Topic 3 · よくある誤解

❄️Glacier Drop は“受動的プロセス”

Topic 4 · チェーン横断の協業

⚛️耐量子暗号 × Algorand ── Bruno 飛び入り

Algorand Foundation CTO の Bruno Martins(元 IO、2021〜22 頃まで在籍)が飛び入り。格子暗号(lattice)を軸に、エコシステムを越えた共同開発が熱く語られました。「良い IO エンジニアは Algorand へ送る ── John Woods もそうだった」という冗談も。

共同開発したい“スタック”

• 耐量子 VRF：Silvio Micali が VRF＋暗号くじ(cryptographic sortition)の originator。その耐量子版を共同で。Chris が来年初頭に論文を出すかも。
• 格子ベース folding：Dan Boneh と Microsoft Research(Srinath)の論文をベースに、IO はtensor CCS + CUDAで GPU 最適化した超高速 folding を実現しつつある。
• proof embedding(外側証明)：アウター証明を Falcon で埋め込む案。Dan Boneh は格子証明サイズがあと半分〜1/4になる余地を見ており、10〜20KB の証明も視野。
• 形式検証：Rust リファレンス実装＋ Agda / Lean のブループリントで、複数機関共同の“正典ライブラリ”に。F* で TLS を検証した Everest プロジェクトの知見を活用。
• 基盤：Linux Foundation の Nightstream で latticefold を Rust 実装済み。Stanford なども巻き込むコンソーシアム型。module SIS 等の数学問題の形式化も検討。

Topic 5 · 投資戦略

🚀Orion Fund と「3〜5社のユニコーン」

Draper 系の Orion Fund の申請がこの日締切に。Cardano の“ベンチャー構築の中心地”になり得る、という議論。Orion Fund / Comeda Labs(ベンチャースタジオ)/ Draper Dragon / Draper University が一つの宇宙を作り、約50億ドルの外部 LPの呼び込みを狙う。

Topic 6 · 白熱した本論

💡「マーケティング」の正体は“ビジョン”

「もっとマーケティングを」というコミュニティの声(Alpha 氏)に対する、Charles の長い回答。まず一連の「どっちが大事?」質問で揺さぶりをかけます。

「どっちが大事?」── KPI に正解はない

論点はいずれも「正当な意見の相違」がある。「マーケティングを」と言う人は、実は自分の頭の中の“特定の答えのセット”を誰かに拡散してほしいだけのことが多い。だからまず governance で“核となる KPI と5年後のゴール”をコミュニティ合意する ── それが効果的なマーケティングの前提。

Charles のマーケティング哲学

• 終わりから始める(start with the end in mind)：3年後に大型ラウンドを閉じた前提で、逆算してマイルストーンと KPI を並べる。ベンチャースタジオ CEO に必須の2条件は「collective delusion(人を巻き込む確信)」と「end in mind」。
• me too では負ける：「うちも高TPS/スマコン対応」は差別化にならず価格の底辺競争に。SUI が Solana より速く優秀でも Solana の採用を超えられない例。
• ビジョンが実行者を引き寄せる：「execution は vision の下流。優れた執行者はいつでも雇える。稀なのは、心から参加したくなるビジョンの方だ」。
• 原点回帰：Cardano を「ただの通貨」以上のアイデンティティ・政治的ムーブメントに。10年で築いた legacy・分散ガバナンス・EUTXO・Ouroboros は買えないし複製できない。

Topic 7 · 注目アプリ

🏦RealFi ── DeFi の“ETF版”

Phil が「今いちばん楽しみ」と語ったアプリ。能動的なポジション管理が要らない、受動型の金融ヴィークル。「DeFi のモダンなメタは、もはや Uniswap でのデイトレじゃない ── 資金の99%は低リスク・長期のイールド」。

Topic 8 · 統治の設計

🏛ガバナンスと“executive function(執行機能)”

「会話の場を X から移す」構想

グランドスタンディング(パフォーマンス的な主張合戦)になると会話は自己破壊する ── レイジベイトを煽るプラットフォームは合意形成に不利。そこで ADA 保有者だけが入れる Cardano 専用チャンネルへ議論を移す案。Midnight の Discord には 49,000人がおり、Guild.xyz や collab.land 相当のツールを内製して、3〜6ヶ月で走り出したい考え。

なお Emurgo の“離脱”をめぐる翻訳差も話題に。英語では「ペンタッドから離れる」だが、日本語では「Cardano 創設エンティティであることから退く」と表現された、という指摘(※スペース内での言及であり、公式見解は各社の一次情報を確認)。IO 自身もベンチャースタジオ型へ移行中で、Haskell ノードは来年別の担い手へスピンアウト予定。

Topic 9 · その他の名場面

🎬スペースで起きたこと

補足

📖用語ミニ辞典

一次情報

📄元の書き起こし（全文）

このまとめは、下記の X スペース書き起こし（原文）をもとに第三者が再構成した非公式のものです。「自分でAIに投げて要約したい」「一次情報を確認したい」方向けに、全文を表示・コピー・ダウンロードできるようにしました。書き起こしは話し言葉のため、聞き取りの揺れや固有名詞の綴りの誤りを含む可能性があります。

「全文を表示」を開くと、ここに書き起こしが読み込まれます…