o1Labs

Archive-Node-API

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

docs2

Docs website for the Mina Protocol.

o1js

TypeScript framework for zk-SNARKs and zkApps

ocamlbyexample

Learn Ocaml by reading code examples

proof-systems

The proof systems used by Mina

snarkette

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

snarky

OCaml DSL for verifiable computation

verkle-tree

zkapp-cli

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

zkapp-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!

o1-labs/snarky

OCaml DSL for verifiable computation

o1-labs/o1js

TypeScript framework for zk-SNARKs and zkApps

o1-labs/proof-systems

The proof systems used by Mina

o1-labs/zkapp-cli

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

o1-labs/docs2

Docs website for the Mina Protocol.

o1-labs/ocamlbyexample

Learn Ocaml by reading code examples

o1-labs/zkapp-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!

o1-labs/Archive-Node-API

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

o1-labs/o1js-bindings

Bindings for o1js to lower layers of the proof system and the Mina transaction logic

o1-labs/ocaml-gen

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

o1-labs/integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

o1-labs/anonvote

o1-labs/wait-for-mina-network-action

GitHub Action to wait for the Mina network readiness.

o1-labs/mina-lightweight-explorer

Lightweight Mina Explorer

o1-labs/rfcs

RFCs for everything O(1) Labs

o1-labs/code-review-question

Code review interview question repo

o1-labs/eslint-plugin-o1js

ESLint rules for o1js

o1-labs/benchmark-infra

Infrastructure for benchmarking

o1-labs/describe-dune

Describe dune project structure as JSON

o1-labs/go-bs-lmdb

o1-labs/go-libp2p

libp2p implementation in Go

o1-labs/go-libp2p-kad-dht-patcher

Utility to patch the peer protection logic in go-libp2p-kad-dht

o1-labs/go-mplex

A port of maxogden's multiplex to go

o1-labs/mdbook-linkcheck

A backend for `mdbook` which will check your links for you.

o1-labs/mina-lightnet-docker

Building and publishing primitives for lightweight Mina network Docker images

o1-labs/ocaml-sodium

Binding to libsodium 1.0.9+, a shared library wrapper for djb's NaCl

o1-labs/opam-repository

o1-labs/orocksdb

An OCaml RocksDb binding using ocaml-ctypes

o1-labs/proof-systems-vendors

o1-labs/wasm-bindgen-rayon

An adapter for enabling Rayon-based concurrency on the Web with WebAssembly.