Trait LcEncoding

pub trait LcEncoding:
    Clone
    + Debug
    + Sync {
    type F: Field + FieldHash + Debug + Clone;
    type Err: Debug + Error + Send;

    const LABEL_DT: &'static [u8];
    const LABEL_PR: &'static [u8];
    const LABEL_PE: &'static [u8];
    const LABEL_CO: &'static [u8];

    // Required methods
    fn encode<T: AsMut<[Self::F]>>(&self, inp: T) -> Result<(), Self::Err>;
    fn get_dims(&self, len: usize) -> (usize, usize, usize);
    fn dims_ok(&self, n_per_row: usize, n_cols: usize) -> bool;
    fn get_n_col_opens(&self) -> usize;
    fn get_n_degree_tests(&self) -> usize;
}

Trait for a linear encoding used by the polycommit

Required Associated Constants

const LABEL_DT: &'static [u8]

Domain separation label - degree test (see def_labels!())

const LABEL_PR: &'static [u8]

Domain separation label - random lin combs (see def_labels!())

const LABEL_PE: &'static [u8]

Domain separation label - eval comb (see def_labels!())

const LABEL_CO: &'static [u8]

Domain separation label - column openings (see def_labels!())

Required Associated Types

type F: Field + FieldHash + Debug + Clone

Field over which coefficients are defined

type Err: Debug + Error + Send

Error type for encoding

Required Methods

fn encode<T: AsMut<[Self::F]>>(&self, inp: T) -> Result<(), Self::Err>

Encoding function

fn get_dims(&self, len: usize) -> (usize, usize, usize)

Get dimensions for this encoding instance on an input vector of length len

fn dims_ok(&self, n_per_row: usize, n_cols: usize) -> bool

Check that supplied dimensions are compatible with this encoding

fn get_n_col_opens(&self) -> usize

Get the number of column openings required for this encoding

fn get_n_degree_tests(&self) -> usize

Get the number of degree tests required for this encoding

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors