ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Thu 星期四
01.09
2025
PSA: iden3's implementation of the Poseidon Hash function is broken https://x.com/vdwijden/status/1877046148386451732
@vdWijden 发现iden3的Poseidon哈希函数实现存在哈希碰撞漏洞，该实现被许多知名项目使用。
zkPi: Proving Lean Theorems in Zero-Knowledge https://eprint.iacr.org/2024/267
Laufer等人在论文中提出了zkPi，首个用于Lean证明的zkSNARK，允许证明者在零知识下验证Lean定理的正确性。