spaceships / garbled-circuits
haskell implementation of garbled circuits
☆12Updated 6 years ago
Related projects: ⓘ
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- ☆24Updated this week
- ☆21Updated 6 years ago
- Oblivious transfer for multiparty computation☆36Updated 4 years ago
- Optimised bilinear pairings over elliptic curves☆55Updated 7 months ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆73Updated 4 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated 5 months ago
- ☆59Updated 2 years ago
- Semantics for Cryptol☆16Updated 6 years ago
- Authenticated Data Structures☆13Updated 9 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- A Haskell library providing BLAKE2☆10Updated last year
- Shamir Secret Sharing☆19Updated 4 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆65Updated 4 years ago
- Cryptographic Constructions in the Type Theory of Agda☆51Updated 9 years ago
- An append only list in a compact region☆25Updated 6 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆14Updated 8 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- authenticated data structures, generically☆50Updated 7 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 4 years ago
- Honey Badger of BFT Protocols in Haskell☆8Updated 5 years ago
- A tool for translating imperative programs to CSP.☆10Updated 7 years ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆47Updated 5 months ago
- A Smarter QuickCheck☆102Updated 7 years ago
- Haskell bindings for secp256k1 library☆24Updated 3 weeks ago
- A Coq-based framework to verify the correctness of Byzantine fault-tolerant distributed systems☆27Updated 5 years ago
- a logic-based trust-management system☆19Updated 12 years ago