o1-labs / snarky

Related projects ⓘ

Alternatives and complementary repositories for snarky

• 0xProject / OpenZKP
  OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
  ☆648Updated 7 months ago
• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆415Updated 3 years ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆473Updated last year
• arkworks-rs / snark
  Interfaces for Relations and SNARKs for these relations
  ☆794Updated 3 weeks ago
• zcash / librustzcash
  Rust-language assets for Zcash
  ☆337Updated this week
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆696Updated last month
• cambrian / accumulator
  Cryptographic accumulators in Rust.
  ☆133Updated 3 years ago
• coder5876 / libsnark-tutorial
  Tutorial and example code for using libsnark
  ☆191Updated 3 years ago
• matter-labs / zinc
  The Zinc language public repository
  ☆307Updated 2 years ago
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆476Updated this week
• elibensasson / libSTARK
  A library for zero knowledge (ZK) scalable transparent argument of knowledge (STARK)
  ☆518Updated last year
• zkcrypto / pairing
  Pairing-friendly elliptic curve library.
  ☆341Updated 3 months ago
• zkcrypto / bellman
  zk-SNARK library.
  ☆1,026Updated 4 months ago
• HarryR / ethsnarks
  A toolkit for viable zk-SNARKS on Ethereum, Web, Mobile and Desktop
  ☆241Updated 3 weeks ago
• o1-labs / proof-systems
  The proof systems used by Mina
  ☆414Updated this week
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆243Updated last year
• bbuenz / BulletProofLib
  Library for generating non-interactive zero knowledge proofs without trusted setup (Bulletproofs)
  ☆172Updated 2 years ago
• ZenGo-X / curv
  Rust language general purpose elliptic curve cryptography.
  ☆264Updated 4 months ago
• GuildOfWeavers / genSTARK
  A library for generating zk-STARKs.
  ☆144Updated 2 years ago
• runtimeverification / evm-semantics
  K Semantics of the Ethereum Virtual Machine (EVM)
  ☆509Updated this week
• ebfull / sonic
  ☆78Updated 4 years ago
• scipr-lab / dizk
  Java library for distributed zero knowledge proof systems
  ☆234Updated 2 years ago
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆338Updated 3 weeks ago
• ebfull / halo
  ☆115Updated 3 years ago
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,051Updated 4 months ago
• zcash / mpc
  zk-SNARK parameter multi-party computation protocol
  ☆171Updated 5 years ago
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆305Updated 3 months ago
• poanetwork / threshold_crypto
  A pairing-based threshold cryptosystem for collaborative decryption and signatures used in HoneybadgerBFT implementation
  ☆191Updated 3 months ago
• akosba / xjsnark
  A high-level framework for developing efficient zk-SNARK circuits
  ☆184Updated last year
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆295Updated last year