Zero Knowledge Virtual Machine step by step

Tim Dokchitser; Alexandr Bulkin

Paper 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.
Keywords: Zero Knowledge Virtual Machine Polynomial commitment scheme
Contact author(s): timdok @ gmail com
alex @ adaptframework solutions
History: 2023-07-05: approved; 2023-07-03: received; See all versions
Short URL: https://ia.cr/2023/1032
License: CC BY

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}
}