spaceships / garbled-circuits
haskell implementation of garbled circuits
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for garbled-circuits
- Optimised bilinear pairings over elliptic curves☆55Updated 9 months ago
- ☆21Updated 6 years ago
- convert simple cryptol expressions into finite-state machines☆20Updated 7 years ago
- Oblivious transfer for multiparty computation☆36Updated 4 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆74Updated 4 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- Shamir Secret Sharing☆20Updated 4 years ago
- Authenticated Data Structures☆13Updated 9 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 4 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- A Language and Compiler for Homomorphic Encryption Made easY☆66Updated 4 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆14Updated 9 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- ELF data structures for Haskell☆24Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 6 months ago
- Semantics for Cryptol☆16Updated 6 years ago
- An append only list in a compact region☆25Updated 6 years ago
- A polymorphic interface for elliptic curve operations☆41Updated last year
- ☆59Updated 2 years ago
- A tool for translating imperative programs to CSP.☆10Updated 7 years ago
- Elliptic Curve Cryptography in Haskell☆13Updated 8 months ago
- Haskell bindings for secp256k1 library☆24Updated 2 months ago
- DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell☆22Updated 10 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- The security-centric web platform framework☆52Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago