ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
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哈希函数实现存在哈希碰撞漏洞，该实现被许多知名项目使用。
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定理的正确性。