House of ZK Radio #67: Ming Guo、ZKM の共同創設者兼チーフ サイエンティスト - Spotify と YouTube 🔳 で配信中 このエピソードでは、@alicelingl が @ProjectZKM の共同創設者兼チーフ リサーチ サイエンティストである @DacEconomy 氏と対談し、ゼロ知識が@ethereumからビットコインにどのように移行したか、そして検証可能なコンピューティングによって確保されるビットコイン経済が実際にどのようなものかをマッピングします。 スポティファイ: ユーチューブ: 中身: • ZK の進行: ほぼリアルタイム→証明を備えた zkVM →一般回路のトランザクション プライバシー • ZKMのMIPSベースのzkVM設計がパフォーマンス、安定性、検証にとって重要な理由 BitVM2 ベースの ビットコイン L2 アーキテクチャと @GOATRollup と、L2 がプログラマビリティへの安全なルートである理由 • 「ユニバーサル決済」: 分散型アプリケーションの基盤としての検証可能なコンピューティング • プログラム可能な説明責任とインセンティブと従来の「当事者を信頼する」モデル • 開発者 UX: zkDSL から通常のコードの作成、zkVM での実行の証明まで • 「価値の保存」を超えて: L1 セキュリティを損なうことなく、利回り、安定した資産、ビットコインに固定されたオンチェーン アクティビティ ビットコインまたはZKに基づいて構築する場合、このエピソードは、スタック、トレードオフ、および単にBTCを保有することから機能し検証可能な経済に移行するために必要なことについての明確なフレームワークを提供します。