Trait sp1_core::air::EmptyMessageBuilder

pub trait EmptyMessageBuilder: AirBuilder { }

A message builder for which sending and receiving messages is a no-op.

Object Safety

This trait is not object safe.

Implementations on Foreign Types

impl<'a, F: Field> EmptyMessageBuilder for DebugConstraintBuilder<'a, F>

impl<'a, SC: StarkGenericConfig> EmptyMessageBuilder for ProverConstraintFolder<'a, SC>

impl<'a, SC: StarkGenericConfig> EmptyMessageBuilder for VerifierConstraintFolder<'a, SC>

impl<F: Field> EmptyMessageBuilder for SymbolicAirBuilder<F>

Implementors

impl<'a, F, EF, PubVar, Var, Expr> EmptyMessageBuilder for GenericVerifierConstraintFolder<'a, F, EF, PubVar, Var, Expr>

where F: Field, EF: ExtensionField<F>, Expr: AbstractField<F = EF> + From<F> + Add<Var, Output = Expr> + Add<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<F, Output = Expr> + MulAssign<EF>, Var: Into<Expr> + Copy + Add<F, Output = Expr> + Add<Var, Output = Expr> + Add<Expr, Output = Expr> + Sub<F, Output = Expr> + Sub<Var, Output = Expr> + Sub<Expr, Output = Expr> + Mul<F, Output = Expr> + Mul<Var, Output = Expr> + Mul<Expr, Output = Expr> + Send + Sync, PubVar: Into<Expr> + Copy,

impl<'a, F: Field, EF: ExtensionField<F>> EmptyMessageBuilder for sp1_core::stark::DebugConstraintBuilder<'a, F, EF>

impl<'a, SC: StarkGenericConfig> EmptyMessageBuilder for sp1_core::stark::ProverConstraintFolder<'a, SC>