Struct accumulator::VectorCommitment

pub struct VectorCommitment<G: UnknownOrderGroup>(_);

A vector commitment, wrapping an underlying accumulator. The accumulator contains indices of an abstract vector where the corresponding bit is True.

Methods

impl<G: UnknownOrderGroup> VectorCommitment<G>

pub fn empty() -> Self

Initializes a new vector commitment (VC).

pub fn update(
    vc: Self,
    vc_acc_set: &[Integer],
    bits: &[(bool, Integer)]
) -> Result<(Self, VectorProof<G>), VCError>

Updates a VC with a list of values and indices.

Arguments

• vc_acc_set - All indices that are set (True).
• bits - Tuples (truth value, bit index) to set.

Uses a move instead of a &self reference to prevent accidental use of the old VC state.

pub fn open(
    vc: &Self,
    vc_acc_set: &[Integer],
    zero_bits: &[Integer],
    one_bit_witnesses: &[(Integer, Witness<G, Integer>)]
) -> Result<VectorProof<G>, VCError>

Opens/generates a commitment to indices in the VC.

Arguments

• vc_acc_set - All indices that are set (True).
• zero_bits - Indices you want to prove are unset (False).
• one_bit_witnesses - Indices you want to prove are set (True) and their witnesses.

pub fn verify(
    vc: &Self,
    bits: &[(bool, Integer)],
    VectorProof { membership_proof: membership_proof, nonmembership_proof: nonmembership_proof }: &VectorProof<G>
) -> bool

Verifies a commitment to indices in the VC.

Arguments

• bits - Tuples (truth value, bit index) to verify.
• VectorProof - A VectorProof to verify against.

Trait Implementations

impl<G: Eq + UnknownOrderGroup> Eq for VectorCommitment<G>

impl<G: PartialEq + UnknownOrderGroup> PartialEq<VectorCommitment<G>> for VectorCommitment<G>

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

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

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

This method tests for !=.

impl<G: Clone + UnknownOrderGroup> Clone for VectorCommitment<G>

fn clone(&self) -> VectorCommitment<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 VectorCommitment<G>

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

Formats the value using the given formatter.

impl<G: Hash + UnknownOrderGroup> Hash for VectorCommitment<G>

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].