o1-labs / snarkyLinks
OCaml DSL for verifiable computation
☆501Updated 3 weeks ago
Alternatives and similar repositories for snarky
Users that are interested in snarky are comparing it to the libraries listed below
Sorting:
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆419Updated 4 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆657Updated last year
- Rust-language assets for Zcash☆349Updated this week
- Circuit compiler for zkSNARKs☆473Updated 2 years ago
- Cryptographic accumulators in Rust.☆137Updated 3 months ago
- A library for generating zk-STARKs.☆146Updated 2 years ago
- The proof systems used by Mina☆439Updated last week
- Interfaces for Relations and SNARKs for these relations☆861Updated last week
- Pairing-friendly elliptic curve library.☆346Updated 2 months ago
- A Rust library for the Marlin preprocessing zkSNARK☆322Updated last year
- Zero-knowledge virtual machine written in Rust☆247Updated 2 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆782Updated last month
- zk-SNARK parameter multi-party computation protocol☆172Updated 5 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆343Updated 2 months ago
- The Zinc language public repository☆309Updated 7 months ago
- zk-SNARK library.☆1,082Updated 11 months ago
- ☆78Updated 5 years ago
- Tutorial and example code for using libsnark☆193Updated 4 years ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆446Updated 4 months ago
- Schnorr VRFs and signatures on the Ristretto group☆329Updated 10 months ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 7 months ago
- Rust language general purpose elliptic curve cryptography.☆270Updated 11 months ago
- An implementation of Verifiable Delay Functions in Rust☆181Updated 4 years ago
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆541Updated 2 years ago
- A Rust library for polynomial commitments☆387Updated 6 months ago
- The Halo2 zero-knowledge proving system☆799Updated 2 weeks ago
- A STARK prover and verifier for arbitrary computations☆858Updated last week
- A zkSNARK tutorial and development environment☆404Updated 4 years ago
- A pure Rust PLONK implementation using arkworks as a backend.☆309Updated last year
- A pairing-based threshold cryptosystem for collaborative decryption and signatures used in HoneybadgerBFT implementation☆195Updated 10 months ago