composite_modulus_proofs 0.1.0

Proofs about several propoerties of a composite modulus - square-free, product of 2 primes, a blum integer
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
#[derive(Debug, Clone)]
pub enum Error {
    NotInvertible,
    DivisibleByPrime(u32),
    GreaterThanModulus(u32),
    InsufficientResponses(usize, usize),
    InvalidProofForIndex(u32),
    ModulusIsPrime,
    ModulusIsPrimePower,
    InsufficientQuadraticResidues(usize, usize),
    InsufficientFourthResidues(usize, usize),
    InvalidSelectorForIndex(u8, u32),
}