filecoin-project / orientLinks
↻Observe-Orient-Decide-Act↩
☆19Updated 6 years ago
Alternatives and similar repositories for orient
Users that are interested in orient are comparing it to the libraries listed below
Sorting:
- A gossipsub protocol simulator☆41Updated 3 years ago
- WIP on sharding and Ethereum 2.0 with enshrined-in-consensus data availability and Rust: a fast, safe, concurrent and practical programmi…☆58Updated 7 years ago
- Website!☆22Updated 3 years ago
- KVyper: Semantics of Vyper in K☆41Updated 7 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Updated 6 years ago
- BLS working standard draft☆40Updated 6 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 7 years ago
- Merkle tree toolkit☆46Updated 5 years ago
- A typed, functional language that targets the EVM.☆55Updated 9 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 6 years ago
- ☆32Updated 7 years ago
- Simulator for some PoS or consensus algorithms. Includes dfinity, casper IMD and others☆46Updated 6 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 7 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 5 years ago
- The Bond API.☆27Updated 7 years ago
- ☆20Updated 7 years ago
- ☆118Updated 4 years ago
- Sonic implementation in Rust☆18Updated 6 years ago
- a JavaScript Implementation of Primea HyperVisor☆41Updated 5 years ago
- Scout is a Ethereum 2.0 Phase 2 execution prototyping engine.☆89Updated 6 years ago
- want to hack on libp2p? this repo tracks libp2p endeavors eligible for incentivization.☆41Updated 9 months ago
- Zcash "Sapling" cryptography☆87Updated 2 months ago
- Safely load verified IPFS content on its own domain with browser Cross-Origin Policy protection.☆27Updated 3 years ago
- DSL for Secure DApps☆33Updated 3 years ago
- Coded Merkle Tree☆26Updated 6 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 6 years ago
- Proofs of properties of CBC Casper☆36Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Moved discussion notes to https://github.com/libp2p/notes☆21Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago