Struct SHA256Commitment

pub struct SHA256Commitment<'a, T: 'a + Serialize> { /* private fields */ }

An implementation of the Hash Commitment Scheme using the SHA256 hash function.

We store the party’s secret and random number as references because we don’t want to take ownership over those variables and avoid useless copies (we only perform read operations with them).

We use lifetime annotations as we need to store references to existing variables in our structure, so that an instance of SHA256Commitment can not outlive the references it holds.

Implementations

impl<'a, T: 'a + Serialize> SHA256Commitment<'a, T>

pub fn new(s: &'a T, r: &'a [u8]) -> SHA256Commitment<'a, T>

Creates a new party for the SHA256 Commitment Scheme using its secret and random number.

Trait Implementations

impl<'a, T: 'a + Serialize> HashCommitmentScheme<T> for SHA256Commitment<'a, T>

fn commit(&self) -> Result<Vec<u8>>

Creates the commitment used during the commit phase.

fn verify(&self, com: &[u8], s: &T, r: &[u8]) -> Result<bool>

Creates the expected commitment using the prover’s secret and random number. Then, compares the expected commitment with the prover’s one to verify if the commitment holds.