zkvalidator / mina-vrf-rsLinks
☆38Updated 4 years ago
Alternatives and similar repositories for mina-vrf-rs
Users that are interested in mina-vrf-rs are comparing it to the libraries listed below
Sorting:
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- ☆17Updated 3 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- ☆27Updated 3 years ago
- Implementation of the Zcash Orchard Protocol☆62Updated 2 months ago
- Celestia Specifications☆50Updated 3 years ago
- Circuit components definition library for zkLLVM circuit compiler☆42Updated last year
- Tower-based ABCI interface.☆78Updated 9 months ago
- An async-friendly sparse merkle tree implementation based on Diem's Jellyfish Merkle Tree☆63Updated 6 months ago
- 凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform☆28Updated last year
- In-EVM Mina State Verification☆82Updated 2 years ago
- An implementation of a namespaced merkle tree in Rust.☆31Updated 5 months ago
- Implementation of tendermint light client in rust can be compiled to wasm.☆28Updated 4 years ago
- a sketch of what a zkvm could look like☆26Updated 4 years ago
- ☆22Updated 3 months ago
- circom runtime☆20Updated last year
- Implementation of substrate light client in rust, compilable to wasm.☆18Updated 4 years ago
- A generalized merkle mountain range implementation.☆61Updated 8 months ago
- Cryptography libraries for ZKsync☆35Updated 2 weeks ago
- Merkle-Mountain-Range library☆17Updated 3 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆40Updated 6 years ago
- ☆42Updated 4 years ago
- Pairing-friendly elliptic curve library☆24Updated last year
- Arkworks implementation of the VM of Aleo verifiable computing model built by LambdaClass☆21Updated 2 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- A toolchain for interaction with the Proof Market protocol.☆23Updated last year
- ☆20Updated 3 years ago
- Rust implementations of BIP32/39 and Ledger device comms☆100Updated 3 months ago
- Secure SGX Sidecar for CosmWasm☆58Updated last week
- A minimal reimplementation of Tendermint in Rust☆25Updated 5 months ago