Trait risc0_zkp::adapter::CircuitStepHandler

pub trait CircuitStepHandler<E: Elem> {
    fn call(
        &mut self,
        cycle: usize,
        name: &str,
        extra: &str,
        args: &[E],
        outs: &mut [E]
    ) -> Result<()>;
    fn sort(&mut self, name: &str);
    fn calc_prefix_products(&mut self);
}

Required Methods

fn call(
    &mut self,
    cycle: usize,
    name: &str,
    extra: &str,
    args: &[E],
    outs: &mut [E]
) -> Result<()>

fn sort(&mut self, name: &str)

fn calc_prefix_products(&mut self)

Implementors