ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Sun星期日日曜日
03.30
2025
https://eprint.iacr.org/2025/565
Garms et al. revealed an attack on the Gemini multilinear polynomial commitment scheme optimization in paper, allowing malicious provers to falsely claim the value of a polynomial at any input point.Garms等人在论文中揭示了对Gemini多线性多项式承诺方案优化的攻击，允许恶意证明者虚假声明多项式在任何输入点的值。Garmsらは論文において、Geminiの多重線形多項式コミットメントスキームの最適化に対する攻撃を公開し、悪意のあるプロバーが任意の入力点における多項式の値を偽って主張することを可能にしました。
https://www.ietf.org/archive/id/draft-google-cfrg-libzk-00.html
Frigo et al. proposed libZK in IETF draft, a zero-knowledge proof library that combines MPC-in-the-head method and sumcheck-based verifiable computation protocol, designed to generate concise non-interactive zero-knowledge proofs.Frigo等人在IETF标准中提出，一个结合MPC-in-the-head方法和基于sumcheck的可验证计算协议的ZK证明库，旨在生成简洁的非交互式零知识证明。FrigoらによるIETFドラフトで提案されたlibZKは、MPC-in-the-head手法とsumcheckベースの検証可能な計算プロトコルを組み合わせたゼロ知識証明ライブラリであり、簡潔な非対話型ゼロ知識証明を生成するように設計されています。