Enum miden_air::FieldExtension

#[repr(u8)]
pub enum FieldExtension {
    None = 1,
    Quadratic = 2,
    Cubic = 3,
}

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 = 1

Composition polynomial is constructed in the base field.

Quadratic = 2

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

Cubic = 3

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

Implementations

impl FieldExtension

pub const fn is_none(&self) -> bool

Returns true if this field extension is set to None.

pub const 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_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

Attempts to deserialize the provided bytes into Self and returns the result.

impl PartialEq 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 get_size_hint(&self) -> usize

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

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

Serializes self into a vector of bytes.

impl Copy for FieldExtension

impl Eq for FieldExtension

impl StructuralPartialEq for FieldExtension