Vol 06｜隐私数字货币 Zcash 顺便聊聊 zk-SNARK - 零知识洞穴

这一期我们仍然请到了清华大学密码学在读博士生 @sputnik-meng 来和我们聊聊隐私数字货币：以“大零币” ZeroCash 为例，我们分享了它铸币和花钱的实现过程，以及算法框架 ZK-SNARK 的一些技术细节。有点硬核但干货满满哟``<ul> <li>匿名数字货币</li></ul>00:51 匿名货币的设计动力 02:15 假名 V.S. 匿名 07:10 ZeroCoin “小零币” 08:35 ZeroCash “大零币” <ul> <li>一些关键概念的回顾</li></ul>11:15 Hash函数的抗碰撞性 12:50 Merkle tree 14:35 零知识证明 17:30 承诺 Commitment 20:09 伪随机函数 <ul> <li>ZeroCash 使用的零知识证明算法 zk-SNARK</li></ul>27:17 定义 30:14 简单的机制介绍 <ul> <li>ZeroCash</li></ul>32:40 "账本"的数据结构 35:06 铸造币 Minting 40:12 加入随机数的意义 43:15 花钱 Pouring 48:13 序列号 54:24 零知识证明系统 <figure><img src="https://image.xyzcdn.net/Ftp5dAxNjBqMlJASDRvL-u0eN1yD.png"/></figure>参考资料<ul> <li>🔗 <a href="https://z.cash/technology/zksnarks/">关于zk-SNARK的博客</a></li> <li>🔗 <a href="https://zcash.readthedocs.io/en/latest/rtd_pages/basics.html">ZeroCash文档</a></li> <li>🔗 <a href="https://github.com/zcash/mpc/...