dedis / tlc
Threshold Logical Clocks and Que Sera Consensus
☆26Updated last year
Related projects: ⓘ
- Compact Sparse Merkle Trees (CSMT) with pluggable storage.☆38Updated 5 years ago
- Elixir implementation of modified Merkle Patricia tree (trie)☆24Updated 4 years ago
- Erlang port program for ed25519 sign and verify from libsodium☆10Updated 5 years ago
- Erlang implementation of the Noise protocol☆49Updated 2 years ago
- Distributed key generation for Erlang (using pairing based cryptography)☆42Updated last year
- Testground: SDK for developing test plans in Go☆12Updated 3 months ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Updated 5 years ago
- A networking layer of DC/OS☆48Updated 3 years ago
- Overlay Network for distributed protocols☆50Updated last year
- ↻Observe-Orient-Decide-Act↩☆18Updated 4 years ago
- A curated list of resources for the æternity blockchain☆12Updated last month
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- Stand alone compiler for the Sophia smart contract language☆51Updated this week
- Exthereum's RLPx, DevP2P, Eth Wire Protocol Implementation☆14Updated last year
- BN128 elliptic curve operations for Elixir☆10Updated last year
- A Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.☆56Updated 5 years ago
- A WASM VM written in Elixir☆18Updated 4 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- Exthereum, The Elixir Ethereum Client☆21Updated 5 years ago
- Compact linkable ring signatures. A modification on MLSAG.☆18Updated 4 years ago
- An application that allows writing ABCI servers.☆37Updated 4 years ago
- Sophia Smart Contract examples using AEproject.☆22Updated last year
- A merkel tree on the hard drive for a blockchain, written in erlang.☆22Updated last year
- Erlang implementation of HoneyBadgerBFT☆69Updated last year
- A TLA+ implementation of the Avalanche Protocol Family, both for learning Avalanche and TLA+☆18Updated 4 years ago
- Low-level language for encoding AIR of computations☆34Updated last year
- Jepsen tests for the Tendermint distributed byzantine consensus system☆25Updated 7 years ago
- ☆11Updated 2 years ago
- RPC/XDR protocol compiler (from jungerl)☆13Updated 4 years ago