Skip to main content

verify

paillier_zk::paillier_encryption_in_range::non_interactive

Function verify 

Source 
pub fn verify<D: Digest>(
    shared_state: &impl Digestable,
    aux: &Aux,
    data: Data<'_>,
    security: &SecurityParams,
    proof: &NiProof,
) -> Result<(), InvalidProof>
Expand description

Verify the proof, deriving challenge independently from same data