Halo2 中存在一个查询冲突的漏洞，当多点打开参数中多次在同一评估点查询同一多项式时，会导致一个评估被忽略，恶意证明者可以伪造评估并通过验证，文章解释了漏洞的根本原因，并通过具体的例子展示了如何利用它，以及如何在 Halo2 中修复它。
zksecurity