There are no reviews yet. Be the first to send feedback to the community and the maintainers!
o1js
TypeScript framework for zk-SNARKs and zkAppssnarky
OCaml DSL for verifiable computationproof-systems
The proof systems used by Minazkapp-cli
CLI to create a zkApp (zero-knowledge app) for Mina Protocolocamlbyexample
Learn Ocaml by reading code exampleszkapp-resource-kit
This repository is a resource kit contains links to all code, tools, documentation, and learning materials necessary to successfully become a zkApp developer and contributor. Add your projects or findings here!snarkette
Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)verkle-tree
Archive-Node-API
This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Nodesnarkyjs-workshop
o1js-bindings
Bindings for o1js to lower layers of the proof system and the Mina transaction logicocaml-gen
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.ppx_version
Versioning of types with bin_prot serializationintegers_stubs_js
Javascript stubs for the integers library in js_of_ocamlsnarkyjs-examples
anonvote
mina-book
Specifications and documentation for the Mina protocolsnarkyjs-crypto
JavaScript crypto library accompanying snarkymina-lightweight-explorer
Lightweight Mina Explorerrfcs
RFCs for everything O(1) Labswait-for-mina-network-action
GitHub Action to wait for the Mina network readiness.sfbw-workshop
Tutorial code for the SFBW zk-SNARK workshopstationary
Static site generatorcode-review-question
Code review interview question repodune-nix
Nix wrapping suitable for multi-package dune repositorieslibsnark-ocaml
mina-web3
eslint-plugin-o1js
ESLint rules for o1jsLove Open Source and this site? Check out how you can help us