Struct HidingVerifier 

pub struct HidingVerifier {
    pub samples: usize,
}

Verifier for the hiding property of commitments.

Fields

samples: usize

Number of commitment samples per value.

Implementations

impl HidingVerifier

pub fn new(samples: usize) -> Self

Create a new verifier with the given sample count.

pub fn test_unique_commitments( &self, params: &PedersenParams, value: u64, ) -> bool

Test that commitments to the same value produce different outputs.

This confirms that randomness is being used properly.

pub fn test_indistinguishability( &self, params: &PedersenParams, value_a: u64, value_b: u64, ) -> bool

Test that commitments to different values are indistinguishable.

Verifies that the commitment set for value A overlaps with the commitment set for value B at most minimally (statistical check).

Trait Implementations

impl Clone for HidingVerifier

fn clone(&self) -> HidingVerifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for HidingVerifier

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

Formats the value using the given formatter.