Proofs about several propoerties of a composite modulus - square-free, product of 2 primes, a blum integer
Collection of Paillier cryptosystem zero knowledge proofs written in Rust
Collection of Paillier cryptosystem zero knowledge proofs written in Rust
DROIDSAW shared analysis primitives. Shannon entropy, taint source/sink types, graph algorithms, and unified finding types.
The Paillier cryptosystem is a public key crytosystem based on composite degree residuosity classes. Paillier ciphertexts are homorphic in that the can be added.
Cryptographic library for the Winterfell STARK prover/verifier
X.509 certificate structures for synta ASN.1 library
A library for number theory, providing implementations for arithmetic in various rings and algorithms working on them.
scalars modulo the group order of the secp256k1 curve