Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines

DOI10.1007/978-981-99-8724-5_4zbMath1548.68087MaRDI QIDQ6562561

Ren Zhang, Shi-Feng Sun, Yuncong Zhang, Da-Wu Gu

Publication date: 26 June 2024

zbMATH Keywords

proof systemSNARKrandom access memoryZKVM

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Cryptography (94A60)

This page was built for publication: Polynomial IOPs for memory consistency checks in zero-knowledge virtual machines