Shownotes Transcript
这一期我们仍然请到了清华大学密码学在读博士生 @sputnik-meng 来和我们聊聊隐私数字货币：以“大零币” ZeroCash 为例，我们分享了它铸币和花钱的实现过程，以及算法框架 ZK-SNARK 的一些技术细节。有点硬核但干货满满哟``
- 匿名数字货币
00:51 匿名货币的设计动力02:15 假名 V.S. 匿名07:10 ZeroCoin “小零币”08:35 ZeroCash “大零币”
- 一些关键概念的回顾
11:15 Hash函数的抗碰撞性12:50 Merkle tree14:35 零知识证明17:30 承诺 Commitment20:09 伪随机函数
- ZeroCash 使用的零知识证明算法 zk-SNARK
27:17 定义30:14 简单的机制介绍
- ZeroCash
32:40 "账本"的数据结构35:06 铸造币 Minting40:12 加入随机数的意义43:15 花钱 Pouring48:13 序列号54:24 零知识证明系统
参考资料
- 🔗 关于zk-SNARK的博客)
- 🔗 ZeroCash文档)
- 🔗 ZeroCash白皮书)
- 🔗 ZeroCash论文原文)
- 🔗 Standford课程)
- 🔗 大零币与比特币的区别 from CSDN)
__
提到的部分名词
- Collision resistant - 抗碰撞
- Vector commitment - 函数H() 有 vector S → h = H(m)
- Fiat shamir heuristic - 把交互式零知识协议转化成非交互式的零知识协议的方法
- Groth16 和 PLONK - zk-SNARK具体方案
__
更多资料欢迎阅读和贡献到我们的 🌍 (Almost) everything you want to know about ZK) 也欢迎 ✍️填写问卷) 报名加入我们的讨论组 ; D
下期我们将继续分享零知识算法相关的内容 欢迎分享订阅呀👍
by Hackathon DAO partner with THUBA
