Tornado.Cash ZK过程深入解析
Tornado的现金池,以DAI池子为例,每个Coin为100DAI。
目前有三个Coin:C1, C2, C3。
C1,C2,C3 在池子里,即300DAI,另外还有2个nullifier在合约里存储。
nullifier是为了防止双花的数据结构,存储的是花出去的note对应的nullifier。
C1,C2,C3 被保存在一个Merkle树中,这些Coin对外是公开的。
H1, H2是哈希函数。
接下来是deposit过程,比如Alice转100DAI到Torn...