零知识证明

零知识证明:证明者能够在不向验证者提供任何有用信息的情况下,使验证者相信某个诊断是正确的

浇铸:
1.通过一系列零知识证明,将一个币铸造成多个等值的币.
2.每个新币都有自己的密钥,数额,序列号等,且部分信息需要用接收方私钥算出(发送方在浇铸时要用到接收方的公钥).
3.除了发送方,谁都不知道接收方是谁,而发送方无法知道新币的序列号,因此无法使用这个币,也无法知道接收方在什么时候花掉了这个新币.

矿工:
1.只需要验证交易发起方的零知识证明,确认某个交易发起人可以使用承诺列表中的某一个承诺,并把承诺对应的序列号放入列表.
2.在这个过程中,矿工不知道用户具体用了承诺列表中的哪个承诺,而仅仅知道某个承诺被使用了.而序列号的唯一性保证了同一个承诺不能被使用两次(即防止了"双花")

赎回:
1.把一个承诺重新换为零钞,矿工不知道哪个承诺会被赎回换为零钞,因此把一个零钞放到混币池中再赎回,它的来源都不可追踪
2.用户可以用赎回操作将混币池中的零钞提取出来