Struct GlobalInteractionOperation 

#[repr(C)]
pub struct GlobalInteractionOperation<T: Copy> {
    pub offset_bits: [T; 8],
    pub x_coordinate: SepticBlock<T>,
    pub y_coordinate: SepticBlock<T>,
    pub y6_bit_decomp: [T; 30],
    pub range_check_witness: T,
    pub permutation: Poseidon2Operation<T>,
}

A set of columns needed to compute the global interaction elliptic curve digest.

Fields

offset_bits: [T; 8]

x_coordinate: SepticBlock<T>

y_coordinate: SepticBlock<T>

y6_bit_decomp: [T; 30]

range_check_witness: T

permutation: Poseidon2Operation<T>

Implementations

impl<F: PrimeField32> GlobalInteractionOperation<F>

pub fn get_digest( values: SepticBlock<u32>, is_receive: bool, kind: u8, ) -> (SepticCurve<F>, u8, [F; 16], [F; 16])

pub fn populate( &mut self, values: SepticBlock<u32>, is_receive: bool, is_real: bool, kind: u8, )

pub fn populate_dummy(&mut self)

impl<F: Field> GlobalInteractionOperation<F>

pub fn eval_single_digest<AB: SP1AirBuilder + PairBuilder>( builder: &mut AB, values: [AB::Expr; 7], cols: GlobalInteractionOperation<AB::Var>, is_receive: AB::Expr, is_send: AB::Expr, is_real: AB::Var, kind: AB::Var, )

Constrain that the elliptic curve point for the global interaction is correctly derived.

Trait Implementations

impl<T: Copy> Borrow<GlobalInteractionOperation<T>> for [T]

fn borrow(&self) -> &GlobalInteractionOperation<T>

Immutably borrows from an owned value.

impl<T: Copy> BorrowMut<GlobalInteractionOperation<T>> for [T]

fn borrow_mut(&mut self) -> &mut GlobalInteractionOperation<T>

Mutably borrows from an owned value.

impl<T: Clone + Copy> Clone for GlobalInteractionOperation<T>

fn clone(&self) -> GlobalInteractionOperation<T>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<T: Copy + Copy> Copy for GlobalInteractionOperation<T>