零知识证明 - zkSNARK的Nullifier攻击

早上很多朋友@我，安比实验室公众号发表了一篇文章zkSNARK的“输入假名”的攻击。迅速看了看，很赞。这个攻击原理其实比较简单，但是，不深入理解zkSNARK以及使用场景的朋友确实很难发现和理解。本文讲讲我对这个攻击的分析和理解。

源于三天前

这种攻击方式一直潜伏着，没被发现。直到三天前：

俄罗斯开发者poma，在项目semaphore提交了一个issue，公开了这个攻击方法。poma同时也在kovan测试网络验证了这种攻击方式。

先从semaphore项目的代码开始：

话说，semaphore是个很有意思的项目，它提供了一套方法能让用户不暴露自己身份的情况下广播消息。暂时不深入介绍这个项目的内容，直接看函数。broadcastSignal函数提交了证明，某个用户发送某个消息（signal）。注意，只有具体的某个broa