o1-labs / snarky
OCaml DSL for verifiable computation
☆499Updated 3 months ago
Alternatives and similar repositories for snarky:
Users that are interested in snarky are comparing it to the libraries listed below
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆416Updated 4 years ago
- Circuit compiler for zkSNARKs☆473Updated last year
- The proof systems used by Mina☆439Updated this week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆655Updated 11 months ago
- Tutorial and example code for using libsnark☆192Updated 3 years ago
- The Zinc language public repository☆309Updated 4 months ago
- Spartan: High-speed zkSNARKs without trusted setup☆753Updated 2 months ago
- ☆78Updated 5 years ago
- Rust-language assets for Zcash☆340Updated this week
- Cryptographic accumulators in Rust.☆137Updated last month
- Zero-knowledge virtual machine written in Rust☆247Updated 2 years ago
- Interfaces for Relations and SNARKs for these relations☆836Updated last week
- A library for generating zk-STARKs.☆144Updated 2 years ago
- ☆115Updated 3 years ago
- Pairing-friendly elliptic curve library.☆344Updated this week
- zk-SNARK library.☆1,070Updated 9 months ago
- Rust language general purpose elliptic curve cryptography.☆266Updated 9 months ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆532Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆321Updated last year
- A high-level framework for developing efficient zk-SNARK circuits☆185Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 5 months ago
- A zkSNARK tutorial and development environment☆403Updated 4 years ago
- Open source implementation of zkSTARKs in pure Rust☆82Updated last year
- A fast zkSnark proof generator written in native Web Assembly.☆216Updated 2 weeks ago
- Pure Rust implementation of the PLONK ZKProof System done by the Dusk team☆582Updated 2 months ago
- Schnorr VRFs and signatures on the Ristretto group☆322Updated 8 months ago
- The Halo2 zero-knowledge proving system☆773Updated 4 months ago
- Multilingual BLS12-381 signature library☆508Updated last month
- Nova: High-speed recursive arguments from folding schemes☆753Updated 2 weeks ago