Enum arrabbiata::challenge::ChallengeTerm

pub enum ChallengeTerm {
    ConstraintCombiner,
    Beta,
    Gamma,
    ConstraintHomogeniser,
    RelationCombiner,
}

Variants

ConstraintCombiner

Used to aggregate the constraints describing the relation. It is used to enforce all constraints are satisfied at the same time. Often noted α.

Beta

Both challenges used in the permutation argument

Gamma

ConstraintHomogeniser

Used to homogenize the constraints and allow the protocol to fold two instances of the same relation into a new one. Often noted u in the paper mentioning “folding protocols”.

RelationCombiner

Used by the accumulation protocol (folding) to perform a random linear transformation of the witnesses and the public values. Often noted r in the paper mentioning “folding protocols”.

Trait Implementations

impl<'a> AlphaChallengeTerm<'a> for ChallengeTerm

const ALPHA: Self = Self::ConstraintCombiner

impl Clone for ChallengeTerm

fn clone(&self) -> ChallengeTerm

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ChallengeTerm

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ChallengeTerm

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for ChallengeTerm

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

Formats the value using the given formatter.

impl EnumCount for ChallengeTerm

const COUNT: usize = 5usize

impl<F> Index<ChallengeTerm> for Challenges<F>

type Output = F

The returned type after indexing.

fn index(&self, term: ChallengeTerm) -> &Self::Output

Performs the indexing (container[index]) operation.

impl<F> IndexMut<ChallengeTerm> for Challenges<F>

fn index_mut(&mut self, term: ChallengeTerm) -> &mut F

Performs the mutable indexing (container[index]) operation.

impl PartialEq<ChallengeTerm> for ChallengeTerm

fn eq(&self, other: &ChallengeTerm) -> 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 Serialize for ChallengeTerm

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ChallengeTerm

impl Eq for ChallengeTerm

impl StructuralEq for ChallengeTerm

impl StructuralPartialEq for ChallengeTerm