@SuccinctLabs team introduced their next-generation zkVM SP1 Hypercube in their blog, using a new proof system architecture based on multilinear polynomials, with a cluster price as low as $300~400k, and can achieve a proof time of about 10 seconds for most Ethereum L1 blocks. @SuccinctLabs 团队在博客中介绍了其下一代zkVM SP1 Hypercube,采用全新的基于多线性多项式的证明系统架构,集群价格低至30~40万美元,对大多数以太坊L1区块可达到10s左右证明时间。
@VitalikButerin discussed the current progress of ZKP real-time proving in his tweet, pointing out key challenges such as worst-case proof time, missing formal verification, proof energy consumption, and L1 gaslimit extension. @VitalikButerin 在推文中讨论了ZKP实时证明技术的当前进展,指出了包括实时证明最坏情况、正式验证缺失、证明能耗及L1 gaslimit扩展需求等关键挑战。