ZKP Frontier Tracker 🎯
零知识证明 前沿热点追踪 🎯
Sat 星期六
01.18
2025
探讨 Poseidon 延展性攻击，可影响零知识证明应用的安全性 https://mp.weixin.qq.com/s/tdJ_noFvkPvCFpMNh84_Kg
慢雾团队深入揭示了Iden3密码学库中Poseidon哈希函数的延展性问题，即由于代码实现问题导致哈希碰撞及其安全性影响。
Morgana: a laconic circuit builder https://eprint.iacr.org/2025/65
Soukhanov等人在论文中提出了一种新型SNARK证明系统Morgana，其主要特点是电路key大小与电路描述成正比，而非约束数量，相比现有技术Spartan有直接加速效果。