A library for cryptography.
- Formalization of Rank-1 Constraint Systems (R1CSes)
- Cryptographic interfaces.
- A formal specification of the SHA-2 hash functions
- A library for Keccak hash functions.
- A library for Key Derivation Functions
- A formal specification of the MiMC hash function as used by Semaphore.
- A library containing come padding operations useful for cryptography
- A library for the HMAC keyed-hash message authentication code
- Elliptic curve cryptography.
- Cryptographic attachments.
- Elliptic Curve Digital Signature Algorithm (ECDSA).