ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Wed 星期三
07.16
2025
A Fiat–Shamir Transformation From Duplex Sponges https://eprint.iacr.org/2025/536
Chiesa et al. analyzed Fiat-Shamir transformations based on ideal permutations, using duplex sponge paradigms to minimize permutation calls, providing specific bounds for practical security parameters. Chiesa等人在论文中分析了基于理想置换的Fiat-Shamir变换变体，利用双工海绵范式最小化置换调用次数，为实践中的安全参数提供具体界限。
Let's Labrador https://hackmd.io/@Ingonyama/fast-labrador-prover
Ashutosh Marwah introduced Labrador, a lattice-based zkSNARK protocol, in his blog , which generates compact proofs of about 50 kB and discusses its applications in post-quantum signature aggregation and other tasks. Ashutosh Marwah在博客中详细介绍了Labrador，这是一种基于格的zkSNARK协议，能够生成约50 kB的紧凑证明，并探讨了其在后量子签名聚合等任务中的应用。