零知识洞穴

美国大选刚结束不久，马斯克领导的政府效率部门就传出了要构建线上投票系统 eVote 的消息。这期我们请到了清华大学密码学在读博士生 @sputnik 一起来聊聊如何利用密码学工具来设计一个保护隐私公平公正的线上选举平台。纯纯的技术讨论，祝大家收听愉快！ 00:47 现在美国是如何实现总统投票的 06:26 金蛋银蛋问题 如何在线上实现信任验证 15:33 日常推荐Matrix67博客 18:41 基本功能：身份验证 投票隐私 防止篡改 26:37 细节讨论 如何还原线下投票系统功能 30:10 敌手能力 可抵抗的攻击 32:28 投票客户端的实现 密钥谁来保管 38:52 服务器的数据结构 以州为单位的节点 41:54 51%攻击 分叉攻击 带宽问题 47:15 计票以及如何验证结果的正确性 52:26 现有的线上隐私投票系统 <br> 最近开了一个听友群，欢迎对密码学、数学、数据科学感兴趣的朋友们加入群聊，一起交流；） <br> 关于我们 零知识洞穴是一个讨论密码学、区块链、数字科学的技术播客，不定期更新。播客的名字来源于发表于 1989 年的密码学论文《How to explain zero-knowledge protocols to your children》欢迎分享订阅！ 🌍 zkave.xyz 📮 [email protected]

好久不见！这期我们还是请到了清华大学密码学在读博士生 @sputnik 一起来聊聊以ChatGPT为代表的大语言模型的数学和逻辑推理能力，并和大家一起学习一些基础的密码学概念！祝大家收听愉快！ 00:22 把ChatGPT想象成大学毕业生 06:00 大语言模型不擅长的领域 10:07 针对大语言模型数学能力的研究 15:02 ChatGPT做初中奥数题的结果如何 19:40 密码学基础：对称密码 V.S. 非对称密码 23:34 密码学基础：随机 32:21 密码学基础：零知识证明 35:03 密码学基础：哈希函数 38:38 量子密码学 45:39 大语言模型对密码学的威胁和交叉 <br> 最近开了一个听友群，欢迎对密码学、数学、数据科学感兴趣的朋友们加入群聊，一起交流；） <br> 关于我们 零知识洞穴是一个讨论密码学、区块链、数字科学的技术播客，不定期更新。播客的名字来源于发表于 1989 年的密码学论文《How to explain zero-knowledge protocols to your children》欢迎分享订阅！ 🌍 zkave.xyz 📮 [email protected]

好久不见！最近我把小狐狸钱包的助记词忘了，换了电脑之后一直没办法找回钱包。这期我们还是请到了清华大学密码学在读博士生 @sputnik 来和大家一起来聊聊Metamask和助记词背后的原理。祝大家收听愉快！ 01:09 助记词到底是什么？ 04:01 助记词的基本性质（高熵值和唯一性） 09:10 Bitcon Improvement Proposal 39 13:50 我可以自己挑选助记词吗？ 17:14 浏览器？硬件钱包？如何储存助记词？ 21:56 如何提高到更高的安全级别 25:29 频繁更新密码会让账户更安全吗？ 30:40 层层加密会让账户更安全吗？ 35:01 为什么Metamask不能支持比特币？ 41:52 下期预告 <br> 关于我们 零知识洞穴是一个讨论密码学、区块链、数字科学的技术播客，不定期更新。播客的名字来源于发表于 1989 年的密码学论文《How to explain zero-knowledge protocols to your children》欢迎分享订阅！ 🌍 zkave.xyz 📮 [email protected]

好久不见！这一期我们仍然请到了清华大学密码学在读博士生 @sputnik-meng 来和我们聊聊多方安全计算的内容！祝大家收听愉快！ * 什么是多方安全计算？ * 00:41姚期智 百万富翁问题 * 02:11如何不透露年龄对比年龄 * 03:04RSA加密 * 09:10多方安全计算的定义 * 10:47输入隐私 正确性 公平性 * 13:09和零知识证明的关系 * 15:32如何定义安全 * 多方安全计算的实现 * 21:00混淆电路 姚氏电路 Yao's Garbled Circuit (GC) * 24:44不经意传输 oblivious transfer (OT) * 26:16同态加密 Homomorphic Encryption (HE) * 29:10秘密分享 Secret Sharing (SS) * 34:58拉格朗日插值法(Shamir门限法) * Public randomness * 37:57秘密分享在多方安全计算里面具体是怎么操作的？ * 40:27秘密分享的限制 * 45:06随机的意义 * 47:39随机信标 Random beacon * 多放弃安全计算的应用 * 50:39医疗与金融 * 51:41Google Private Join and Compute * 52:32电子投票 参考资料 * 🔗 密码学协议举例[4]–秘密数字的比较（百万富翁问题）by Matrix67 * 🔗 密码学协议举例[1]–秘密共享的门限方案 by Matrix67 * 🔗 Google Private Join and Compute * 🔗 Commodity-Based Cryptography by Beaver triple * 🔗 拜占庭将军问题 ____ 关于我们 零知识洞穴是一个讨论密码学、零知识证明、区块链的技术播客，不定期更新。播客的名字来源于发表于 1989 年的密码学论文《How to explain zero-knowledge protocols to your children》欢迎分享订阅！ 🌍 zkave.xyz 📮 [email protected]