Struct libpaillier::ProofSquareFree

pub struct ProofSquareFree(_);

Proof that a Paillier modulus is square free. The proof checks that there are “small” factors, that can be inverted in with a Paillier modulus and the number of parallel instances needed for soundness relates to how high to check. For a security parameter k, where we check for prime factors up to t, need l parallel instances where l is the smallest integer such that t^l > 2^k. For 128-bit security, t = 1000 and l = 13, and Paillier modulus is ≥ 2048 bits.

This proof is used in https://eprint.iacr.org/2020/540 and https://eprint.iacr.org/2017/552 as part of their DKG. A paillier key generator can prove the parameters where created honestly.

Implementations

impl ProofSquareFree

pub fn generate<D: Digest>(sk: &DecryptionKey, nonce: &[u8]) -> Option<Self>

Generate a new SF proof. GG20 paper uses lots of values for the entropy like the ECDSA Public key, the curve generator and prime, and the participant id as follows generateChallenges(g, q, y, N, pi, l)

pub fn verify<D: Digest>(&self, pk: &EncryptionKey, nonce: &[u8]) -> bool

Verify a Paillier modulus is square-free.

pub fn to_bytes(&self) -> Vec<u8>

Get this proof’s byte representation

pub fn from_bytes<B: AsRef<[u8]>>(data: B) -> Result<Self, String>

Convert a byte representation to a proof

Trait Implementations

impl Clone for ProofSquareFree

fn clone(&self) -> ProofSquareFree

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ProofSquareFree

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProofSquareFree

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Serialize for ProofSquareFree

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.