curve25519-dalek
| curve25519-dalek | biscuit-go | |
|---|---|---|
| 5 | 2 | |
| 827 | 67 | |
| 1.7% | - | |
| 8.0 | 3.8 | |
| 7 days ago | 7 days ago | |
| Rust | Go | |
| GNU General Public License v3.0 or later | Apache License 2.0 |
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.
curve25519-dalek
- Elliptic Curves: The Great Mystery
-
Looking for good (low level?) Elliptic Curve library
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).
-
Identity element in ECC
What lib are you using? I would probably suggest to use the Ristretto Group abstraction for safety. The curve25519-dalek crate has that.
-
How mathematically intense can theoretical cryptography get?
Grabbing an abstraction like the Ristretto Group with implementations available curve25519-dalek, can get you very far. You can build stuff like ECIES, Diffie-Hellman, Schnorr Signatures, Aggregated Signatures, etc, without requiring entering the details of EC math.
-
Biscuit authentication/authorization tokens are released in v1.0
curve25519-dalek for the cryptographic implementation of Ristretto
biscuit-go
-
Mangle, a programming language for deductive database programming
Other resources for logic programming and Go:
ichiban/prolog - ISO Prolog interpreter in pure Go, getting close to v1: https://github.com/ichiban/prolog
trealla-prolog/go - ISO Prolog interpreter embedded via WASM: https://github.com/trealla-prolog/go
guregu/pengine - library for interfacing with Pengines (SWI-Prolog's RPC protocol): https://github.com/guregu/pengine
biscuit-auth/biscuit-go - Biscuits are a fancy auth token with a little Datalog engine: https://github.com/biscuit-auth/biscuit-go
I'm a big fan of logic programming. We've been seeing a small resurgence of interest in it (for example Yarn using Prolog made some waves) and I have some optimism for its future.
-
Biscuit authentication/authorization tokens are released in v1.0
There are also implementations in Java and Go, and an online playground to test the policy language.
What are some alternatives?
rust-crypto - A (mostly) pure-Rust implementation of various cryptographic algorithms.
mangle
ed25519-dalek - Fast and efficient ed25519 signing and verification in Rust.
wuffs - Wrangling Untrusted File Formats Safely
rust-openssl - OpenSSL bindings for Rust
zetasql - ZetaSQL - Analyzer Framework for SQL
octavo - Highly modular & configurable hash & crypto library
rune - Rune is a programming language developed to test ideas for improving security and efficiency.
suruga - [INACTIVE] TLS 1.2 implementation in Rust
biscuit-java - Java implementation of the Biscuit authentication and authorization token
rustls - A modern TLS library in Rust
pengine - pengines (SWI Prolog) client for Go