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

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]

Authors

Yuncong Zhang

This author has not been identified. Look up 'Yuncong Zhang' in Google

Shifeng Sun 0001

This author has not been identified. Look up 'Shifeng Sun 0001' in Google

Ren Zhang 0003

This author has not been identified. Look up 'Ren Zhang 0003' in Google

Dawu Gu

This author has not been identified. Look up 'Dawu Gu' in Google