docs.rs failed to build risc0-zkvm-circuit-sys-0.7.0-dev.2
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Visit the last successful build:
risc0-zkvm-circuit-sys-0.11.1
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.