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:
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- Mina Protocol browser extension wallet☆47Updated 2 weeks ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆82Updated 2 years ago
- ☆37Updated 3 years ago
- ☆32Updated last year
- Find repositories, releases, and modules for projects in the Cosmos ecosystem.☆17Updated 4 months ago
- Resources for Tezos Developers☆35Updated 5 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 4 months ago
- This repository is used as an open library for the blockchain community. We include letters, papers, analysis, blogposts, etc, for anyone…☆31Updated 4 years ago
- Automated reward payment & account management for Tezos bakers.☆49Updated 4 years ago
- Place to put small dApp examples☆16Updated this week
- 𝕊 The Secret Network☆30Updated 4 years ago
- Ledger app for Mina☆18Updated 2 years ago
- LazyLedger academic prototype☆50Updated 5 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 4 years ago
- Open-participation projects for Harmony☆16Updated 4 years ago
- Opyn Grant Proposals☆11Updated 3 years ago
- Botelicious. Make sure you spell it with only one "o"☆19Updated 2 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Golang based blockchain explorer for the coda protocol☆22Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Celestia Specifications☆50Updated 2 years ago
- ☆15Updated 2 years ago
- A really really rough implementation☆15Updated 3 years ago
- A simple ERC-20 compatible token contract written in Rust compiled into WebAssembly☆50Updated 5 years ago
- The Bonds framework along with associated modules.☆54Updated 5 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Liquid Staking: An ICF-funded project to explore how staking will evolve.☆36Updated 5 years ago
- Typescript library for writing near smart contracts☆22Updated 5 years ago
- A rust implementation of Alexey Akhunov's multiproof algorithm☆34Updated 4 years ago