Vol 04 | EVM zkRollup如何在链下进行状态更新和证明生成

这一期我们仍然请到了清华大学密码学在读博士生 @sputnik-meng 来继续和我们聊聊备受关注的 zkRollup 技术的两个关键点——链下状态更新 和 证明生成。干货满满！非常硬核！值得收听！

__

你将会听到

• 分布式账本和状态机的概念 比特币和以太坊网络的区别

• 以太坊虚拟机（EVM）是什么？

• 智能合约编译到执行的转化过程

• OPCODE 的概念

• zkRollup 如何在链下完成状态计算

• zkRollup 生成证明之前进行的几步数学转换

• zkRollup 生成最终证明值的密码学方法

• 链上如何验证 zkRollup 提交的状态更新与其正确性？

__

参考资料

• 🔗 以太坊虚拟机简介 from 以太坊官方文档

• 🔗 EVM目前的OPCODE

__

提到的部分名词

• EVM - Ethereum Virtual Machine 以太坊虚拟机

• ZKP - zero knowledge proof 零知识证明（详见我们的第 1、2 期播客）

• 状态机 State machine - 指一个数学模型，一般就是指一张状态转换图

• 拉格朗日插值 - 一个数学过程。本期播客中我们提到可以使用这个方法把一些变量之间的关系转化为多项式之间的关系

• KZG / FRI - 两个密码学当中的多项式承诺。可以将证明多项式的正确性转化成为生成一组证明值，验证者可以通过验证证明值，从而验证多项式的正确性

更多资料欢迎阅读和贡献到我们的 🔗 (Almost) everything you want to know about ZK 中文 repo

下期我们将继续分享零知识算法相关的内容 欢迎订阅关注-）

by Hackathon DAO