snark

There are 0 repository under snark topic.

• matter-labs / awesome-zero-knowledge-proofs

  A curated list of awesome things related to learning Zero-Knowledge Proofs (ZKP).

  explaining-snarksknowledge-proofssnarkteam-cryptozk-snarks
  4879

• Zokrates / ZoKrates

  A toolbox for zkSNARKs on Ethereum

  zksnarksethereumzero-knowledgesnarklanguageverifiable-computation
  Language:Rust 1742

• Consensys / gnark-crypto

  gnark-crypto provides elliptic curve and pairing-based cryptography on BN, BLS12, BLS24 and BW6 curves. It also provides various algorithms (algebra, crypto) of particular interest to zero knowledge proof systems.

  bigintegerbls12-377bls12-381bn254cryptocryptographyecceddsaelliptic-curvesfinite-field-arithmeticfrigogolanghash-to-curvemimcpairingsnarkzkpzksnark
  Language:Go 452

• a16z / Lasso

  The lookup singularity. Based on Spartan; built on Arkworks.

  arkworkscryptographysnarkzkzk-snarkszkpcrypto
  Language:Rust 283

• arkworks-rs / groth16

  A Rust implementation of the Groth16 zkSNARK

  cryptographygroth16rustsnarkzksnark
  Language:Rust 201

• RingsNetwork / rings

  Rings is a structured peer-to-peer network implementation using WebRTC, Chord DHT, and full WebAssembly (WASM) support.

  webrtcp2pdhtdht-networkp2p-networkend-to-end-encryptionpeer-to-peernovasnarkzkp
  Language:Rust 180

• arkworks-rs / crypto-primitives

  Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them

  cryptographysignatureshash-functionssnarkr1csrust
  Language:Rust 144

• nexus-xyz / nexus-zkvm

  The Nexus zkVM: The zero-knowledge virtual machine

  cryptographynexusrustsnarkzero-knowledgezkvm
  Language:Rust 136
• zk-starter

  cawfree / zk-starter

  zero knowledge for those with zero knowledge

  computationcryptographydecentralizedethereumevmprivacyverifiablezksnarkstark
  Language:Solidity 101

• VictorColomb / stark-snark-recursive-proofs

  STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language

  snarkstarkzero-knowledgezero-knowledge-proofscryptography
  Language:Rust 100

• zkCollective / zk-Harness

  Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

  benchmarksnarkzk-snarkszkp
  Language:Python 91

• matter-labs-archive / matter-network

  PoC of SNARK-driven Plasma with up to 500 tx/sec

  plasmasnarksnarks-driven-plasma
  69

• 0xEigenLabs / eigen-secret

  Confidential Transaction with Collaborative Traceability, zk-zkRollup

  blockchainsnarkzkplayer2zkrollupprivacy
  Language:TypeScript 43

• BoltonBailey / formal-snarks-project

  A formal verification of Linear PCP SNARKs.

  snarkleanmathlib
  Language:Lean 39

• DrPeterVanNostrand / halo2-merkle

  Halo2 Merkle tree circuits

  snarkhalo2plonkcircuitmerkle
  Language:Rust 31

• arkworks-rs / pcd

  Implementations of proof-carrying data

  cryptographyivcproof-carrying-datarustsnark
  Language:Rust 29

• KogarashiNetwork / Kogarashi

  凩: A Next-Generation Composable Hybrid Smart Contract and (De)Centralized Merged Application Platform

  polkadotprivacyoff-chain-verificationoraclescalingzero-knowledge-proofsbls12-381cryptographyeccelliptic-curvesjubjubpairingsnarkzkpzksnark
  Language:Rust 26

• matter-labs-archive / Groth16BatchVerifier

  Batch verification proposal for the zkSNARK verification with the same(!) circuit

  proofsnarksnark-verification
  Language:JavaScript 24

• toonsegers / verifiable_mpc

  A scheme that produces a zero-knowledge proof of correctness for an MPC computation. The scheme allows anyone, particularly someone external to the secure computation, to check the correctness of the output, while preserving the privacy properties of the MPC protocol.

  mpcsecure-multi-party-computationverifiable-mpccryptographythreshold-cryptographysnarkzero-knowledge-proofzero-knowledge-compiler
  Language:Python 20

• arkworks-rs / dpc

  A library for decentralized private computation

  rustcryptographyblockchainsnarkzksnarks
  Language:Rust 18

• zack-bitcoin / verkle

  A database being built for the Amoveo blockchain.

  cryptocurrencyblockchaindatabaseverklemerklezksnarksnarkpedersen
  Language:Erlang 17

• mottla / go-R1CS-Compiler

  A compiler to turn GO code into a zkSNARK

  r1csarithmetic-circuitgroth16zk-snarkssnarklanguagegolangconstraintgates
  Language:Go 16

• arkworks-rs / ivls

  Implementation of incrementally verifiable ledger system

  blockchaincryptographyledgerrustsnark
  Language:Rust 15

• 0xEigenLabs / plonkjs

  Javascript/NodeJS Plonk prover and verifier on bellman

  plonksnarksnarkjsprivacyzkp
  Language:Rust 11

• arkworks-rs / gm17

  A Rust library for the preprocessing zkSNARK of Groth and Maller

  rustzksnarkr1cscryptographysnark
  Language:Rust 8

• tokamak-network / Tokamak-ZkEVM

  A new type of zk-EVM for L2 rollup

  cryptographyethereumgroth16layer2snarkzero-knowledge
  Language:JavaScript 7

• ikhaliq15 / R1CS-SNARK-Gadgets

  A range proof SNARK using Spartan.

  snarkspartan
  Language:Rust 6

• matter-labs-archive / GameOfSnarks_contracts

  Smart-contracts for the game of SNARKs

  snarkgame
  Language:JavaScript 6

• eyedeekay / samtracker

  Will it track?

  i2pbittorrentbiglybtsnarkp2p
  Language:Go 4

• kilic / bellman-playground

  bellman circuit playground

  snarkzk-snarksbellman
  Language:Rust 4

• teddav / tornado-halo2

  Tornado Cash circuits written with Halo2

  ethereumhalo2privacycircuitmerkleplonksnarkzk
  Language:Rust 3

• bullet-tooth / zk-battleship

  rustsnarksnarkszkzk-snarkszkpzkproofzksnarks
  Language:Rust 2

• NilFoundation / vote-saver-protocol

  VoteSAVER Protocol Implementation

  cryptographysnarkcrypto3
  Language:C++ 2

• PayneJoe / crypto_research

  crypto research stuffs from numerics to ZK applied protocols all written with dirty hands

  eccpcssnarkbigintegerfinite-fieldshashpolynomialendomorphismlatticepairings
  Language:Rust 2

• shuklaayush / halo2-plonky2-verifier

  Halo2 gadgets for verifying plonky2/starky proofs (WIP)

  friplonksnarkstarkzk
  Language:Rust 2

• duckki / mini-snark

  A simple SNARK implementation in Python

  kzgsnark
  Language:Python 1