Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines

Yuncong Zhang, Shi-Feng Sun 0001, Ren Zhang 0003, Dawu Gu. Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines. IACR Cryptology ePrint Archive, 2023:1555, 2023. [doi]

Abstract

Abstract is missing.