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:
- Sagan is an observability tool for Cosmos and other Tendermint applications☆37Updated 2 years ago
- Mina Protocol browser extension wallet☆47Updated 2 weeks ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Botelicious. Make sure you spell it with only one "o"☆20Updated 3 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆16Updated 2 weeks ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆84Updated 2 years ago
- ☆38Updated 4 years ago
- Low-level language for encoding AIR of computations☆38Updated 2 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 9 months ago
- Data aggregator for Cosmwasm☆18Updated 3 years ago
- A library of Truebit tasks, utilities, and ongoing projects☆22Updated 4 years ago
- Cross-chain relays :)☆55Updated 3 years ago
- Liquid Staking: An ICF-funded project to explore how staking will evolve.☆36Updated 5 years ago
- Library for creating keys and signing messages on Cosmos 🔑☆28Updated 3 years ago
- DSL for Secure DApps☆33Updated 3 years ago
- Ledger app for Mina☆18Updated 2 years ago
- Library wrapping all major functionality an eth 2.0 validator needs☆19Updated 4 months ago
- An implementation of Darknode smart contracts, written in Solidity☆85Updated 3 years ago
- The Bonds framework along with associated modules.☆54Updated 5 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆29Updated 6 years ago
- 𝕊 The Secret Network☆30Updated 5 years ago
- A validator monitoring and alerting suite for Matic Network.☆13Updated last year
- AZTEC protocol specification☆31Updated 5 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- formal verification of multicollateral dai in the K framework☆44Updated 4 years ago
- This repository compiles the work that the BSC team does on Eth2.0.☆13Updated 3 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago