sp1-hypercube 6.2.2

The SP1 Hypercube proof system
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

use serde::{Deserialize, Serialize};

use crate::lookup::InteractionKind;

/// An interaction is a cross-table lookup.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct AirInteraction<E> {
    /// The values of the interaction.
    pub values: Vec<E>,
    /// The multiplicity of the interaction.
    pub multiplicity: E,
    /// The kind of interaction.
    pub kind: InteractionKind,
}

impl<E> AirInteraction<E> {
    /// Create a new [`AirInteraction`].
    pub const fn new(values: Vec<E>, multiplicity: E, kind: InteractionKind) -> Self {
        Self { values, multiplicity, kind }
    }
}