wjtoth / Hash-based-signaturesLinks
Cryptography Final Project: Merkle Signature Scheme implementation
☆15Updated 5 years ago
Alternatives and similar repositories for Hash-based-signatures
Users that are interested in Hash-based-signatures are comparing it to the libraries listed below
Sorting:
- Elliptic Curves Cryptography for OCaml☆12Updated 6 years ago
- A python implementation of Leighton-Micali hierarchical hash based signatures☆19Updated 8 years ago
- hash based digital signatures, XMSS, quantum resistant☆18Updated 4 years ago
- Optimized implementation of the Picnic signature scheme☆82Updated 3 years ago
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated last week
- Bitcoin data-structures library for OCaml☆43Updated 5 years ago
- Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star …☆20Updated 4 years ago
- ☆14Updated last year
- A collection of code for a practical entanglement-based quantum key distribution system☆18Updated last year
- A full-featured implementation of of the LMS and HSS Hash Based Signature Schemes from draft-mcgrew-hash-sigs-07.☆50Updated 6 months ago
- ☆17Updated 4 years ago
- Rainbow signature system for Round THREE submission☆20Updated 5 years ago
- Type-safe bitcoin full-node☆19Updated 7 years ago
- Reference implementation of the Picnic post-quantum signature scheme☆168Updated 2 years ago
- Post-quantum key exchange from the learning with errors problem — from the paper "Frodo: Take off the ring! Practical, Quantum-Secure Key…☆50Updated 8 years ago
- BLISS: Bimodal Lattice Signature Schemes☆30Updated 5 years ago
- Imandra Contracts - Formal verification of smart contracts☆32Updated 9 years ago
- Implementation of a pairing over a Barreto-Naehrig curve on top of OpenSSL.☆31Updated 10 years ago
- A Practical Ring Learning With Errors (RingLWE) Implementation containing New Hope and Peikert reconciliation for Prime and Power-of-2 ca…☆36Updated 7 years ago
- The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.☆58Updated 4 months ago
- Optimized Patricia trie with disk storage☆31Updated 6 years ago
- An implementation of the LowMC block cipher family.☆27Updated 8 years ago
- C crypto library☆24Updated 2 years ago
- The Simplest Oblivious Transfer Protocol by Chou and Orlandi. http://users-cs.au.dk/orlandi/simpleOT/☆12Updated 6 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆21Updated 8 years ago
- Oblivious transfer library for rust☆11Updated 6 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- lattice-based digital signature scheme qTESLA☆31Updated 6 years ago
- ☆16Updated this week
- TLS client program☆11Updated 5 years ago