本文分析了Nova零知识证明系统中的一个严重漏洞，该漏洞允许生成虚假的计算结果和有效的证明。该漏洞源于对曲线循环的不正确处理，导致电路间消息认证失败。通过移除不必要的累加器并验证正确的认证标签，最终修复了该漏洞。
zksecurity