o1-labs / snarky

Related projects ⓘ

Alternatives and complementary repositories for snarky

• o1-labs / proof-systems
  The proof systems used by Mina
  ☆413Updated this week
• 0xProject / OpenZKP
  OpenZKP - pure Rust implementations of Zero-Knowledge Proof systems.
  ☆648Updated 6 months ago
• stellar / slingshot
  A new blockchain architecture under active development, with a strong focus on scalability, privacy and safety
  ☆415Updated 3 years ago
• zkcrypto / pairing
  Pairing-friendly elliptic curve library.
  ☆341Updated 2 months ago
• zcash / librustzcash
  Rust-language assets for Zcash
  ☆334Updated this week
• arkworks-rs / snark
  Interfaces for Relations and SNARKs for these relations
  ☆791Updated last week
• cambrian / accumulator
  Cryptographic accumulators in Rust.
  ☆133Updated 3 years ago
• microsoft / Spartan
  Spartan: High-speed zkSNARKs without trusted setup
  ☆689Updated last month
• zkcrypto / bellman
  zk-SNARK library.
  ☆1,017Updated 3 months ago
• coder5876 / libsnark-tutorial
  Tutorial and example code for using libsnark
  ☆190Updated 3 years ago
• iden3 / circom_old
  Circuit compiler for zkSNARKs
  ☆473Updated last year
• zkcrypto / bls12_381
  Implementation of the BLS12-381 pairing-friendly elliptic curve group
  ☆300Updated 2 months ago
• supranational / blst
  Multilingual BLS12-381 signature library
  ☆471Updated last month
• arkworks-rs / marlin
  A Rust library for the Marlin preprocessing zkSNARK
  ☆315Updated 9 months ago
• matter-labs / zinc
  The Zinc language public repository
  ☆308Updated 2 years ago
• ZenGo-X / curv
  Rust language general purpose elliptic curve cryptography.
  ☆264Updated 3 months ago
• argumentcomputer / lurk-beta
  Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact:…
  ☆434Updated last week
• arkworks-rs / poly-commit
  A Rust library for polynomial commitments
  ☆336Updated last week
• dalek-cryptography / bulletproofs
  A pure-Rust implementation of Bulletproofs using Ristretto.
  ☆1,048Updated 3 months ago
• dusk-network / plonk
  Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
  ☆548Updated 3 weeks ago
• zcash / halo2
  The Halo2 zero-knowledge proving system
  ☆737Updated 2 months ago
• GuildOfWeavers / distaff
  Zero-knowledge virtual machine written in Rust
  ☆243Updated last year
• ebfull / sonic
  ☆78Updated 4 years ago
• ZK-Garage / plonk
  A pure Rust PLONK implementation using arkworks as a backend.
  ☆294Updated last year
• ebfull / halo
  ☆115Updated 3 years ago
• GuildOfWeavers / genSTARK
  A library for generating zk-STARKs.
  ☆144Updated 2 years ago
• w3f / schnorrkel
  Schnorr VRFs and signatures on the Ristretto group
  ☆312Updated 2 months ago
• zcash / mpc
  zk-SNARK parameter multi-party computation protocol
  ☆171Updated 5 years ago
• privacy-scaling-explorations / maci
  Minimal Anti-Collusion Infrastructure (MACI)
  ☆521Updated this week
• scipr-lab / libiop
  C++ library for IOP-based zkSNARKs
  ☆148Updated 9 months ago