O(1) Labs

snarky is an OCaml front-end for writing R1CS SNARKs.

Spin up a lightweight Mina network within the single container.

Docker registry for https://github.com/o1-labs/mina-rust

Docker registry for the frontend of the Mina Rust node. See https://github.com/o1-labs/mina-rust

See https://github.com/o1-labs/mina-network-debugger/

The Mina network performance testing tools

A solution for mutable state management for Web3

Proof systems images