o1-labs / snarky
OCaml DSL for verifiable computation
☆498Updated 2 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 3 years ago
- Tutorial and example code for using libsnark☆191Updated 3 years ago
- Interfaces for Relations and SNARKs for these relations☆826Updated this week
- Circuit compiler for zkSNARKs☆473Updated last year
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆654Updated 10 months ago
- Pairing-friendly elliptic curve library.☆345Updated 6 months ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆125Updated 2 years ago
- A high-level framework for developing efficient zk-SNARK circuits☆185Updated 2 years ago
- Cryptographic accumulators in Rust.☆135Updated 4 years ago
- A library for generating zk-STARKs.☆145Updated 2 years ago
- ☆115Updated 3 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆752Updated last month
- Zero-knowledge virtual machine written in Rust☆248Updated last year
- Rust language general purpose elliptic curve cryptography.☆265Updated 7 months ago
- Rust-language assets for Zcash☆341Updated this week
- ☆78Updated 5 years ago
- A fast zkSnark proof generator written in native Web Assembly.☆215Updated 2 years ago
- zk-SNARK library.☆1,056Updated 7 months ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆178Updated 2 years ago
- Multilingual BLS12-381 signature library☆502Updated this week
- The Zinc language public repository☆309Updated 3 months ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆520Updated this week
- Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup☆540Updated 2 years ago
- A zkSNARK tutorial and development environment☆404Updated 4 years ago
- K framework proof explorer & smart contract specification format☆123Updated 3 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 4 months ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆447Updated 2 weeks ago
- Java library for distributed zero knowledge proof systems☆240Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆320Updated last year
- Schnorr VRFs and signatures on the Ristretto group☆321Updated 6 months ago