snarky
by o1-labs
OCaml DSL for verifiable computation
AI summary
SNARK compiler
An OCaml front-end for writing and verifying computation protocols using R1CS SNARKs.
- stars
- 498
- forks
- 74
- watching
- 44
- awesome lists
- 3
Similar projects
Found by comparing what the projects do, not just their names.
Zk framework library
An evolution of SnarkyJS, providing a toolkit for building zero-knowledge-enabled applications using zk-SNARKs and zkApps in TypeScript.
consensys/gnark1.5K
SNARK library
A fast zk-SNARK library with a high-level API to design circuits.
Combinatorial solver
An OCaml library for solving combinatorial problems using dancing links and other techniques
OCaml compiler
A WebAssembly backend for the OCaml programming language
Linear expression solver
A numerical library for OCaml providing tools for linear expressions and optimization
shrynx/99.re110
Problem solver library
A comprehensive collection of solutions to common problems in programming using Reason and OCaml
zkSNARK prover
A GPU-based zkSNARK prover that aims to improve the performance of distributed verification processes for blockchain applications.
zk-SNARK library
A tutorial and example code project for creating zk-SNARKs using the libsnark software library
Query library
A syntax extension for writing SQL queries in OCaml with type inference and syntax checking.
owlbarn/owl1.2K
Computing toolkit
A comprehensive scientific computing framework designed to provide a powerful and flexible toolset for writing concise, fast, and safe analytical code in OCaml.
ML framework
Enables machine learning with scikit-learn in OCaml
zk-prover
A zk-SNARK implementation using circom and snarkjs for secure multi-party computation and decentralized applications.
Testing library
A QuickCheck-inspired testing library for OCaml that enables property-based testing and random value generation.
JSON decoder library
A combinator library that decodes JSON-like data into OCaml types
Code transformer
Transforms OCaml code into formal, verifiable Coq code to prove complex properties
Featured in 3 awesome lists
Each link jumps to the spot where the list mentions snarky.
