@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左右证明时间。 SuccinctLabsチームは、ブログにて、多重線形多項式に基づいた新しい証明システムアーキテクチャを採用した次世代zkVM SP1 Hypercubeを発表しました。これにより、クラスター価格は30万ドルから40万ドル程度で、ほとんどのEthereum L1ブロックに対して約10秒の証明時間を達成可能です。
@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扩展需求等关键挑战。 @VitalikButerin氏はツイートで、ZKPのリアルタイム証明に関する現在の進捗について議論し、最悪ケースの証明時間、形式検証の欠如、証明エネルギー消費、L1ガスリミットの拡張といった主要な課題を指摘しました。