o1-labs/ocamlbyexample

Stars
68
Rank 457,643 (Top 10 %)
Language
OCaml
Created over 3 years ago
Updated almost 2 years ago

o1-labs/ocamlbyexample

o1-labs

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Learn Ocaml by reading code examples

o1js

TypeScript framework for zk-SNARKs and zkApps

snarky

OCaml DSL for verifiable computation

proof-systems

The proof systems used by Mina

zkapp-cli

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

docs2

Docs website for the 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!

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 Node

snarkyjs-workshop

o1js-bindings

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

ocaml-gen

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

ppx_version

Versioning of types with bin_prot serialization

integers_stubs_js

Javascript stubs for the integers library in js_of_ocaml

snarkyjs-examples

anonvote

mina-book

Specifications and documentation for the Mina protocol

snarkyjs-crypto

JavaScript crypto library accompanying snarky

mina-lightweight-explorer

Lightweight Mina Explorer

rfcs

RFCs for everything O(1) Labs

wait-for-mina-network-action

GitHub Action to wait for the Mina network readiness.

sfbw-workshop

Tutorial code for the SFBW zk-SNARK workshop

stationary

Static site generator

code-review-question

Code review interview question repo

dune-nix

Nix wrapping suitable for multi-package dune repositories

libsnark-ocaml

mina-web3

eslint-plugin-o1js

ESLint rules for o1js