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

https://www.youtube.com/watch?v=oLvdQO__MLk Abstract This talk introduces our work that is published in Asiacrypt 2023. This work is about zero-knowledge virtual machines (ZKVM). ZKVM has become increasingly popular recently because of its potentia...