我們正在進入快速證明的黃金時代 🙌 很少有人知道,但 @theZKjay 和他的研究團隊正在構建 Space and Time,連同 a16z 的 Jolt 和 @Microsoft 研究的 HyperNova... 這三支團隊是首批開創快速 ZK 證明的團隊,使用了: ✔ 求和檢查協議 ✔ 下一代查找 ✔ MSM 多項式 ✔ 下一代承諾(Dory, HyperKZG 等) 現在這三支團隊正在開放源碼合作,使用這種新方法進行快速證明。這就是 @SpaceandTimeDB 如何在規模上實現行業首個亞秒級證明的方式。 絕對的電影 🔥
Eddy Lazzarin 🟠🔭
Eddy Lazzarin 🟠🔭8月15日 02:11
Jolt 現在快了 6 倍。更簡單了。它可能是最快的 zkVM,逐周期比較,差距很大。 大多數 zkVM(明智地)將 GPU 用於解決問題,但如果我們希望這些系統完全安全且經濟可及,我們需要更多。 接下來:限制內存使用!
4.03K