隐私保护和数据安全：区块链的隐私问题、零钞：基于zkSNARK的完美混币池、Hawk：保护合约数据私密性、Coco框架、Baby Zoe

第十章

---

一、区块链的隐私问题

1、化名和匿名

所谓化名就是我们在网络中使用的一个与真实身份无关的身份，在比特币或者以太坊紫彤的交易中，使用者使用公钥散列值作为交易地址。因此区块链中的交易具有化名性。
匿名：指的是具备无关联性（unlinkability）。由于用户反复使用公钥散列值作为交易标识，交易之间显然能建立关联。所以不具有匿名性。

2、去匿名攻击：交易表分析

若用户在一段时间内用不同的地址均与Y交易，则可能被攻击者归为地址簇。再结合现实中直接发生的交易来给地址簇加上标签，就可以画出一个标签蔟图，从而展开交易分析来对大部分的区块链交易去匿名化。

二、零钞：基于zkSNARK的完美混币池

零钞（Zcash）是一种利用零知识证明（zero knowledge proof）来构造一个完美混币池的密码学货币。

1、零知识证明

指的是证明者能够在不向验证者提供任何有用信息的情况下，是验证者相信某个论断是正确的。
zkSNARK是一种基于现代密码学的证明方法，需要一个NP问题作为基本难题。在P！=NP的假定下，暴力猜出一个输入量很大的NP问题的解被视为计算上不可行，验证一个解释对应NP问题的解则比较快。
zkSNARK需要证明者向验证者证明自己知道某个知识时，构造无需证明内容对应的NP问题的解。该NP问题仅与此时的问题相关，与证明者