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

---

[Skip to Readme]

Modules

[Index] [Quick Jump]

Downloads

• crypto-sodium-0.0.5.0.tar.gz [browse] (Cabal source package)
• Package description (revised from the package)

Note: This package has metadata revisions in the cabal description newer than included in the tarball. To unpack the package including the revisions, use 'cabal get'.

Maintainer's Corner

Package maintainers

• lierdakil, kirelagin, serokell

For package maintainers and hackage trustees

• edit package information

Candidates

• 0.0.2.0, 0.0.4.0