Trait EmptyMessageBuilder 

pub trait EmptyMessageBuilder: AirBuilder { }

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

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<F: Field> EmptyMessageBuilder for DebugConstraintBuilder<'_, F>

Available on debug-assertions enabled only.

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

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

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

Implementors

impl<F, EF, PubVar, Var, Expr> EmptyMessageBuilder for GenericVerifierConstraintFolder<'_, 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<F: Field, EF: ExtensionField<F>> EmptyMessageBuilder for sp1_hypercube::DebugConstraintBuilder<'_, F, EF>

impl<F: Field, K: Field + From<F> + Add<F, Output = K> + Sub<F, Output = K> + Mul<F, Output = K>, EF: Field + Mul<K, Output = EF>> EmptyMessageBuilder for ConstraintSumcheckFolder<'_, F, K, EF>