Skip to main content

verify

paillier_zk::paillier_affine_operation_in_range::non_interactive

Function verify 

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

Verify the proof, deriving challenge independently from same data