ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Mon 星期一 月曜日
11.10
2025
https://eprint.iacr.org/2025/1967
Chen et al. proposed a linear-time and logarithmically-sound permutation and multiset SNARK in their paper, eliminating quadratic proof overhead through a linear-algebraic perspective, avoiding auxiliary commitments for efficient verification. Chen等人在论文中提出了一种线性时间且对数可靠的置换和多重集SNARK，通过线性代数视角消除二次证明开销，无需辅助承诺即可实现高效验证。 Chenらは、 の論文において、線形時間かつ対数的に健全な順列およびマルチセットSNARKを提案しました。これは、線形代数的な視点を通じて二次的な証明オーバーヘッドを排除し、効率的な検証のために補助的なコミットメントを不要にすることによるものです。
Notes Notes 要点
- New method avoids auxiliary commitments, reducing soundness errors and enhancing security
- Linear-algebraic perspective allows partial evaluation without additional algebraic costs, optimizing performance
- Supports permutation proofs from provers without preprocessing, enhancing flexibility
- Verifiers can evaluate permutations in O(polylog(n)) time, reducing dependency on provers
- Matches optimal prover bounds, ensuring theoretical efficiency
- Field-independent design extends application scope, improving universality