o1-labs / snarkyLinks
OCaml DSL for verifiable computation
☆500Updated last month
Alternatives and similar repositories for snarky
Users that are interested in snarky are comparing it to the libraries listed below
Sorting:
- Circuit compiler for zkSNARKs☆474Updated 2 years ago
- A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety☆420Updated 4 years ago
- Interfaces for Relations and SNARKs for these relations☆877Updated last month
- ☆116Updated 4 years ago
- The proof systems used by Mina☆445Updated this week
- Cryptographic accumulators in Rust.☆140Updated 5 months ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 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:…☆449Updated 6 months ago
- The Zinc language public repository☆308Updated 9 months ago
- Java library for distributed zero knowledge proof systems☆247Updated 3 years ago
- Rust-language assets for Zcash☆349Updated this week
- The start page about my efforts around smart contract verification☆300Updated 3 years ago
- A library for generating zk-STARKs.☆146Updated 3 years ago
- Pairing-friendly elliptic curve library.☆346Updated 4 months ago
- Zero-knowledge virtual machine written in Rust☆247Updated 2 years ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆126Updated 3 years ago
- Multilingual BLS12-381 signature library☆531Updated last week
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆657Updated last year
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆189Updated 2 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆182Updated 3 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 6 years ago
- Rust language general purpose elliptic curve cryptography.☆269Updated last year
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆539Updated this week
- Spartan: High-speed zkSNARKs without trusted setup☆790Updated 3 months ago
- An implementation of the paper "Honey Badger of BFT Protocols" in Rust. This is a modular library of consensus.☆365Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- A fast zkSnark proof generator written in native Web Assembly.☆218Updated last week
- ☆78Updated 5 years ago