我们最近在 Halo2 中发现了一个微妙但重要的健全性问题,我们将其命名为查询冲突错误。它影响某些边缘情况电路,并存在于广泛使用的版本中,包括主要的 Zcash 实现和 PSE 的分支。👇🏼
4.66K