o1-labs / snarkyLinks
OCaml DSL for verifiable computation
☆502Updated 2 months 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☆421Updated 4 years ago
- The proof systems used by Mina☆447Updated this week
- Circuit compiler for zkSNARKs☆474Updated 2 years ago
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆451Updated 6 months ago
- Cryptographic accumulators in Rust.☆139Updated 6 months ago
- Rust-language assets for Zcash☆350Updated last week
- Interfaces for Relations and SNARKs for these relations☆875Updated last week
- Pairing-friendly elliptic curve library.☆345Updated 5 months ago
- Java library for distributed zero knowledge proof systems☆247Updated 3 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆658Updated last year
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- ☆116Updated 4 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
- Multilingual BLS12-381 signature library☆534Updated this week
- A library for generating zk-STARKs.☆145Updated 3 years ago
- The Zinc language public repository☆308Updated 9 months ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- Spartan: High-speed zkSNARKs without trusted setup☆800Updated 3 months ago
- zk-SNARK library.☆1,091Updated last year
- The start page about my efforts around smart contract verification☆298Updated 3 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆324Updated 3 years ago
- A STARK prover and verifier for arbitrary computations☆872Updated 2 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 framework for developing efficient zk-SNARK circuits (https://akosba.github.io/papers/xjsnark.pdf)☆190Updated 2 years ago
- A Rust library for the Marlin preprocessing zkSNARK☆323Updated last year
- ☆78Updated 5 years ago
- Implementation of the BLS12-381 pairing-friendly elliptic curve group☆344Updated 5 months ago
- Rust language general purpose elliptic curve cryptography.☆270Updated last year
- Privacy-preserving auditing for distributed ledgers☆67Updated 6 years ago