Struct ocelot::edabits::MacProver

pub struct MacProver<FE: FiniteField>(pub FE::PrimeField, pub FE);

The types MacProver and MacVerifier hold the data associated to a MAC between a prover and a verifier, following SVOLE style functionalities. The main property associated with the two types is that, given a MacProver(x, m) and its corresponding MacVerifier(k), the following equation holds m = k + delta x, for a global key delta, known only to the verifier.

Tuple Fields

0: FE::PrimeField

1: FE

Trait Implementations

impl<FE: Clone + FiniteField> Clone for MacProver<FE>

where FE::PrimeField: Clone,

fn clone(&self) -> MacProver<FE>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<FE: FiniteField> ConditionallySelectable for MacProver<FE>

fn conditional_select(a: &Self, b: &Self, choice: Choice) -> Self

Select a or b according to choice.

fn conditional_assign(&mut self, other: &Self, choice: Choice)

Conditionally assign other to self, according to choice.

fn conditional_swap(a: &mut Self, b: &mut Self, choice: Choice)

Conditionally swap self and other if choice == 1; otherwise, reassign both unto themselves.

impl<FE: Debug + FiniteField> Debug for MacProver<FE>

where FE::PrimeField: Debug,

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

Formats the value using the given formatter.

impl<FE: PartialEq + FiniteField> PartialEq for MacProver<FE>

where FE::PrimeField: PartialEq,

fn eq(&self, other: &MacProver<FE>) -> 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<FE: Copy + FiniteField> Copy for MacProver<FE>

where FE::PrimeField: Copy,

impl<FE: FiniteField> StructuralPartialEq for MacProver<FE>