针对zkVM中Memory Consistency Checks的Polynomial IOPs

1. 引言

主要参考Yuncong Zhang等人2023年论文《Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines》。

在设计zkvm时，需检查其所有组件的功能一致性，包括：

• instruction fetcher
• 寄存器文件
• 算术化逻辑单元
• 内存

其中最具挑战的技术协议为Memory consistency check（MCC），其复杂性根源在于内存的history-dependent属性：

• 内存访问的输出，取决于其输入的整个历史。

该属性，导致MCC比其它协议更资源密集。

本文重点关注内存随机访问——zkVM中不可或缺且昂贵的部分：

• Memory consistency checks（MCC），用于验证内存功能正确性的协议。
• Permem：现有设计的瓶颈在于对整个memory trace排序，Permem通过引入address cycle方法来解决该瓶颈，其需要更少的building blocks，以及更少的online polynomial oraces和evaluation queries。
• gcq：为一种新的lookup argument，是MCC的关键building block，相比于cq，其需要更少的online polynomial oracles。