Trait SP1OperationOutput 

pub trait SP1OperationOutput<T> {
    // Required methods
    fn alloc() -> T;
    fn to_output(&self, ctx: &mut FuncCtx) -> T;
    fn assign(&self, other: T);
}

Trait for handling operation outputs in SP1.

This trait provides methods for allocating and assigning operation outputs.

Required Methods

fn alloc() -> T

Allocates space for the output and returns the allocated value.

fn to_output(&self, ctx: &mut FuncCtx) -> T

Replace all contents with IrVar(Output…)

fn assign(&self, other: T)

Assigns the output.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementations on Foreign Types

impl SP1OperationOutput<()> for ()

fn alloc()

fn to_output(&self, _: &mut FuncCtx)

fn assign(&self, (): Self)

impl<const N: usize> SP1OperationOutput<[ExprRef<<ConstraintCompiler as AirBuilder>::F>; N]> for [ExprRef<<ConstraintCompiler as AirBuilder>::F>; N]

fn alloc() -> Self

fn to_output(&self, ctx: &mut FuncCtx) -> Self

fn assign(&self, other: Self)

Implementors

impl SP1OperationOutput<ExprRef<<ConstraintCompiler as AirBuilder>::F>> for ExprRef<<ConstraintCompiler as AirBuilder>::F>

impl SP1OperationOutput<Word<ExprRef<<ConstraintCompiler as AirBuilder>::F>>> for Word<ExprRef<<ConstraintCompiler as AirBuilder>::F>>