Enum winter_verifier::FieldExtension

pub enum FieldExtension {
    None,
    Quadratic,
    Cubic,
}

Defines an extension field for the composition polynomial.

Choice of a field for a composition polynomial may impact proof soundness, and can also have a non-negligible impact on proof generation time and proof size. Specifically, for small fields, security offered by the base field itself may be inadequate or insufficient, and an extension of the base field may need to be used.

For example, if the size of base field is ~64-bits, a quadratic extension must be use to achieve ~100 bits of soundness, and a cubic extension must be used to achieve 128+ bits of soundness.

However, increasing extension degree will increase proof generation time and proof size by as much as 50%.

Variants

None

Composition polynomial is constructed in the base field.

Quadratic

Composition polynomial is constructed in the quadratic extension of the base field.

Cubic

Composition polynomial is constructed in the cubic extension of the base field.

Implementations

impl FieldExtension

pub fn is_none(&self) -> bool

Returns true if this field extension is set to None.

pub fn degree(&self) -> u32

Returns extension degree of this field extension.

Trait Implementations

impl Clone for FieldExtension

fn clone(&self) -> FieldExtension

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FieldExtension

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

Formats the value using the given formatter.

impl Deserializable for FieldExtension

fn read_from<R>(source: &mut R) -> Result<FieldExtension, DeserializationError>where
    R: ByteReader,

Reads a field extension enum from the specified source.

fn read_batch_from<R>(
    source: &mut R,
    num_elements: usize
) -> Result<Vec<Self, Global>, DeserializationError>where
    R: ByteReader,

Reads a sequence of bytes from the provided source, attempts to deserialize these bytes into a vector with the specified number of Self elements, and returns the result.

impl PartialEq<FieldExtension> for FieldExtension

fn eq(&self, other: &FieldExtension) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serializable for FieldExtension

fn write_into<W>(&self, target: &mut W)where
    W: ByteWriter,

Serializes self and writes the resulting bytes into the target.

fn to_bytes(&self) -> Vec<u8, Global>

Serializes self into a vector of bytes.

fn write_batch_into<W>(source: &[Self], target: &mut W)where
    W: ByteWriter,

Serializes all elements of the source and writes these bytes into the target.

fn get_size_hint(&self) -> usize

Returns an estimate of how many bytes are needed to represent self.

impl Copy for FieldExtension

impl Eq for FieldExtension

impl StructuralEq for FieldExtension

impl StructuralPartialEq for FieldExtension