o1-labs / snarky
OCaml DSL for verifiable computation
☆499Updated this week
Alternatives and similar repositories for snarky
Users that are interested in snarky are comparing it to the libraries listed below
Sorting:
- Interfaces for Relations and SNARKs for these relations☆845Updated this week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆656Updated last year
- The proof systems used by Mina☆440Updated this week
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆532Updated 2 years ago
- Circuit compiler for zkSNARKs☆473Updated 2 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆417Updated 4 years ago
- zk-SNARK library.☆1,073Updated 9 months ago
- Rust-language assets for Zcash☆344Updated this week
- Spartan: High-speed zkSNARKs without trusted setup☆761Updated 3 months ago
- The Zinc language public repository☆309Updated 5 months ago
- A Rust library for the Marlin preprocessing zkSNARK☆321Updated last year
- Rust language general purpose elliptic curve cryptography.☆266Updated 9 months ago
- Cryptographic accumulators in Rust.☆137Updated last month
- Pairing-friendly elliptic curve library.☆344Updated 3 weeks ago
- Tutorial and example code for using libsnark☆192Updated 3 years ago
- Multilingual BLS12-381 signature library☆515Updated 2 weeks ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆337Updated 3 weeks ago
- A Rust library for polynomial commitments☆378Updated 5 months ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆180Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 6 months ago
- zk-SNARK parameter multi-party computation protocol☆173Updated 5 years ago
- ☆115Updated 3 years ago
- A STARK prover and verifier for arbitrary computations☆844Updated last month
- A fast zkSnark proof generator written in native Web Assembly.☆216Updated last month
- A pure-Rust implementation of Bulletproofs using Ristretto.☆1,083Updated 9 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆446Updated 2 months ago
- DEPRECATED: use noble-curves instead. Fastest JS implementation of BLS12-381.☆201Updated 7 months ago
- Schnorr VRFs and signatures on the Ristretto group☆322Updated 8 months ago
- ☆304Updated last week
- A high-level framework for developing efficient zk-SNARK circuits☆187Updated 2 years ago