filecoin-project / orient
↻Observe-Orient-Decide-Act↩
☆19Updated 5 years ago
Alternatives and similar repositories for orient
Users that are interested in orient are comparing it to the libraries listed below
Sorting:
- Website!☆22Updated 2 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Asynchronously safe BFT consensus, implementation in Rust☆35Updated 5 years ago
- Communal zk-SNARK MPC for Public Parameters☆19Updated last year
- Rust crate for BLS Aggregate Signatures☆9Updated 5 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆26Updated 5 years ago
- Implementation of the Ethereum precompiled contracts in Rust.☆51Updated 5 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Coded Merkle Tree☆26Updated 5 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- Batch verifier for zkSNARKs☆10Updated 2 years ago
- MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc☆10Updated 5 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- ☆20Updated 4 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆21Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆15Updated 5 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆24Updated 3 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- Proofs of properties of CBC Casper☆35Updated 5 years ago
- A testing tool that broadcasts batches of transactions and tests opcodes☆12Updated 2 years ago
- circom runtime☆19Updated 7 months ago
- The modular protocol framework based on Universal Composability☆18Updated 4 years ago
- A Prolog engine written in Solidity.☆16Updated 3 years ago
- ☆12Updated 3 years ago
- Rust crate for BLS signatures☆32Updated 10 months ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- Large Files Storage for Substrate☆22Updated 5 years ago
- MPC implementation for a structured reference string (SRS) generation for SONIC proof system☆24Updated 6 years ago
- The Core Paper Project of EVM☆15Updated 5 years ago