简洁有 证明 实时零知识证明了以太坊块的证明，在12秒内产生加密证明。
简洁的SP1“ HyperCube” ZKVM 生产 以太坊块22309250（143次交易，3200万天气）的证明，内部基准表明它可以证明它可以在12秒内证明10,000个近期主要网络块中的93％，平均延迟为10.3秒。
这项成就标志着零知识领域的技术飞跃，简洁地部署了基于多项式多项式的全新证明系统，优化了用于登录GKR和Sum-Check等操作的CUDA内核，以及一个低规模的云构造，占GPU的数百个GPU。联合创始人乌玛·罗伊（Uma Roy）的特征是在密码学，硬件加速度和分布式系统之间的工程进步，这是一个里程碑。
罗伊 评论，，，，
“这是ZK在月球时刻的人。实时以太坊证明已经降落了。
如果您在1年前问过ZK中的任何人是否可能，他们会说这是一个字面上的月光。”
尽管表演里程碑缩小了证明产生和块时间之间的延迟差距，但以太坊联合创始人Vitalik Buterin 概述 剩余的局限性。
当前的结果代表平均案例性能，而不是最差的案例。 Buterin强调，要实时证明适合第1层安全性，最差的案例块证明还必须保留在块时间之内。
此外，SP1的证明尚未进行正式验证，每个证明的能源需求悬停在100 kW的范围内，远远高于Buterin认为对基于家庭的证明可行的10 kW。他还指出，将以太坊的1层气体限制扩大到一个数量级，仍然取决于进一步的证明效率。
社区讨论围绕着权力下放和证明能力浮出水面。如 以太魔术师论坛研究员Dankrad Odendaal主张暂时放松抛弃的硬件分权目标。
奥登达尔（Odendaal）指出，证明开销已经下降了几个数量级，并且通过建筑改进或专业硬件可能会取得进一步的收益。
他建议证明是可逆的，这与其他协议规模的领域不同。如果可伸缩性推动供奉献的能力，网络可以在没有长期州增长惩罚的情况下恢复到降低气体限制。
Odendaal还指出，可以在分布式基础架构之间并行证明产生，这使得与完全状态节点相比，它不易集中风险。即使没有单位数字的开销证明，在许多机器中的分布式证明也可以实现延迟目标，同时保留少数族裔诚实的假设对系统完整性。
SP1在实时上下文中的推出是加密创新和基础设施协调的结晶。
简洁的实现涵盖了裸机的部署和性能调整的分布式工作负载，但是能量和正式验证约束说明，证明保留在轨迹上，尚未达到终点。
延迟和功率的进一步降低以及协议级集成将塑造以太坊直接在其基础层中直接锚定信任最小执行的能力。
