Zero Knowledge Virtual Machine step by step

Tim Dokchitser; Alexandr Bulkin

Paper 2023/1032 Original: eprint.iacr.org/2023/1032 ↗

Zero Knowledge Virtual Machine step by step

Tim Dokchitser

Alexandr Bulkin

Abstract

This paper's primary purpose is to provide a source of introductory information into building a zero knowledge proof system for general computation. We review how to build such a system with a polynomial commitment scheme, and how to implement a fully functional command set in terms of zero knowledge primitives.

Metadata

Available format(s): PDF
Category: Cryptographic protocols
Publication info: Preprint.
History: 2023-07-03: last updated; 2023-07-03: published
Short URL: https://ia.cr/2023/1032
License: https://creativecommons.org/licenses/by/4.0/

BibTeX

@misc{cryptoeprint:2023/1032,
      author = {Tim Dokchitser and Alexandr Bulkin},
      title = {Zero Knowledge Virtual Machine step by step},
      howpublished = {Cryptology {ePrint} Archive, Paper 2023/1032},
      year = {2023},
      url = {https://eprint.iacr.org/2023/1032}
}