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

Pure-Rust traits and utilities for constant-time cryptographic implementations.

A pure-Rust implementation of Bulletproofs using Ristretto.

Fast and efficient ed25519 signing and verification in Rust.

Experimental zero-knowledge proof compiler in Rust macros

X25519 elliptic curve Diffie-Hellman key exchange in pure-Rust, using curve25519-dalek.

Composable proof transcripts for public-coin arguments of knowledge

a shared workspace for the dalek-cryptography crates, for building their docs together

Source code forhttps://dalek.rs

Embedded curve over the Ristretto255 scalar field, for use in Bulletproofs