Struct accumulator::proof::Pokcr

pub struct Pokcr<G: Group> { /* fields omitted */ }

Struct for NI-PoKCR.

Methods

impl<G: Group> Pokcr<G>

pub fn prove(witnesses: &[G::Elem]) -> Self

Generates an NI-PoKCR proof.

pub fn verify(alphas: &[G::Elem], x: &[Integer], proof: &Self) -> bool

Verifies an NI-PoKCR proof.

Trait Implementations

impl<G: Eq + Group> Eq for Pokcr<G> where
    G::Elem: Eq, 

impl<G: PartialEq + Group> PartialEq<Pokcr<G>> for Pokcr<G> where
    G::Elem: PartialEq, 

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

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

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

This method tests for !=.

impl<G: Clone + Group> Clone for Pokcr<G> where
    G::Elem: Clone, 

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<G: Debug + Group> Debug for Pokcr<G> where
    G::Elem: Debug, 

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

Formats the value using the given formatter.

impl<G: Hash + Group> Hash for Pokcr<G> where
    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].