0:000:00
<p>这一期我们仍然请到了清华大学密码学在读博士生 <strong><em>@sputnik-meng</em></strong> 来继续和我们聊聊备受关注的 zkRollup 技术的两个关键点——<strong>链下状态更新</strong> 和 <strong>证明生成</strong>。干货满满！非常硬核！值得收听！</p><p>__</p><p><strong><em>你将会听到</em></strong></p><ul><li><p>分布式账本和状态机的概念 比特币和以太坊网络的区别</p></li><li><p>以太坊虚拟机（EVM）是什么？</p></li><li><p>智能合约编译到执行的转化过程</p></li><li><p>OPCODE 的概念</p></li><li><p>zkRollup 如何在链下完成状态计算</p></li><li><p>zkRollup 生成证明之前进行的几步数学转换</p></li><li><p>zkRollup 生成最终证明值的密码学方法</p></li><li><p>链上如何验证 zkRollup 提交的状态更新与其正确性？</p></li></ul><p>__</p><p><strong><em>参考资料</em></strong></p><ul><li><p>🔗 <a target="_blank" rel="noopener noreferrer nofollow" href="https://ethereum.org/en/developers/docs/evm/">以太坊虚拟机简介</a> from 以太坊官方文档</p></li><li><p>🔗<a target="_blank" rel="noopener noreferrer nofollow" href="https://www.ethervm.io/"> EVM目前的OPCODE</a></p></li></ul><p>__</p><p><strong><em>提到的部分名词</em></strong></p><ul><li><p>EVM - Ethereum Virtual Machine 以太坊虚拟机</p></li><li><p>ZKP - zero knowledge proof 零知识证明（详见我们的第 1、2 期播客）</p><...