All Git Users → o1-labs

4 open source projects by o1-labs

[ Open user page on Github ]

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

✭ 47

OCaml DSL for verifiable computation

✭ 317

3. ocamlbyexample

Learn Ocaml by reading code examples

✭ 18

ocaml HTML CSS javascript rust Makefile examples opam dune utop examples-ocaml

TypeScript framework for zk-SNARKs and zkApps

✭ 273

typescript javascript

1-4 of 4 user projects