risc0-zkvm-circuit-sys 0.11.1

RISC Zero zero-knowledge VM circuit crate


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.