GitHub repository: trailofbits/sv_circuit
Primary language: Rust
Description: Compile processor circuit to ZK-statement