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

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

Yuncong Zhang, Shi-Feng Sun, Ren Zhang, Dawu Gu

Zero-Knowledge Virtual Machines (ZKVMs) have gained traction in recent years due to their potential applications in a variety of areas, particularly blockchain ecosystems. Despite tremendous progress on ZKVMs in the industry, no formal definitions or security proofs have been established in the literature. Due to this lack of formalization, existing protocols exhibit significant discrepancies in terms of problem definitions and …

applications blockchain consistency ecosystems eprint report knowledge machines memory progress report shi virtual virtual machines