[][src]Struct accumulator::Witness

pub struct Witness<G: UnknownOrderGroup, T: Hash>(pub Accumulator<G, T>);

A witness to one or more values in an accumulator, represented as an accumulator.


impl<G: UnknownOrderGroup, T: Clone + Hash> Witness<G, T>[src]

pub fn compute_subset_witness(
    witness_set: &[T],
    witness_subset: &[T]
) -> Result<Self, AccError> where
    T: PartialEq

Given a witness for witness_set, returns a witness for witness_subset.

The witness_subset must be a subset of the witness_set.

pub fn compute_individual_witnesses(&self, elems: &[T]) -> Vec<(T, Self)>[src]

Given a witness for many elems, computes a sub-witness for each individual element in O(N log N) time.

Trait Implementations

impl<G: Eq + UnknownOrderGroup, T: Eq + Hash> Eq for Witness<G, T>[src]

impl<G: PartialEq + UnknownOrderGroup, T: PartialEq + Hash> PartialEq<Witness<G, T>> for Witness<G, T>[src]

impl<G: Clone + UnknownOrderGroup, T: Clone + Hash> Clone for Witness<G, T>[src]

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

Performs copy-assignment from source. Read more

impl<G: Debug + UnknownOrderGroup, T: Debug + Hash> Debug for Witness<G, T>[src]

impl<G: Hash + UnknownOrderGroup, T: Hash + Hash> Hash for Witness<G, T>[src]

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

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

Auto Trait Implementations

impl<G, T> Send for Witness<G, T> where
    T: Send,
    <G as Group>::Elem: Send

impl<G, T> Sync for Witness<G, T> where
    T: Sync,
    <G as Group>::Elem: Sync

Blanket Implementations

impl<T, U> Into for T where
    U: From<T>, 

impl<T> ToOwned for T where
    T: Clone

type Owned = T

impl<T> From for T[src]

impl<T, U> TryFrom for T where
    U: Into<T>, 

type Error = Infallible

The type returned in the event of a conversion error.

impl<T> Borrow for T where
    T: ?Sized

impl<T> Any for T where
    T: 'static + ?Sized

impl<T> BorrowMut for T where
    T: ?Sized

impl<T, U> TryInto for T where
    U: TryFrom<T>, 

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> Same for T

type Output = T

Should always be Self