Struct UairTrace 

pub struct UairTrace<'a, PolyCoeff: Clone, Int: Clone, const D: usize> {
    pub binary_poly: Cow<'a, [DenseMultilinearExtension<BinaryPoly<D>>]>,
    pub arbitrary_poly: Cow<'a, [DenseMultilinearExtension<DensePolynomial<PolyCoeff, D>>]>,
    pub int: Cow<'a, [DenseMultilinearExtension<Int>]>,
}

The trace of a UAIR execution (pre-projection). If owned, it contains the full trace, otherwise it contains a view on the full trace (e.g. only public columns).

Fields

binary_poly: Cow<'a, [DenseMultilinearExtension<BinaryPoly<D>>]>

arbitrary_poly: Cow<'a, [DenseMultilinearExtension<DensePolynomial<PolyCoeff, D>>]>

int: Cow<'a, [DenseMultilinearExtension<Int>]>

Implementations

impl<PolyCoeff: Clone, Int: Clone, const D: usize> UairTrace<'static, PolyCoeff, Int, D>

pub fn public(&self, sig: &UairSignature) -> UairTrace<'_, PolyCoeff, Int, D>

Returns a sub-trace containing only public columns. Returned trace is borrowed from the full trace.

pub fn witness(&self, sig: &UairSignature) -> UairTrace<'_, PolyCoeff, Int, D>

Returns a sub-trace containing only witness columns. Returned trace is borrowed from the full trace.

Trait Implementations

impl<'a, PolyCoeff: Clone + Clone, Int: Clone + Clone, const D: usize> Clone for UairTrace<'a, PolyCoeff, Int, D>

fn clone(&self) -> UairTrace<'a, PolyCoeff, Int, D>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, PolyCoeff: Debug + Clone, Int: Debug + Clone, const D: usize> Debug for UairTrace<'a, PolyCoeff, Int, D>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, PolyCoeff: Default + Clone, Int: Default + Clone, const D: usize> Default for UairTrace<'a, PolyCoeff, Int, D>

fn default() -> UairTrace<'a, PolyCoeff, Int, D>

Returns the “default value” for a type.