snarky
SNARK compiler
An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs.
OCaml DSL for verifiable computation
498 stars
44 watching
74 forks
Language: OCaml
last commit: 11 months ago
Linked from 3 awesome lists
matter-labs/awesome-zero-knowledge-proofs
ventali/awesome-zk
pirapira/awesome-ethereum-virtual-machineRelated projects:
| Repository | Description | Stars |
|---|---|---|
| o1-labs/o1js | An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript. | 540 |
 consensys/gnark | A fast zk-SNARK library with a high-level API to design circuits. | 1,459 |
 backtracking/combine | An OCaml library for solving combinatorial problems using dancing links and other techniques | 35 |
 sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 79 |
 cheshire/onumerical | A numerical library for OCaml providing tools for linear expressions and optimization | 8 |
 shrynx/99.re | A comprehensive collection of solutions to common problems in programming using Reason and OCaml | 110 |
 matter-labs-archive/snarkygpu | A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications. | 23 |
 coder5876/libsnark-tutorial | A tutorial and example code project for creating zk-SNARKs using the libsnark software library | 191 |
 roddyyaga/ppx_rapper | A syntax extension for writing SQL queries in OCaml with type inference and syntax checking. | 138 |
 owlbarn/owl | A comprehensive scientific computing framework designed to provide a powerful and flexible toolset for writing concise, fast, and safe analytical code in OCaml. | 1,225 |
 lehy/ocaml-sklearn | Enables machine learning with scikit-learn in OCaml | 34 |
 luozhuzhang/zkps-circuit-snark | A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications. | 61 |
 c-cube/qcheck | A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation. | 354 |
 mattjbray/ocaml-decoders | A combinator library that decodes JSON-like data into OCaml types | 85 |
 formal-land/coq-of-ocaml | Transforms OCaml code into formal, verifiable Coq code to prove complex properties | 255 |