ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Tue 星期二 火曜日
03.25
2025
https://eprint.iacr.org/2025/514
Belohorec et al. proposed a unified framework in for proving the soundness of KZG class polynomial commitment schemes, covering both single and multi-variable variants. By conceptualizing the proof technique of Lipmaa et al., they demonstrated the completeness and soundness of the integrity assumptions, allowing black-box extraction of multi-variable KZG schemes. Belohorec等人在论文中提出了一个统一框架，用于证明KZG类多项式承诺方案的知识健全性，涵盖单变量和多变量变体。通过概念化Lipmaa等人的证明技术，他们展示了工具和可证伪的完整性假设，允许黑盒提取多变量KZG方案。 Belohorecらは、においてKZGクラスの多項式コミットメントスキームの健全性証明のための統一フレームワークを提案しました。これは単変数および複数変数のバリアントの両方を網羅しています。Lipmaaらの証明技術を概念化することにより、彼らは完全性と健全性の前提条件を示し、マルチバリアブルKZGスキームのブラックボックス抽出を可能にしました。
https://blog.hyle.eu/benchmarking-in-browser-p256-ecdsa-proving-systems/
Hylé team shared benchmarking results of P256 ECDSA proving systems in the browser, focusing on comparing the performance and user experience of Noir, Circom, Halo2, and Cairo. Hylé团队分享了在浏览器中验证P256 ECDSA签名的证明系统基准测试结果，重点比较了Noir、Circom、Halo2和Cairo的性能和用户体验。 Hyléチームは、ブラウザ上でのP256 ECDSA証明システムに関するベンチマーク結果を共有しました。これには、Noir、Circom、Halo2、Cairoのパフォーマンスとユーザーエクスペリエンスの比較に焦点を当てています。