risc0_zkvm_circuit_sys

此 crate/directory 包含实现 RISC-V 算术电路的 C++ 代码。

电路使用 C++ EDSL 描述，大量使用操作符重载。然后，此 EDSL 代码生成原始 IR，进一步“优化”，并生成生成执行跟踪并评估核心约束多项式的代码。

rust crate 导出单个函数，将此电路写入 C++ 头文件。