从 zkEVM 到 zkVM

视频 AI 总结： 该视频主要介绍了从 ZK-EVM 到 ZK-VM 的转变，解释了 ZK-EVM 的架构，以及 PSE 团队为何停止 ZK-EVM 的开发，转而研究 ZK-VM 的原因。核心内容包括 ZK-EVM 的范围不仅限于 EVM 本身，还涉及交易处理、字节码、MPT 等多个方面。由于 ZK-EVM 在审计性、可升级性和性能方面面临挑战，PSE 团队转向了更通用的 ZK-VM 方案，并选择了 RISC-V 指令集，因为它具有通用性、可持续性和易于审计的优点。

关键信息：

• ZK-EVM 不仅限于 EVM，还包括交易、字节码、MPT 等。
• 理解 Field（域）的概念是进行 ZK 开发的基础。
• ZK 程序需要同时提供输入和输出，用于验证计算的正确性。
• Constraint（约束）是 ZK 程序中的核心，用于限制变量的取值范围。
• ZK-EVM 面临审计、升级和性能方面的挑战。
• ZK-VM 是一种更通用的解决方案，基于 RISC-V 指令集。
• RISC-V 具有通用性、可持续性和易于审计的优点。
• PSE 团队正在探索基于 GKR 的新 Proving System。