symbolicsoft / noiseexplorerLinks
Online engine for reasoning about the Noise Protocol Framework.
☆16Updated last year
Alternatives and similar repositories for noiseexplorer
Users that are interested in noiseexplorer are comparing it to the libraries listed below
Sorting:
- FN-DSA (Falcon) signature scheme☆49Updated 8 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated last year
- AEGIS high performance ciphers for Rust.☆40Updated this week
- A collection of high-performance crypto implementations.☆52Updated 3 weeks ago
- Collection of sponge functions written in pure Rust☆50Updated last month
- RSA blind signatures in Rust☆30Updated 2 weeks ago
- Reference implementations of post-quantum cryptographic primitives☆33Updated 3 months ago
- ☆33Updated 10 months ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆43Updated this week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆65Updated this week
- Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups☆38Updated last year
- A pure rust implementation of the gimli cipher☆12Updated 3 years ago
- Rust encryption library for practical time-lock encryption.☆35Updated last year
- ABE GPSW scheme using BLS pairing implemented in Rust.☆15Updated 2 years ago
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆21Updated 3 years ago
- Rust implemention of Ascon☆20Updated 3 weeks ago
- Rust source code for the FrodoPIR Private Information Retrieval scheme.☆70Updated last year
- Rust library for cryptographic research☆146Updated 11 months ago
- Wycheproof for Rust☆20Updated 3 months ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆71Updated 4 years ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆78Updated last week
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆54Updated last week
- Anonymous Credit Tokens implementation in Rust☆23Updated 2 months ago
- An implementation of the DudeCT constant-time function tester☆22Updated 2 years ago
- Verifying constant-time code with symbolic execution☆45Updated 4 years ago
- ☆19Updated 3 weeks ago
- CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec☆16Updated 7 months ago
- Wrappers around Rust's integer to check for constant-time-compatible usage☆23Updated 5 years ago
- OPAQUE protocol, a secure asymmetric password authenticated key exchange (aPAKE) that supports mutual authentication in a client-server s…☆84Updated 4 years ago
- Elliptic curves Rust reference implementation☆16Updated last year