9 releases

1.0.0-rc.2 Dec 3, 2022
0.13.0 Feb 18, 2023
0.12.0 Jan 27, 2023
0.11.1 Aug 13, 2022

#577 in Cryptography

Download history 56/week @ 2022-11-28 75/week @ 2022-12-05 62/week @ 2022-12-12 48/week @ 2022-12-19 28/week @ 2022-12-26 27/week @ 2023-01-02 30/week @ 2023-01-09 66/week @ 2023-01-16 65/week @ 2023-01-23 93/week @ 2023-01-30 64/week @ 2023-02-06 89/week @ 2023-02-13 99/week @ 2023-02-20 93/week @ 2023-02-27 52/week @ 2023-03-06 58/week @ 2023-03-13

324 downloads per month
Used in 4 crates

Apache-2.0

9.5MB
137K SLoC

C++ 103K SLoC // 0.4% comments Rust 34K SLoC // 0.1% comments GNU Style Assembly 371 SLoC // 0.5% comments

A virtual machine to produces ZK proofs of computation

The RISC Zero zkVM is a RISC-V virtual machine that produces zero-knowledge proofs of code it executes. By using the zkVM, a cryptographic Receipt is produced which anyone can verify was produced by the zkVM's guest code. No additional information about the code execution (such as, for example, the inputs provided) is revealed by publishing the Receipt. A high-level overview of how the zkVM is structured to accomplish this is available in our Overview of the zkVM explainer.

Developers new to RISC Zero are encouraged to get started with our RISC Zero Rust Starter repository, which provides an example of producing a zero-knowledge proof that a number is composite, along with an introduction to key components of the RISC Zero zkVM.

Dependencies

~1.8–6MB
~119K SLoC