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

Yuncong Zhang, Shi-Feng Sun 0001, Ren Zhang 0003, Dawu Gu. Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines. IACR Cryptology ePrint Archive, 2023:1555, 2023. [doi]

@article{ZhangSZG23,
  title = {Polynomial IOPs for Memory Consistency Checks in Zero-Knowledge Virtual Machines},
  author = {Yuncong Zhang and Shi-Feng Sun 0001 and Ren Zhang 0003 and Dawu Gu},
  year = {2023},
  url = {https://eprint.iacr.org/2023/1555},
  researchr = {https://researchr.org/publication/ZhangSZG23},
  cites = {0},
  citedby = {0},
  journal = {IACR Cryptology ePrint Archive},
  volume = {2023},
  pages = {1555},
}