kushti / flpLinks
Formalization of FLP Impossibility Theorem
☆18Updated 10 years ago
Alternatives and similar repositories for flp
Users that are interested in flp are comparing it to the libraries listed below
Sorting:
- authenticated data structures, generically☆54Updated 8 years ago
- ☆59Updated 3 years ago
- Session types for asynchronous networking☆21Updated 9 years ago
- A Formal Semantics of WebAssembly in K☆83Updated last week
- Blockchain Technology for the Working Mathematician☆24Updated 8 years ago
- Experimental language for verifiable computation using zero-knowledge proofs☆25Updated 7 years ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Updated 7 years ago
- Distributed Data Structures in Coq☆49Updated 11 years ago
- A DSL for describing and implementing communication protocols☆83Updated 10 years ago
- ☆14Updated 9 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- This was a pure-Rust implementation of a rangeproof scheme. It is now obsoleted by Bulletproofs.☆16Updated 7 years ago
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- ☆23Updated 13 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Please check out https://github.com/hacspec/hacspec for more information on hacspec☆46Updated 4 years ago
- A minimalistic blockchain consensus implemented and verified in Coq☆113Updated 5 years ago
- Rust to F* toolchain☆43Updated 6 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20Updated 8 years ago
- Formal semantics of LLVM IR in K☆47Updated 7 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 8 years ago
- A compiler from WebAssembly to native code, via the OCaml backend.☆92Updated 7 years ago
- CPU Building Tutorial☆51Updated 7 years ago
- Superposition prover☆17Updated 2 years ago
- A minimal decentralized computer.☆118Updated 3 years ago
- Reference type checker for the Lean theorem prover☆62Updated 8 years ago
- Arithmetic circuits for zero knowledge proof systems☆83Updated last year
- Refu language☆21Updated 3 years ago
- Kansas Lava☆49Updated 5 years ago