加入我們，參加一場與 Rami Khalil (@hashcashier) 的深入篝火聊天。他是 @RiscZero 和 @boundless_xyz 的高級協議工程師，我們將討論使用 RISC Zero zkVM 構建應用程序的設計空間。

由 @VeridiseInc 的 @FormallyJon 主持。

時間點：
0:00 - 什麼是 zkVM，特別是 RISC Zero 的 zkVM？
03:04 - 開發體驗如何，有哪些好處？
06:01 - zkVM 提供了哪些保證？
08:04 - 什麼是「未約束的輸入」？
10:24 - 你能用 RISC Zero 構建隱私應用程序嗎？
11:11 - 你能在使用證明網絡時保持隱私嗎？
13:08 - 由於 zkVM 現在可以構建哪些新的應用程序？
17:22 - 誰是 Boundless 的目標，去中心化證明如何運作？
20:42 - 集成 RISC Zero 如何影響協議的安全性？
24:17 - 你如何確保 zkVM 是安全的？
26:03 - 你是否使用最佳的加密、約束和證明系統？
29:18 - 你能根據機器數量利用並行性嗎？
30:17 - 你希望用 RISC Zero 構建什麼？
30:47 - 在 zkVM 內部使用 FHE 的價值是什麼？
32:28 - 你對構建基於 zkVM 的應用程序的開發人員有什麼建議？
33:12 - ZK 證明什麼時候不會對應用程序有益？
34:45 - Jon 的安全開發者提示
40:02 - 有人分享過 Steel 的有趣用例嗎？
46:37 - RISC Zero 除了 Boundless 還在構建什麼？
49:17 - 除了 Keccak 外還有什麼即將推出的應用程序？