Struct accumulator::proof::Poke2

pub struct Poke2<G: UnknownOrderGroup> { /* fields omitted */ }

Struct for NI-PoKE2.

Methods

impl<G: UnknownOrderGroup> Poke2<G>

pub fn prove(base: &G::Elem, exp: &Integer, result: &G::Elem) -> Self

Computes a proof that you know exp s.t. base ^ exp = result.

pub fn verify(
    base: &G::Elem,
    result: &G::Elem,
    Self { z: z, Q: Q, r: r }: &Self
) -> bool

Verifies that the prover knows exp s.t. base ^ exp = result.

Trait Implementations

impl<G: Eq + UnknownOrderGroup> Eq for Poke2<G> where
    G::Elem: Eq,
    G::Elem: Eq, 

impl<G: PartialEq + UnknownOrderGroup> PartialEq<Poke2<G>> for Poke2<G> where
    G::Elem: PartialEq,
    G::Elem: PartialEq, 

fn eq(&self, other: &Poke2<G>) -> bool

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

fn ne(&self, other: &Poke2<G>) -> bool

This method tests for !=.

impl<G: Clone + UnknownOrderGroup> Clone for Poke2<G> where
    G::Elem: Clone,
    G::Elem: Clone, 

fn clone(&self) -> Poke2<G>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Debug + UnknownOrderGroup> Debug for Poke2<G> where
    G::Elem: Debug,
    G::Elem: Debug, 

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

Formats the value using the given formatter.

impl<G: Hash + UnknownOrderGroup> Hash for Poke2<G> where
    G::Elem: Hash,
    G::Elem: Hash, 

fn hash<__HG: Hasher>(&self, state: &mut __HG)

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

Feeds a slice of this type into the given [Hasher].