ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Mon 星期一
02.17
2025
https://eprint.iacr.org/2025/247
@brevis_Chen and @Charles_Chen533 introduced LatticeFold+ in the paper, improving it with two new techniques: 1) developing a more efficient algebraic range proof; and 2) simplifying the verification circuit through dual commitments and sumcheck-based transformation. These improvements result in a five to ten-fold speedup for the prover, simpler verification circuits, and shorter proofs. @danboneh 和 @Charles_Chen533 在论文中提出了LatticeFold+，通过两种新技术进行改进：1）开发了更高效的代数范围证明；2）利用双承诺和基于sumcheck的转换简化验证电路。这些改进使证明者速度提升五到十倍，验证电路更简单，证明更短。
https://hackmd.io/@Ingonyama/air-icicle
@brevis_zk has open-sourced the AIR-ICICLE project, which integrates the Plonky3 framework with the ICICLE library. This allows users to write AIR circuits and generate trace data, optimizing the STARK proof generation process. @Ingo_zk 团队开源了AIR-ICICLE项目，集成了Plonky3框架与ICICLE库，支持用户编写AIR电路并生成踪迹数据，优化了STARK证明生成流程。