o1-labs / snarkyLinks
OCaml DSL for verifiable computation
☆503Updated last week
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☆422Updated 4 years ago
- Circuit compiler for zkSNARKs☆474Updated 2 years ago
- ☆117Updated 4 years ago
- Rust-language assets for Zcash☆377Updated this week
- A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson☆157Updated 4 years ago
- A library for generating zk-STARKs.☆146Updated 3 years ago
- The Zinc language public repository☆309Updated last year
- The proof systems used by Mina☆453Updated this week
- Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…☆453Updated 9 months ago
- Cryptographic accumulators in Rust.☆139Updated 8 months ago
- Zero-knowledge virtual machine written in Rust☆246Updated 2 years ago
- Java library for distributed zero knowledge proof systems☆248Updated 3 years ago
- Interfaces for Relations and SNARKs for these relations☆888Updated 2 months ago
- A system for verifying outsourced computations, and applying SNARKs. Simplified release of the main Pepper codebase.☆127Updated 3 years ago
- OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.☆659Updated last year
- Scilla - A Smart Contract Intermediate Level Language☆250Updated 6 months ago
- Tutorial and example code for using libsnark☆190Updated 4 years ago
- Pairing-friendly elliptic curve library.☆349Updated 7 months ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 6 years ago
- zk-SNARK parameter multi-party computation protocol☆175Updated 6 years ago
- Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)☆183Updated 3 years ago
- Multilingual BLS12-381 signature library☆542Updated 2 weeks ago
- The start page about my efforts around smart contract verification☆295Updated 3 years ago
- A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)☆559Updated 2 years ago
- A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop☆242Updated last year
- A Lem formalization of EVM and some Isabelle/HOL proofs☆243Updated 3 years ago
- zk-SNARK library.☆1,099Updated last year
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Updated 3 years ago
- K Semantics of the Ethereum Virtual Machine (EVM)☆549Updated this week
- ☆78Updated 6 years ago