o1-labs

OCaml DSL for verifiable computation

CLI to create a zkApp (zero-knowledge app) for Mina Protocol

Learn Ocaml by reading code examples

Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)

This is a GraphQL server that is built with the intention of exposing information from Mina's Archive Node

This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.

Describe dune project structure as JSON

Nix wrapping suitable for multi-package dune repositories

Javascript stubs for the integers library in js_of_ocaml

JavaScript crypto library accompanying snarky

GitHub Action to wait for the Mina network readiness.