o1-labs/snarkette

Stars
53
Rank 552,529 (Top 11 %)
Language
OCaml
License
MIT License
Created about 6 years ago
Updated over 5 years ago

o1-labs/snarkette

o1-labs

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

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

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.

ocamlbyexample

Learn Ocaml by reading code examples

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!

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