pheymann / scala.bft
Parallel Byzantine Fault Tolerance (R&D)
☆10Updated 6 years ago
Related projects: ⓘ
- A Framework for building Distributed Consensus Protocols☆10Updated 6 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆73Updated 4 years ago
- Arithmetic circuits for zero knowledge proof systems☆82Updated 5 months ago
- Verification and Generation of Smart Contracts using Stainless and Scala☆35Updated 3 years ago
- Optimised bilinear pairings over elliptic curves☆55Updated 7 months ago
- Scorex 2.0 Tutorial☆40Updated 6 years ago
- Library for encoding Bitcoin network protocol messages in Scala.☆21Updated 5 years ago
- Multiversioned key-value database, especially useful for blockchain☆95Updated 6 years ago
- ☆59Updated 2 years ago
- authenticated data structures, generically☆50Updated 7 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Updated 5 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- This is a implementation of an spv node using bitcoin-s-core☆18Updated 7 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆44Updated 4 years ago
- Compiler for BitML☆25Updated 2 years ago
- Sample implementation of NSEC5 cryptography☆23Updated 6 years ago
- DSL for fault-tolerant distributed algorithms using partially-synchronous communication-closed rounds☆44Updated 2 years ago
- Babel is a Domain Specific Language for Integration made in Scala. It provides elegant API in order to use well-known integration framewo…☆11Updated 7 years ago
- ☆71Updated this week
- Super Amazing Universal Composability, Yeah!☆32Updated 2 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆132Updated last year
- Privacy-preserving auditing for distributed ledgers☆65Updated 5 years ago
- Fault-tolerant distributed algorithms encoded in a formal language☆13Updated 3 years ago
- A copy of the verifiable computation projects from Microsoft Research, Pinnochio and Gepetto☆18Updated 5 years ago
- EncryCore node reference implementation☆15Updated 4 years ago
- A collection of papers about new models and applications of mobile process calculi☆12Updated 4 years ago
- Demo / PoC / implementation of IOHK MPC protocols☆19Updated 5 years ago
- BLS working standard draft☆39Updated 5 years ago
- Discrete-event simulation for BFT consensus protocols☆48Updated 2 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆112Updated 4 years ago