saymrwulf/risc0-curve25519-dalek-source
1
0
Fork 0
mirror of https://github.com/saymrwulf/risc0-curve25519-dalek-source.git synced 2026-09-04 20:03:40 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
Patched source for Aeneas/Charon formal verification transpilation
2262 commits 1 branch 0 tags 5.1 MiB
Rust 99.6%
Shell 0.2%
HTML 0.2%
Find a file
pinkforest e17a0e771a
Bump quote and syn
2023-06-30 04:07:19 +00:00
.github/workflows Re-work CI around workspace 2023-06-28 09:38:56 +00:00
curve25519-dalek Moved code of conduct 2023-06-29 23:35:29 -04:00
curve25519-dalek-derive Bump quote and syn 2023-06-30 04:07:19 +00:00
docs/assets Move CI & assets into workspace 2023-06-28 08:59:51 +00:00
ed25519-dalek Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
x25519-dalek Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
.gitignore Clean up backend features and vendor curve25519_dalek_derive (#531) 2023-06-22 01:46:27 -04:00
Cargo.toml Re-organize Cargo manifests to workspace 2023-06-28 09:38:06 +00:00
CONTRIBUTING.md Add new workspace README and CONTRIBUTING 2023-06-28 09:40:52 +00:00
README.md Moved code of conduct 2023-06-29 23:35:29 -04:00

README.md

dalek-cryptography logo: a dalek with edwards curves as sparkles coming out of its radar-schnozzley blaster thingies

Dalek elliptic curve cryptography

This repo contains pure-Rust crates for elliptic curve cryptography:

Crate Description Crates.io Docs CI
curve25519-dalek A library for arithmetic over the Curve25519 and Ristretto elliptic curves and their associated scalars. Rust
ed25519-dalek An implementation of the EdDSA digital signature scheme over Curve25519. Rust
x25519-dalek An implementation of elliptic curve Diffie-Hellman key exchange over Curve25519.

There is also the curve25519-dalek-derive crate, which is just a helper crate with some macros that make curve25519-dalek easier to write.

Contributing

Please see CONTRIBUTING.md.

Code of Conduct

We follow the Rust Code of Conduct, with the following additional clauses:

  • We respect the rights to privacy and anonymity for contributors and people in the community. If someone wishes to contribute under a pseudonym different to their primary identity, that wish is to be respected by all contributors.