从后端升级到协议优化——本周的开发更新带来了另一轮性能提升。
1/
电路性能优化
成功实施了一项重要的优化,通过利用gnark的提示系统来减少电路复杂性。我们现在使用提示来处理电路约束内的MiMC哈希操作,而不是直接在电路约束内计算,从而在保持适当约束验证的同时,将计算移出电路。这种方法大大减少了电路中的约束数量,从而提高了证明时间并降低了内存消耗。
2/
Polyhedra i-D 集成优化
- 完成了电路优化的集成,纳入了完整的 Polyhedra i-D 验证工作流程。主要成就包括:
- 精简了证明管道,以纳入基于提示的 MiMC 优化
- 验证了多级递归结构,以确保端到端的健全性
- 清理了代码库,移除了冗余的证明步骤,并整合了递归验证层
该系统现在在所有递归层级上保持密码学健全性,同时运行效率更高。
敬请关注更多更新。
1.96万
188
本页面内容由第三方提供。除非另有说明,欧易不是所引用文章的作者,也不对此类材料主张任何版权。该内容仅供参考,并不代表欧易观点,不作为任何形式的认可,也不应被视为投资建议或购买或出售数字资产的招揽。在使用生成式人工智能提供摘要或其他信息的情况下,此类人工智能生成的内容可能不准确或不一致。请阅读链接文章,了解更多详情和信息。欧易不对第三方网站上的内容负责。包含稳定币、NFTs 等在内的数字资产涉及较高程度的风险,其价值可能会产生较大波动。请根据自身财务状况,仔细考虑交易或持有数字资产是否适合您。