Enum BatchingMethod 

#[repr(u8)]
pub enum BatchingMethod {
    Linear = 0,
    Algebraic = 1,
    Horner = 2,
}

Represents the type of batching, using randomness, used in the construction of either the constraint composition polynomial or the DEEP composition polynomial.

There are currently two types of batching supported:

1. Linear, also called affine, where the resulting expression is a multivariate polynomial of total degree 1 in each of the random values.
2. Algebraic, also called parametric or curve batching, where the resulting expression is a univariate polynomial in one random value.
3. Horner, which is the same as Algebraic except that the random values generated are reversed. This can sometimes be useful in the context of recursive verification as it removes the need to do the reversion of the coefficients when using Horner’s method of polynomial evaluation.

The main difference between the two types is that algebraic batching has low verifier randomness complexity and hence is light on the number of calls to the random oracle. However, this comes at the cost of an increase in the soundness error of the constraint batching step, i.e., ALI, on the order of log2(C - 1) where C is the number of constraints being batched and an increase in the soundness error of the FRI batching step, on the order of log2(N - 1) where N is the number of code words being batched. Linear batching does not suffer from such a degradation but has linear verifier randomness complexity in the number of terms being batched.

Variants

Linear = 0

Algebraic = 1

Horner = 2

Trait Implementations

impl Clone for BatchingMethod

fn clone(&self) -> BatchingMethod

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BatchingMethod

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

Formats the value using the given formatter.

impl Deserializable for BatchingMethod

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

Reads BatchingMethod from the specified source and returns the result.

Errors

Returns an error if the value does not correspond to a valid BatchingMethod.

fn read_from_bytes(bytes: &[u8]) -> Result<Self, DeserializationError>

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

impl PartialEq for BatchingMethod

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl Serializable for BatchingMethod

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

Serializes self and writes the resulting bytes into the target.

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

Serializes self into a vector of bytes.

fn get_size_hint(&self) -> usize

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

impl Copy for BatchingMethod

impl Eq for BatchingMethod

impl StructuralPartialEq for BatchingMethod