pylls / balloon
A forward-secure append-only persistent authenticated data structure
☆14Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for balloon
- ☆19Updated last year
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- Simulation of consensus algorithms in heterogeneous networks☆21Updated 8 years ago
- High Speed elliptic curve signature system using a 260-bit Granger Moss Prime.☆14Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆36Updated 2 years ago
- Implementation of the Fish and Begol signature schemes☆13Updated 7 years ago
- Implementation of cryptographic primitives in Go☆12Updated last year
- OPAQUE asymmetric PAKE, and its threshold implementation. Experimental, not audited.☆16Updated 3 years ago
- Keyname format for public-key fingerprints☆22Updated 10 years ago
- A core and experimental implementation of ClaimChain☆34Updated 6 years ago
- ☆57Updated 7 years ago
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- DEPRECATED: A C++ Elligator2 implementation☆15Updated 4 years ago
- ZKPDL & cashlib: A language-based system for zero-knowledge proofs and electronic cash (e-cash).☆54Updated 8 years ago
- ♥ ♥ ♥ Trevor's & Moxie's Axolotl Ratchet + AGL's xmpp-client ♥ ♥ ♥☆12Updated 9 years ago
- A memory-hard password hashing function.☆68Updated last year
- ☆18Updated last year
- Secure HSM implementation based on MirageOS☆37Updated 2 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 6 years ago
- Reference implementation of the BLZZRD variant of the BLISS Ring-LWE Signature Scheme☆15Updated 8 years ago
- Authenticated Encryption Based on the Masked Even-Mansour (MEM) Construction☆27Updated 6 years ago
- Proof-of-concept implementation of the (V)OPRF protocol in https://datatracker.ietf.org/doc/draft-irtf-cfrg-voprf/☆23Updated 4 years ago
- DEPRECATED: Merkle-ized data store☆46Updated 5 years ago
- A compiler for secure multiparty computation☆50Updated 8 years ago
- SIDH C reference implementation☆13Updated 7 years ago
- Banquet implementation☆13Updated 2 years ago
- library for implementing the server side of the mix network: mixes and providers☆26Updated last year
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago