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

Yuncong Zhang Shifeng Sun Ren Zhang Dawu Gu

Published in: ASIACRYPT (2) (2023)

Keyphrases

virtual machine
consistency checks
operating system
windows xp
domain knowledge
data center
real time
knowledge base
knowledge acquisition
computing resources
knowledge representation
low cost
anomaly detection
memory requirements