Struct sp1_core::syscall::precompiles::edwards::EdDecompressCols

#[repr(C)]
pub struct EdDecompressCols<T> {
    pub is_real: T,
    pub shard: T,
    pub channel: T,
    pub clk: T,
    pub nonce: T,
    pub ptr: T,
    pub sign: T,
    pub x_access: GenericArray<MemoryWriteCols<T>, <Ed25519BaseField as NumWords>::WordsFieldElement>,
    pub y_access: GenericArray<MemoryReadCols<T>, <Ed25519BaseField as NumWords>::WordsFieldElement>,
    /* private fields */
}

A set of columns to compute EdDecompress given a pointer to a 16 word slice formatted as such: The 31st byte of the slice is the sign bit. The second half of the slice is the 255-bit compressed Y (without sign bit).

After EdDecompress, the first 32 bytes of the slice are overwritten with the decompressed X.

Fields

is_real: T

shard: T

channel: T

clk: T

nonce: T

ptr: T

sign: T

x_access: GenericArray<MemoryWriteCols<T>, <Ed25519BaseField as NumWords>::WordsFieldElement>

y_access: GenericArray<MemoryReadCols<T>, <Ed25519BaseField as NumWords>::WordsFieldElement>

Implementations

impl<F: PrimeField32> EdDecompressCols<F>

pub fn populate<P: FieldParameters, E: EdwardsParameters>( &mut self, event: EdDecompressEvent, record: &mut ExecutionRecord, )

impl<V: Copy> EdDecompressCols<V>

pub fn eval<AB: SP1AirBuilder<Var = V>, P: FieldParameters, E: EdwardsParameters>( &self, builder: &mut AB, )

where V: Into<AB::Expr>,

Trait Implementations

impl<T> Borrow<EdDecompressCols<T>> for [T]

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

Immutably borrows from an owned value.

impl<T> BorrowMut<EdDecompressCols<T>> for [T]

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

Mutably borrows from an owned value.

impl<T: Clone> Clone for EdDecompressCols<T>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug> Debug for EdDecompressCols<T>

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

Formats the value using the given formatter.