o1-labs / snarkyLinks
OCaml DSL for verifiable computation
☆503Updated last month
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☆420Updated 4 years ago
- Circuit compiler for zkSNARKs☆473Updated 2 years ago
- A library for generating zk-STARKs.☆146Updated 3 years ago
- The Zinc language public repository☆309Updated 8 months ago
- Cryptographic accumulators in Rust.☆139Updated 4 months ago
- The proof systems used by Mina☆444Updated last week
- Pairing-friendly elliptic curve library.☆346Updated 3 months ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆126Updated 3 years ago
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 4 years ago
- Zero-knowledge virtual machine written in Rust☆247Updated 2 years ago
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- ☆116Updated 4 years ago
- Java library for distributed zero knowledge proof systems☆246Updated 3 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆657Updated last year
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆445Updated 5 months ago
- Rust-language assets for Zcash☆348Updated this week
- Spartan: High-speed zkSNARKs without trusted setup☆787Updated 2 months ago
- ☆78Updated 5 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆181Updated 3 years ago
- Multilingual BLS12-381 signature library☆528Updated 2 months ago
- Interfaces for Relations and SNARKs for these relations☆874Updated last week
- The start page about my efforts around smart contract verification☆301Updated 3 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆342Updated 3 months ago
- A fast zkSnark proof generator written in native Web Assembly.☆219Updated last month
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated 9 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆244Updated 3 years ago
- A high-level framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆188Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆323Updated last year
- zkInterface is a protocol for the interoperability of zero-knowledge frameworks.☆129Updated 2 years ago
- zk-SNARK library.☆1,087Updated last year