cryptonite
lowlevel set of cryptographic primitives for haskell (by haskell-crypto)
mitls-fstar
Verified implementation of TLS 1.3 in F* (by project-everest)
| cryptonite | mitls-fstar | |
|---|---|---|
| 6 | 1 | |
| 224 | 172 | |
| - | 0.0% | |
| 0.0 | 5.8 | |
| over 1 year ago | 18 days ago | |
| C | F* | |
| BSD 3-clause "New" or "Revised" License | GNU General Public License v3.0 or later |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
cryptonite
Posts with mentions or reviews of cryptonite.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-05.
-
Crypton is forked from cryptonite with the original authors permission
There was also the Haskell-crypto fork (https://github.com/haskell-crypto/cryptonite) which was done for similar reasons - will this fork include any of its changes? I can’t remember if much was actually done in that project, most of the work has been on the libsodium library. It would be good to have just one place for all of this, perhaps Kazu could consider moving crypton into that organisation and helping contribute.
-
[ANNOUNCE] GHC 9.2.2 is now available!
GHC 9.2 support for cryptonite is added in this PR: https://github.com/haskell-crypto/cryptonite/pull/354 So that should be fixed soon i guess..
- A new future for cryptography in Haskell
- List of upcoming breaking changes
-
NorfairKing/haskell-dangerous-functions ; Call for contributions
fromIntegral is no joke, for example https://github.com/haskell-crypto/cryptonite/issues/330
-
[Haskell-cafe] Future of package cryptonite
The main issue is actually inability to switch to newer GHC 9.0, which seems blocked by other packages
mitls-fstar
Posts with mentions or reviews of mitls-fstar.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-06-05.
-
Crypton is forked from cryptonite with the original authors permission
So is this library actually going to make an effort about security? E.g. how will it protect against side channel attacks? There's little to no research about whether Haskell is actually suitable for this. All other proper attempts of utilizing functional languages and elaborate type systems for crypto are a bit more complicated and usually transpile to another language, e.g. https://github.com/project-everest/mitls-fstar/issues/124
What are some alternatives?
When comparing cryptonite and mitls-fstar you can also consider the following projects:
cprng-aes - Crypto Pseudo Random Number Generator using AES in counter mode
connection - simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.
elocrypt - Generate easy-to-remember, hard-to-guess passwords
crypton - lowlevel set of cryptographic primitives for haskell
merkle-tree
wai-conduit - Haskell Web Application Interface
HsOpenSSL - OpenSSL binding for Haskell
xxhash - Haskell implementation of the XXHash algorithm
ed25519 - Minimal ed25519 Haskell package, binding to the ref10 SUPERCOP implementation.
nonce - Generate cryptographic nonces.
cacophony - A Haskell library implementing the Noise protocol.