ldmberman / HoneyBadgerBFT
Honey Badger of BFT Protocols in Haskell
☆8Updated 5 years ago
Related projects: ⓘ
- ☆21Updated 6 years ago
- Shamir Secret Sharing☆19Updated 4 years ago
- Multihash Haskell implementation☆27Updated last year
- ☆24Updated this week
- Authenticated Data Structures☆13Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 7 years ago
- Distributed systems execution emulation☆18Updated 5 years ago
- Abe-Ohkubo-Suzuki Linkable Ring Signatures☆48Updated 4 years ago
- ☆59Updated 2 years ago
- A functional smart contract system☆6Updated 5 years ago
- Haskell bindings for secp256k1 library☆24Updated 3 weeks ago
- Haskell implementation of RSCoin☆50Updated 7 years ago
- An append only list in a compact region☆25Updated 6 years ago
- ☆71Updated this week
- A Haskell library providing BLAKE2☆10Updated last year
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Elliptic Curve Cryptography in Haskell☆13Updated 5 months ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Updated 6 years ago
- A hashing-based graph implementation in Haskell☆33Updated 6 years ago
- Closure calculus implementation☆12Updated 5 years ago
- Haskell Join-calculus DSL☆22Updated 5 years ago
- Standalone Ethereum Virtual Machine☆51Updated 2 years ago
- A Haskell client library for the IPFS API☆26Updated 7 years ago
- ☆27Updated 2 months ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆44Updated 4 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 5 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Distributed Protocol Combinators☆13Updated 3 years ago