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白帽子小组成员，如果我没记错的话，也参与了Parity黑客事件）。 感谢@ekang426举办了一场精彩的晚宴！

在 @ziskvm，我们现在正在实时证明以太坊区块——开源并运行在越来越高效的基础设施上。 这是一个早期但重要的里程碑。 今天下午13:00在 EthCC，Redford Stage 加入我，了解更多信息。 #EthCC #ZK #Ethereum #zkVM @eth_proofs

这篇精彩的文章解释了实现1.5GHz RISC-V 跟踪生成的技巧。