Easy-and-safe-to-use high-level cryptography based on Sodium.

This is a collection of high-level cryptographic primitives based on Sodium, spiced up with extra type-safety of the Haskell type system.

Note: this package is experimental and WIP.

Why

Cryptography is hard to do right and you should never try to implement it on your own, even if you have access to safe and secure cryptographic primitives. Luckily, D. J. Bernstein created NaCl.

NaCl was designed specifically to make it hard to use it incorrectly and thus save you from a disaster. It exposes high-level cryptographic algorithms with underlying implementations chosen for you, so you do not get flexibility, but you get security, which is more important.

What

Sodium is a reimplementation of NaCl with the goal to make it more portable across different platforms. With time, it started providing more than the same interface as NaCl. Nowadays it implements additional primitives and utility functions.

How

Library initialisation

• Crypto.Sodium.Init

Secret-key cryptography

• Authenticated symmetric-key encryption: Crypto.Sodium.Encrypt.Symmetric

• Message authentication codes: Crypto.Sodium.Mac

Public-key cryptography

• Authenticated public-key encryption: Crypto.Sodium.Encrypt.Public

• Public-key signatures: Crypto.Sodium.Sign

Additional primitives

• Key derivation and generation: Crypto.Sodium.Key

• Cryptographically-secure random: Crypto.Sodium.Random

• Hashing: Crypto.Sodium.Hash

crypto-sodium

Easy-and-safe-to-use high-level cryptography based on Sodium

Note: this package is experimental and WIP.

Use

Get it

Add crypto-sodium to the dependencies of your package.

Documentation

All documentation exists is in the form of Haddock comments, you can find them in the source code or browse on Hackage.