creusot VS ed25519-dalek

Compare creusot vs ed25519-dalek and see what are their differences.

creusot

Creusot helps you prove your code is correct in an automated fashion. (by creusot-rs)
rust-lang Verification Proof Formal Verification deductive-reasoning why3 Rust Formal Methods
Source Code
Suggest alternative
Edit details

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust. (by dalek-cryptography)
Cryptography Rust Signing Verification Curve25519 Ed25519
Source Code
Docs
Suggest alternative
Edit details
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
creusot ed25519-dalek
3 1
968 656
5.5% 0.5%
9.6 4.3
1 day ago 8 months ago
Rust Rust
GNU Lesser General Public License v3.0 only BSD 3-clause "New" or "Revised" License
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.

creusot

Posts with mentions or reviews of creusot. We have used some of these posts to build our list of alternatives and similar projects.

ed25519-dalek

Posts with mentions or reviews of ed25519-dalek. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-05-29.
  • Looking for good (low level?) Elliptic Curve library
    4 projects | /r/rust | 29 May 2022
    Much of what you'll find highly visibly will be high-level libraries, but look at their dependencies. For example, from the ed25519 library you may find ed25519-dalek, and from there you could find curve25519-dalek which deals in point encodings and that like. (I don't know these particular libraries; they might help or just serve as an example of a viable exploration path).

What are some alternatives?

When comparing creusot and ed25519-dalek you can also consider the following projects:

rust - Empowering everyone to build reliable and efficient software.

ring - Safe, fast, small crypto using Rust

agda-stdlib - The Agda standard library

rust-openssl - OpenSSL bindings for Rust

rust-crypto - A (mostly) pure-Rust implementation of various cryptographic algorithms.

curve25519-dalek - A pure-Rust implementation of group operations on Ristretto and Curve25519

sodiumoxide - [DEPRECATED] Sodium Oxide: Fast cryptographic library for Rust (bindings to libsodium)

schannel-rs - Schannel API-bindings for rust (provides an interface for native SSL/TLS using windows APIs)

rust-djangohashers - A Rust port of the password primitives used in Django Project.

suruga - [INACTIVE] TLS 1.2 implementation in Rust

rust-security-framework - Bindings to the macOS Security.framework

webpki - WebPKI X.509 Certificate Validation in Rust

creusot vs rust ed25519-dalek vs ring creusot vs agda-stdlib ed25519-dalek vs rust-openssl ed25519-dalek vs rust-crypto ed25519-dalek vs curve25519-dalek ed25519-dalek vs sodiumoxide ed25519-dalek vs schannel-rs ed25519-dalek vs rust-djangohashers ed25519-dalek vs suruga ed25519-dalek vs rust-security-framework ed25519-dalek vs webpki