本文介绍了在zkEVM中使用plookup来创建执行轨迹的方法，以克服字节码转换为SNARK的难题。通过将操作码及其索引存储在查找表t_opcodes中，并在执行证明阶段允许prover选择任何操作码，结合程序计数器检查索引的正确性，从而实现对循环和复杂操作码（如returndatacopy和哈希函数）的支持，优化了zkEVM的性能，降低了约束开销。
