ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
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的转换简化验证电路。这些改进使证明者速度提升五到十倍，验证电路更简单，证明更短。@brevis_Chen533 と @Charles_Chen533 は の論文で LatticeFold+ を提案しました。これは2つの新技術による改善に基づいています。1) より効率的な代数的範囲証明を開発したこと、2) ダブルコミットメントとsumcheckベースの変換を利用して検証回路を簡素化したことです。これらの改善により、プロバーの速度が5倍から10倍向上し、検証回路はより単純になり、証明の長さも短縮されました。
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证明生成流程。@brevis_zk チームがAIR-ICICLEプロジェクトをオープンソース化しました。これはPlonky3フレームワークとICICLEライブラリを統合しており、ユーザーがAIR回路を記述しトレースデータ（踪迹数据）を生成することを可能にし、STARK証明書生成プロセスを最適化します。