ZKP Frontier Tracker 🎯零知识证明 前沿热点追踪 🎯ZKP 最前線追跡🎯
Wed星期三水曜日
07.16
2025
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变换变体，利用双工海绵范式最小化置换调用次数，为实践中的安全参数提供具体界限。Chiesaらは、理想的な置換に基づいたFiat-Shamir変換を分析し、置換呼び出し回数を最小化するためにデュプレックススポンジパラダイムを使用し、実用的なセキュリティパラメータに対する具体的なバウンドを提供した。
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的紧凑证明，并探讨了其在后量子签名聚合等任务中的应用。Ashutosh Marwahは、ブログ記事で格子ベースのzkSNARKプロトコルであるLabradorを紹介し、約50kBのコンパクトな証明書を生成することや、ポスト量子署名集約などの応用について論じています。