Crate risc0_zkvm_circuit_sys
source · [−]Expand description
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.
Functions
Produces a machine generated .h file that implements the RISC-V circuit and writes it to a file.