Struct vb_accumulator::kb_positive_accumulator::adaptive_accumulator::KBPositiveAccumulator

pub struct KBPositiveAccumulator<E: Pairing>(pub NonAdaptivePositiveAccumulator<E>);

A dynamic positive accumulator

Tuple Fields

0: NonAdaptivePositiveAccumulator<E>

Implementations

impl<E: Pairing> KBPositiveAccumulator<E>

pub fn initialize<R: RngCore>( rng: &mut R, params_gen: impl AsRef<E::G1Affine> ) -> Self

pub fn add<D: Default + DynDigest + Clone>( &self, element: &E::ScalarField, sk: &SecretKey<E::ScalarField>, params: &SetupParams<E>, state: &mut dyn State<E::ScalarField> ) -> Result<KBPositiveAccumulatorWitness<E>, VBAccumulatorError>

Add an element to the accumulator. Returns the membership witness of that element

pub fn remove<D: Default + DynDigest + Clone>( &self, element: &E::ScalarField, sk: &SecretKey<E::ScalarField>, state: &mut dyn State<E::ScalarField> ) -> Result<Self, VBAccumulatorError>

Removes an element from the accumulator. Returns the new value of the accumulator

pub fn add_batch<D: Default + DynDigest + Clone>( &self, elements: Vec<E::ScalarField>, sk: &SecretKey<E::ScalarField>, params: &SetupParams<E>, state: &mut dyn State<E::ScalarField> ) -> Result<Vec<KBPositiveAccumulatorWitness<E>>, VBAccumulatorError>

Add a batch of elements to the accumulator. Returns the membership witness of that batch

pub fn remove_batch<D: Default + DynDigest + Clone>( &self, elements: &[E::ScalarField], sk: &SecretKey<E::ScalarField>, state: &mut dyn State<E::ScalarField> ) -> Result<Self, VBAccumulatorError>

Removes a batch of elements from the accumulator. Returns the new value of the accumulator

pub fn batch_updates<D: Default + DynDigest + Clone>( &self, additions: Vec<E::ScalarField>, removals: &[E::ScalarField], sk: &SecretKey<E::ScalarField>, params: &SetupParams<E>, state: &mut dyn State<E::ScalarField> ) -> Result<(Self, Vec<KBPositiveAccumulatorWitness<E>>), VBAccumulatorError>

Add and removes batches of elements. Returns the new accumulator value and the membership witnesses of the added batch.

pub fn get_witness<D: Default + DynDigest + Clone>( &self, member: &E::ScalarField, sk: &SecretKey<E::ScalarField>, params: &SetupParams<E>, state: &dyn State<E::ScalarField> ) -> Result<KBPositiveAccumulatorWitness<E>, VBAccumulatorError>

Get membership witness of an element

pub fn get_witnesses_for_batch<D: Default + DynDigest + Clone>( &self, members: &[E::ScalarField], sk: &SecretKey<E::ScalarField>, params: &SetupParams<E>, state: &dyn State<E::ScalarField> ) -> Result<Vec<KBPositiveAccumulatorWitness<E>>, VBAccumulatorError>

pub fn verify_membership( &self, member: &E::ScalarField, witness: &KBPositiveAccumulatorWitness<E>, pk: &PublicKey<E>, params: &SetupParams<E> ) -> Result<(), VBAccumulatorError>

pub fn value(&self) -> &E::G1Affine

pub fn from_accumulated(accumulated: E::G1Affine) -> Self

pub fn accumulator_member<D: Default + DynDigest + Clone>( element: &E::ScalarField, sk: &SecretKey<E::ScalarField> ) -> E::ScalarField

The value corresponding to element that is added to the non-adaptive accumulator

Trait Implementations

impl<E: Pairing> CanonicalDeserialize for KBPositiveAccumulator<E>

fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate ) -> Result<Self, SerializationError>

The general deserialize method that takes in customization flags.

fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_compressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>

where R: Read,

fn deserialize_uncompressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>

where R: Read,

impl<E: Pairing> CanonicalSerialize for KBPositiveAccumulator<E>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress ) -> Result<(), SerializationError>

The general serialize method that takes in customization flags.

fn serialized_size(&self, compress: Compress) -> usize

fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn compressed_size(&self) -> usize

fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>

where W: Write,

fn uncompressed_size(&self) -> usize

impl<E: Clone + Pairing> Clone for KBPositiveAccumulator<E>

fn clone(&self) -> KBPositiveAccumulator<E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E: Debug + Pairing> Debug for KBPositiveAccumulator<E>

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

Formats the value using the given formatter.

impl<'de, E: Pairing> Deserialize<'de> for KBPositiveAccumulator<E>

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl<E: PartialEq + Pairing> PartialEq for KBPositiveAccumulator<E>

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl<E: Pairing> Valid for KBPositiveAccumulator<E>

fn check(&self) -> Result<(), SerializationError>

fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send ) -> Result<(), SerializationError>

where Self: 'a,

impl<E: Eq + Pairing> Eq for KBPositiveAccumulator<E>

impl<E: Pairing> StructuralPartialEq for KBPositiveAccumulator<E>