ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sun 星期日
03.30
2025
Attacking soundness for an optimization of the Gemini Polynomial Commitment Scheme 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多线性多项式承诺方案优化的攻击，允许恶意证明者虚假声明多项式在任何输入点的值。
libZK: a zero-knowledge proof library 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证明库，旨在生成简洁的非交互式零知识证明。