Ledger-Donjon / cargo-checkctLinks
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
☆16Updated 3 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:
- A pure-Rust implementation of the Paillier encryption scheme☆38Updated 2 years ago
- An implementation of the DudeCT constant-time function tester☆22Updated last year
- An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group☆69Updated 3 years ago
- Collection of sponge functions written in pure Rust☆46Updated 6 months ago
- Collection of Key Encapsulation Mechanisms written in pure Rust☆53Updated last week
- An implementation of the Paillier cryptosystem☆17Updated 9 months ago
- A pure-Rust implementation of group operations on Ristretto and Curve25519☆28Updated 11 months ago
- RSA blind signatures in Rust☆29Updated 4 months ago
- Wycheproof for Rust☆19Updated 11 months ago
- toy implementation of bfv in rust☆26Updated 3 years ago
- ☆30Updated 5 months ago
- Pure-Rust traits and utilities for constant-time cryptographic implementations.☆277Updated last year
- An implementation of a verifiable oblivious pseudorandom function (RFC 9497)☆69Updated 2 months ago
- Novel polynomial basis for a reed solomon encoder☆36Updated last year
- agora-glass_pumpkin☆22Updated last year
- Collection of Key Derivation Functions written in pure Rust☆82Updated last month
- Rust library for cryptographic research☆140Updated 7 months ago
- An implementation of the HPKE hybrid encryption standard (RFC 9180)☆76Updated 5 months ago
- Small, wasm-friendly, zero-dependencies Ed25519 and X25519 implementation for Rust.☆128Updated 7 months ago
- Fast, small and secure Shamir's Secret Sharing library crate☆64Updated last year
- A safe pure-rust implementation of the NTRU post-quantum scheme.☆21Updated 3 years ago
- Pure Rust implementation of HPKE (https://www.rfc-editor.org/rfc/rfc9180.html)☆38Updated 3 weeks ago
- Composable proof transcripts for public-coin arguments of knowledge☆49Updated 11 months ago
- Comprehensive timing leak protection for Rust programs https://www.chosenplaintext.ca/open-source/rust-timing-shield/☆55Updated last year
- Turing-Incomplete Programming Language for Multi-Party Computation with Garbled Circuits☆48Updated this week
- Ed25519 suitable for use in consensus-critical contexts.☆48Updated last year
- Zcash-flavored Ed25519 for use in Zebra.☆32Updated last week
- Password-Authenticated Key Agreement protocols☆109Updated 3 months ago
- An optimized Sparse Merkle Tree in Rust☆56Updated 2 weeks ago
- Peer-to-peer networking library☆114Updated this week