Skip to content
不忠实的声明：攻破 6 个 zkVM
osec.io | 博客 | #web3 | #vulnerability-research | #cryptography | #vulnerability | #zero-knowledge | #zkvm | #fiat-shamir | #soundness
摘要
OtterSec 攻破 6 个 zkVM（Jolt、Nexus、Cairo-M、Ceno、Expander、Binius64）：验证相关取值未绑定到 Fiat-Shamir 转录，攻击者可在看到挑战后构造伪证。
- 发布时间
- 收录时间