Struct PedersenCommitment 

pub struct PedersenCommitment {
    pub p: u64,
    pub q: u64,
    pub g: u64,
    pub h: u64,
}

Extended Pedersen commitment with batch verification.

Supports committing to a vector of values and homomorphic operations.

WARNING

Educational only. Uses toy parameters.

Fields

p: u64

Prime field modulus

q: u64

Group order (prime q | p-1)

g: u64

Generator g

h: u64

Independent generator h (log_g(h) unknown)

Implementations

impl PedersenCommitment

pub fn commit(&self, m: u64, r: u64) -> u64

Commit: C = g^m * h^r mod p

pub fn verify(&self, c: u64, m: u64, r: u64) -> bool

Verify opening: check C == g^m * h^r mod p

pub fn add(&self, c1: u64, c2: u64) -> u64

Homomorphic add: Commit(m1,r1) * Commit(m2,r2) = Commit(m1+m2, r1+r2)

pub fn batch_commit(&self, pairs: &[(u64, u64)]) -> Vec<u64>

Batch commit: commit to a vector of (value, randomness) pairs. Returns a vector of commitments.

Trait Implementations

impl Clone for PedersenCommitment

fn clone(&self) -> PedersenCommitment

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PedersenCommitment

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

Formats the value using the given formatter.