Type Alias SymbolicInteraction 

pub type SymbolicInteraction<F> = Interaction<SymbolicExpression<F>>;

Aliased Type

pub struct SymbolicInteraction<F> {
    pub message: Vec<SymbolicExpression<F>>,
    pub count: SymbolicExpression<F>,
    pub bus_index: u16,
    pub count_weight: u32,
}

Fields

message: Vec<SymbolicExpression<F>>

count: SymbolicExpression<F>

bus_index: u16

The bus index specifying the bus to send the message over. All valid instantiations of BusIndex are safe.

count_weight: u32

Determines the contribution of each interaction message to a linear constraint on the trace heights in the verifier.

For each bus index and trace, count_weight values are summed per interaction on that bus index and multiplied by the trace height. The total sum over all traces is constrained by the verifier to not overflow the field characteristic ( p ).

This is used to impose sufficient conditions for bus constraint soundness and setting a proper value depends on the bus and the constraint it imposes.