已更新重要修正。非常感谢 @mmaker 指出之前版本中的错误! 我忽略了 WEE 文献使用了不同的知识健全性定义。已添加一些解释。 特殊健全性讨论没有变化 :)
Nico
Nico2025年9月30日
如果你被 Bulletproof 瞄准了,给你一点小奖励:我在我的博客上添加了关于见证扩展仿真的简短条目。 如果你和我一样,WEE 是你第一次阅读 Bulletproofs 时忽略的那些奇怪的安全概念之一,之后也没有再回头看。是时候我来看看了!
关于特殊健全性的声明仍然有效!
665