ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Fri 星期五 金曜日
03.14
2025
https://github.com/wizicer/zkp-solidity-gas
@icerdesign published a ZKP system Solidity Gas estimation report, analyzing the Gas consumption of different ZKP frameworks (including SnarkJs, Noir, gnark, halo2, etc.) and patterns in Solidity, including deployment costs, verification costs, etc. @icerdesign 发布了ZKP系统Solidity Gas估算报告，详细分析了不同ZKP框架（包括SnarkJs, Noir, gnark, halo2等）和模式在Solidity中的Gas消耗，包括部署成本、验证成本等。 @icerdesign は、SnarkJs、Noir、gnark、halo2 など様々なZKPフレームワークとSolidityのパターン（デプロイコスト、検証コストなど）のGas消費を分析したZKPシステムに関するSolidity Gas見積もりレポートを公開しました。
https://blog.cryptographyengineering.com/2025/02/04/how-to-prove-false-statements-part-1/
Matthew Green discussed the Random Oracle Model (ROM) and its applications in cryptography in blog, particularly highlighting the actual attacks on Fiat-Shamir transformations, emphasizing the complexity between theoretical models and security proofs. Matthew Green在博客中讨论了随机预言模型(ROM)及其在密码学中的应用，特别是对Fiat-Shamir变换的实际攻击，强调了理论模型与安全证明之间的复杂关系。 Matthew Greenは、ブログでランダムオラクルモデル（ROM）とその暗号学への応用について論じ、特にFiat-Shamir変換に対する実際の攻撃に焦点を当て、理論モデルとセキュリティ証明の間の複雑さを強調しました。