Virtual Machine Zero knowledge
- Published on
A virtual machine (VM) is a program that runs programs. In context, a zkVM is a virtual computer that is implemented as a system for generating zero knowledge proofs, or a universal circuit, or tool, for generating ZKPs for any program or computation.
zkVMs remove the need to learn complicated mathematics and cryptography for designing and coding ZK, and enables any developer to execute programs written in their preferred languages and generate ZKPs, making it far easier to integrate and interact with zero knowledge. Broadly speaking, most references to zkVMs implicitly include the compiler toolchains and proof systems appended to the virtual machine that executes the programs, and not just the virtual machine itself. Below, we summarize the main components of a zkVM and their functions
Examples of zkVMs
Youtube Videos
Examples of zkVMs
Jolt
Powdr
Starknet*
Examples of zkEVMs
Scroll Kakarot Polygon zkEVM Taiko ZKSync*
Resources
Lita Foundation - ZK Paradigm zkVM