#circuit #zero-knowledge #risc #vm #risc-v #write #produces

sys risc0-zkvm-circuit-sys

RISC Zero zero-knowledge VM circuit crate

14 releases (4 breaking)

0.11.1 Aug 13, 2022
0.11.0 Aug 13, 2022
0.10.0 Jun 24, 2022
0.9.0 Jun 11, 2022
0.7.2 May 27, 2022

#4 in #produces

Download history 3/week @ 2024-02-11 8/week @ 2024-02-18 27/week @ 2024-02-25 117/week @ 2024-03-03 12/week @ 2024-03-10

165 downloads per month
Used in 4 crates (2 directly)

Apache-2.0

190KB
4K SLoC

C++ 3.5K SLoC // 0.2% comments Bazel 332 SLoC Rust 85 SLoC // 0.5% comments Python 3 SLoC // 0.8% comments

risc0_zkvm_circuit_sys

This crate/directory contains C++ code the implements the RISC-V arithmetic circuit.

The circuit is decribed using a C++ EDSL, which leans heavily on operator overloading. This EDSL code then produces a primitive IR, which is 'optimized' further, and results in the generation of code which both generates execution traces and also evaluates the core constraint polynomials.

The rust crate exports a single function which writes this circuit out to a C++ header file.

Dependencies

~5MB
~104K SLoC