OtterSec披露六款zkVM的Fiat-Shamir绑定漏洞研究

OtterSec介绍在Jolt、Nexus、Cairo-M、Ceno、Expander和Binius64中发现的健全性问题：部分公开声明数据未在挑战生成前绑定到Fiat-Shamir转录，可被利用构造错误证明。文章附各团队2025年9月至2026年3月的负责任披露与修复时间表。