Trait risc0_zkp::adapter::CircuitStep

pub trait CircuitStep<E: Elem> {
    // Required methods
    fn step_exec<S: CircuitStepHandler<E>>(
        &self,
        ctx: &CircuitStepContext,
        custom: &mut S,
        args: &[SyncSlice<'_, E>]
    ) -> Result<E>;
    fn step_verify_bytes<S: CircuitStepHandler<E>>(
        &self,
        ctx: &CircuitStepContext,
        custom: &mut S,
        args: &[SyncSlice<'_, E>]
    ) -> Result<E>;
    fn step_verify_mem<S: CircuitStepHandler<E>>(
        &self,
        ctx: &CircuitStepContext,
        custom: &mut S,
        args: &[SyncSlice<'_, E>]
    ) -> Result<E>;
    fn step_compute_accum<S: CircuitStepHandler<E>>(
        &self,
        ctx: &CircuitStepContext,
        custom: &mut S,
        args: &[SyncSlice<'_, E>]
    ) -> Result<E>;
    fn step_verify_accum<S: CircuitStepHandler<E>>(
        &self,
        ctx: &CircuitStepContext,
        custom: &mut S,
        args: &[SyncSlice<'_, E>]
    ) -> Result<E>;
}

Required Methods

fn step_exec<S: CircuitStepHandler<E>>( &self, ctx: &CircuitStepContext, custom: &mut S, args: &[SyncSlice<'_, E>] ) -> Result<E>

fn step_verify_bytes<S: CircuitStepHandler<E>>( &self, ctx: &CircuitStepContext, custom: &mut S, args: &[SyncSlice<'_, E>] ) -> Result<E>

fn step_verify_mem<S: CircuitStepHandler<E>>( &self, ctx: &CircuitStepContext, custom: &mut S, args: &[SyncSlice<'_, E>] ) -> Result<E>

fn step_compute_accum<S: CircuitStepHandler<E>>( &self, ctx: &CircuitStepContext, custom: &mut S, args: &[SyncSlice<'_, E>] ) -> Result<E>

fn step_verify_accum<S: CircuitStepHandler<E>>( &self, ctx: &CircuitStepContext, custom: &mut S, args: &[SyncSlice<'_, E>] ) -> Result<E>

Implementors