Cryptography
A library for cryptography.
Subtopics
- R1cs
- Formalization of Rank-1 Constraint Systems (R1CSes)
- Interfaces
- Cryptographic interfaces.
- Sha-2
- A formal specification of the SHA-2 hash functions
- Keccak
- A library for Keccak hash functions.
- Kdf
- A library for Key Derivation Functions
- Mimc
- A formal specification of the MiMC hash function as used by Semaphore.
- Padding
- A library containing come padding operations useful for cryptography
- Hmac
- A library for the HMAC keyed-hash message authentication code
- Elliptic-curves
- Elliptic curve cryptography.
- Attachments
- Cryptographic attachments.
- Elliptic-curve-digital-signature-algorithm
- Elliptic Curve Digital Signature Algorithm (ECDSA).
