已更新重要修正。非常感谢 @mmaker 指出之前版本中的错误! 我忽略了 WEE 文献使用了不同的知识健全性定义。已添加一些解释。 特殊健全性讨论没有变化 :)
Nico
Nico2025年9月30日
A little bonus if you've been Bulletproof-sniped: I added a short entry on witness-extended emulation to my blog If you are like me, WEE is one of those weird security notions that you ignored the first time you read Bulletproofs and never got back to. About time I did!
关于特殊健全性的声明仍然有效!
712