ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
ZKP フロンティアトラッカー 🎯
Thu 星期四 木曜日
01.09
2025
https://x.com/vdwijden/status/1877046148386451732
@vdWijden discovered a hash collision vulnerability in the Poseidon hash function implementation used by ident3, which is utilized by many well-known projects. @vdWijden 发现iden3的Poseidon哈希函数实现存在哈希碰撞漏洞，该实现被许多知名项目使用。 @vdWijden が、多くの著名なプロジェクトで使用されている inden3 の Poseidon ハッシュ関数実装にハッシュ衝突の脆弱性があることを発見しました。
https://eprint.iacr.org/2024/267
Laufer et al. introduced zkPi in their paper on , the first zkSNARK for Lean proofs, which allows a prover to verify the correctness of Lean theorems in zero knowledge. Laufer等人在论文中提出了zkPi，首个用于Lean证明的zkSNARK，允许证明者在零知识下验证Lean定理的正确性。 Lauferらはの論文でzkPiを提案しました。これは、証明者がゼロ知識の下でLean定理の正しさを検証できる、最初のzkSNARKです。