sinahab / shamir-secret-sharingLinks
Shamir secret sharing in Haskell.
☆15Updated 8 years ago
Alternatives and similar repositories for shamir-secret-sharing
Users that are interested in shamir-secret-sharing are comparing it to the libraries listed below
Sorting:
- Double ratchet algorithm for E2E encryption☆59Updated 7 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Code samples inspiring language design☆23Updated 9 years ago
- Shamir Secret Sharing☆21Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- A Haskell library implementing the Noise protocol.☆102Updated 11 months ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆49Updated 6 years ago
- A Haskell library providing BLAKE2☆11Updated 2 years ago
- Authenticated Data Structures☆16Updated 10 years ago
- ☆21Updated 7 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 7 years ago
- Standalone Ethereum Virtual Machine☆52Updated 3 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆77Updated 6 years ago
- ☆59Updated 3 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- Haskell bindings for secp256k1 library☆24Updated 7 months ago
- Cryptographic library for Haskell☆69Updated 9 months ago
- The security-centric web platform framework☆52Updated 9 years ago
- Implementation of cryptographic primitives using Idris☆123Updated 7 years ago
- A Haskell embedded DSL for generating an API's JSON wrappers and documentation.☆34Updated last month
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 7 years ago
- Auto-generate a server for your datatype☆30Updated 3 years ago
- An append only list in a compact region☆25Updated 7 years ago
- ☆27Updated 6 years ago
- A DSL for describing and implementing communication protocols☆84Updated 10 years ago
- A tool for privacy-preserving identity management (PPIM)☆56Updated 9 years ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆25Updated 8 years ago