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

Yuncong Zhang, Shifeng Sun, Ren Zhang, Dawu Gu

Browse the full ASIACRYPT paper archive.