Ledger-Donjon / cargo-checkctLinks
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆16Updated last month
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 Key Encapsulation Mechanisms written in pure Rust☆49Updated last month
- Collection of sponge functions written in pure Rust☆47Updated 4 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 9 months ago
- agora-glass_pumpkin☆22Updated last year
- toy implementation of bfv in rust☆26Updated 3 years ago
- A pure-Rust implementation of the Paillier encryption scheme☆38Updated 2 years ago
- RSA blind signatures in Rust☆29Updated 2 months ago
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆67Updated 3 years ago
- An implementation of the DudeCT constant-time function tester☆21Updated last year
- Implementation of bulletproofs++ in rust☆15Updated 2 years ago
- Designatived verifier Schnorr signatures☆13Updated 2 years ago
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆46Updated this week
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆66Updated 3 weeks ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆35Updated this week
- ☆10Updated 3 months ago
- ☆30Updated 3 months ago
- Rust bindings to @sipa's minisketch library☆22Updated 3 years ago
- An EXPERIMENTAL implementation of the CPace PAKE, instantiated with the Ristretto255 group. In Rust☆17Updated 4 years ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Wycheproof for Rust☆19Updated 9 months ago
- Collection of Key Derivation Functions written in pure Rust☆78Updated this week
- Tiny BIP44/BIP32 derivation for BIP39 seeds☆23Updated last year
- An implementation of the Paillier cryptosystem☆17Updated 7 months ago
- An implementation of ZKBoo☆33Updated 3 years ago
- An implementation of ATProto's Merkle Search Tree☆17Updated 2 years ago
- ECIES on Twisted Edwards Curve25519 using AES-GCM and HKDF-SHA256☆31Updated 5 months ago
- Class Groups in Rust☆11Updated 5 years ago
- This library is archived; see crypto-primities for the latest version of this code☆23Updated 2 years ago
- Rust bindings for my Shamir secret sharing library☆41Updated last year
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆21Updated 3 years ago