MinaProtocol / mina-grantsLinks
All contents related to the Mina grant program and projects in scope
☆15Updated 3 years ago
Alternatives and similar repositories for mina-grants
Users that are interested in mina-grants are comparing it to the libraries listed below
Sorting:
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Updated last week
- Mina Protocol browser extension wallet☆47Updated last week
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated 2 years ago
- Ledger app for Mina☆18Updated 2 years ago
- ☆38Updated 4 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- ↗️ Vector is an ultra-minimal state channel network implementation.☆109Updated 4 years ago
- Botelicious. Make sure you spell it with only one "o"☆20Updated 3 years ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.☆14Updated 3 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Updated 6 years ago
- Celestia Specifications☆49Updated 3 years ago
- Bamboo: a morphing smart contract language☆37Updated 7 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 4 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 8 months ago
- CLI tool for participating in Cosmos Fundraiser☆12Updated 5 years ago
- A rust implementation of Alexey Akhunov's multiproof algorithm☆34Updated 5 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- An api for constructing sparse Merkle tree accumulators with random sampling capabilities.☆25Updated 4 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Library for creating keys and signing messages on Cosmos 🔑☆28Updated 3 years ago
- In-EVM Mina State Verification☆81Updated 2 years ago
- Query API and indexer for Tezos and other decentralized platforms.☆88Updated 2 years ago
- Futhark implementation of neptune-compatible Poseidon.☆27Updated 4 years ago
- A Haskell framework that facilitates writing ABCI applications☆34Updated last year
- ☆29Updated 3 months ago