Skip to main content

verify

paillier_zk::paillier_encryption_in_range::interactive

Function verify 

Source 
pub fn verify(
    aux: &Aux,
    data: Data<'_>,
    commitment: &Commitment,
    security: &SecurityParams,
    challenge: &Challenge,
    proof: &Proof,
) -> Result<(), InvalidProof>
Expand description

Verify the proof