ZKM Prover 结合 zk-STARK 技术，验证算术与 CPU 操作。算术操作包括加法、乘法、除法等，通过初始化算术表、生成 Trace 数据、执行范围检查与电路验证确保正确性。CPU 操作涵盖指令解码、跳转、内存访问等模块，依次通过本地与电路验证保证操作符合逻辑与约束。
LookupArgument是一种重要的密码学原语，用于证明一个集合（或结构化对象，如多项式）的元素属于另一个预先计算的集合或结构。它在零知识证明系统中具有重要作用，可以在不泄露敏感信息的前提下强制验证数据的一致性和约束。
ZKM