Skip to main content

prove

paillier_zk::paillier_blum_modulus::non_interactive

Function prove 

Source 
pub fn prove<const M: usize, D: Digest>(
    shared_state: &impl Digestable,
    data: Data<'_>,
    pdata: PrivateData<'_>,
    rng: &mut impl RngCore,
) -> Result<NiProof<M>, Error>
Expand description

Compute proof for the given data, producing random commitment and deriving determenistic challenge.

Obtained from the above interactive proof via Fiat-Shamir heuristic.