ZK-VM

从 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。