Ledger-Donjon / cargo-checkctLinks
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆16Updated 8 months ago
Alternatives and similar repositories for cargo-checkct
Users that are interested in cargo-checkct are comparing it to the libraries listed below
Sorting:
- Collection of sponge functions written in pure Rust☆49Updated last week
- Collection of Key Encapsulation Mechanisms written in pure Rust☆70Updated this week
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆71Updated 4 years ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆29Updated last year
- An implementation of the DudeCT constant-time function tester☆25Updated 2 years ago
- An implementation of the Paillier cryptosystem☆17Updated last year
- toy implementation of bfv in rust☆27Updated 3 years ago
- Wycheproof for Rust☆20Updated 4 months ago
- A pure-Rust implementation of the Paillier encryption scheme☆38Updated 3 years ago
- ☆33Updated 11 months ago
- RSA blind signatures in Rust☆30Updated this week
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆54Updated this week
- Rust library for cryptographic research☆150Updated last year
- agora-glass_pumpkin☆22Updated 2 months ago
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆76Updated this week
- Random prime generation and primality testing library based on `crypto-bigint`.☆32Updated this week
- Composable proof transcripts for public-coin arguments of knowledge☆52Updated last year
- Curve ecGFp5☆69Updated 3 years ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆285Updated last year
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆139Updated 3 weeks ago
- ECIES on Twisted Edwards Curve25519 using AES-GCM and HKDF-SHA256☆34Updated last year
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆43Updated last week
- Rust encryption library for practical time-lock encryption.☆37Updated last year
- Fast, small and secure Shamir's Secret Sharing library crate☆66Updated 2 years ago
- Collection of universal hashing functions☆36Updated this week
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆21Updated 3 years ago
- Designatived verifier Schnorr signatures☆13Updated 3 years ago
- Rust bindings for my Shamir secret sharing library☆50Updated 3 months ago
- FN-DSA (Falcon) signature scheme☆49Updated 10 months ago
- Collection of Key Derivation Functions written in pure Rust☆86Updated this week