risc0_zkvm_circuit/
lib.rs

1// This code is automatically generated
2
3mod poly_ext;
4mod poly_fp;
5mod step_accum;
6mod step_exec;
7mod step_verify;
8mod taps;
9
10use risc0_zkp::{
11    adapter::{CircuitInfo, TapsProvider},
12    taps::TapSet,
13};
14
15pub struct CircuitImpl {
16    taps: TapSet,
17}
18
19impl CircuitImpl {
20    pub fn new() -> Self {
21        CircuitImpl {
22            taps: TapSet::new(taps::TAPS),
23        }
24    }
25}
26
27impl TapsProvider for CircuitImpl {
28    fn get_taps(&self) -> &TapSet {
29        &self.taps
30    }
31}
32
33impl CircuitInfo for CircuitImpl {
34    #[rustfmt::skip]
35    fn output_size(&self) -> usize {
36        18
37    }
38
39    #[rustfmt::skip]
40    fn mix_size(&self) -> usize {
41        20
42    }
43}