Yuncong Zhang, Shifeng Sun 0001, Ren Zhang 0003, Dawu Gu. Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines. In Jian Guo 0001, Ron Steinfeld, editors, Advances in Cryptology - ASIACRYPT 2023 - 29th International Conference on the Theory and Application of Cryptology and Information Security, Guangzhou, China, December 4-8, 2023, Proceedings, Part II. Volume 14439 of Lecture Notes in Computer Science, pages 111-141, Springer, 2023. [doi]
Abstract is missing.