11秒 - 這就是推文。

對各種 #zkVM 實現的中立評估揭示了它們的設計和性能的見解。ZisK 分析已完成。@jbaylina @ziskvm 🧐 除了驚人的模擬器，ZisK 還具有以下功能： 🔹 CPU/GPU 並行性：#CPU 負責見證生成，而 #GPU 管理證明生成，兩者同時運行。💻✨ 🔹 接近 100% 的 GPU 利用率：得益於獨立電路（主電路、內存、RAM 等）和通過多線程 + 多流的任務分配。🚀 前 3 名 GPU 核心（時間消耗）： 🔹 computeExpressions：40%。⏱️ 🔹 br_ntt_8_steps：~20%。⏱️ 🔹 linear_hash_gpu_coalesced_2：~15%。⏱️ 優化機會： 🔹 對於 br_ntt_8_steps： · 在內核之間重用 twiddle 因子（目前每次都重新生成）。♻️ · 添加一個原生的位反轉 NTT 核心，以消除提交過程中的冗餘位反轉步驟。⚙️ 🔹 對於 computeExpressions： · GPU 資源已充分利用。未來的增益可能需要優化證明密鑰的操作以提高效率。🔍 猜猜我們接下來要分析哪個 zkVM？🤔 @eth_proofs

這是正式驗證 zk 證明者的一個關鍵里程碑——在建立 ZK 生態系統中的信任和可驗證性方面至關重要的一步。

此版本完全開源，128位安全性，並實時驗證#ethereum區塊。

我很高興看到 Jordy Baylina 在呼籲共享標準——128 位元安全性。不過，我覺得有必要補充：這只有在數學上可驗證的情況下才有意義，也就是無需信任！對我來說，受信任的設置基本上是 80 位元安全性。

非常感謝所有參與組織@EthCC — 年復一年的最佳乙太坊會議。🙏💜

我們將舉辦第一次 ZisK 社區電話會議。 會議主要面向從事即時驗證的開發人員。 預期內容： – 深入研究 ZisK 架構和約束系統 – 與 @jbaylina 進行即時問答 – 使用 ZisK 的動手實踐示例 立即註冊 ：

我和比我聰明得多的人一起度過了一個愉快的@EthCC之夜：@ethereum架構師 @drakefjustin 和 ZKatooor @jbaylina（乙太坊 DAO 白帽小組的成員，如果我沒記錯的話，也是平價駭客）。 感謝 @ekang426 舉辦盛大的晚宴！

在 @ziskvm，我們現在正在實時驗證乙太坊區塊 — 開源並在越來越高效的基礎設施上運行。 這是一個早期但有意義的里程碑。 今天 13：00 @ EthCC， Redford Stage 加入我以瞭解更多資訊。 #EthCC #ZK #Ethereum #zkVM @eth_proofs

一篇精彩的文章，解釋了實現 1.5GHz riscV 走線生成的技巧。