Skip to main content

verify

paillier_zk::paillier_encryption_in_range_with_el_gamal::non_interactive

Function verify 

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

Verify the proof, deriving challenge independently from same data