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

#2420 in Cryptography

Download history 40/week @ 2023-10-23 55/week @ 2023-10-30 36/week @ 2023-11-06 27/week @ 2023-11-13 58/week @ 2023-11-20 70/week @ 2023-11-27 35/week @ 2023-12-04 49/week @ 2023-12-11 34/week @ 2023-12-18 60/week @ 2023-12-25 32/week @ 2024-01-01 32/week @ 2024-01-08 31/week @ 2024-01-15 37/week @ 2024-01-22 49/week @ 2024-01-29 32/week @ 2024-02-05

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

Apache-2.0

185KB
3.5K SLoC

C++ 3.5K SLoC // 0.2% comments 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
~102K SLoC