← All repos

snarky

OCaml DSL for verifiable computation

GitHubo1-labs.github.io/snarky/
Browse cluster: Cosmos blockchain and smart contract languages →
1,203commits
42contributors
5languages

Tech stack & purpose

Snarky is an OCaml domain-specific language and front-end for writing R1CS SNARKs, a cryptographic proof system used in verifiable computation. The library abstracts away low-level SNARK details by allowing developers to write programs that look like ordinary OCaml code, with a `Checked.t` monad that marks computations whose execution will be certified by the SNARK; it is modular over backend SNARK libraries and includes backends from libsnark. The project was developed by O1 Labs and is primarily used by the Mina project, though the README notes the codebase contains substantial obsolete code from earlier versions. Snarky is built in OCaml and requires OCaml 4.14.2, along with libsnark's C/C++ dependencies.

Community & reference links

Languages

OCaml
99.0%
Dune
0.7%
Dockerfile
0.1%
Makefile
0.1%
Shell
0.0%

Contributors (top 30 of 42)