zksnarks

There are 8 repositories under zksnarks topic.

• leo

  AleoHQ / leo

  🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

  compilerleoprogramming-languagezero-knowledgezksnarks
  Language:Rust 4766
• snarkOS

  AleoHQ / snarkOS

  A Decentralized Operating System for ZK Applications

  aleoblockchaincryptographyzero-knowledgezksnarksrust
  Language:Rust 3892

• Zokrates / ZoKrates

  A toolbox for zkSNARKs on Ethereum

  ethereumlanguagesnarkverifiable-computationzero-knowledgezksnarks
  Language:Rust 1755

• ziesha-network / bazuka

  Rust implementation of Ziesha protocol

  cryptocurrencyrustzero-knowledgezksnarksproof-of-stakezk-rollupblockchain
  Language:Rust 1068

• microsoft / Spartan

  Spartan: High-speed zkSNARKs without trusted setup

  cryptography-libraryzero-knowledge-proofszksnarksverifiable-computingnizkrust-library
  Language:Rust 636

• AleoHQ / sdk

  A Software Development Kit (SDK) for Zero-Knowledge Transactions

  aleoblockchainzero-knowledgezksnarkssdk
  Language:TypeScript 553

• sdiehl / bulletproofs

  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

  cryptographyzero-knowledgerange-proofszksnarkspedersen-commitmentsigmaelliptic-curveszk-snarksbulletproofs
  Language:Haskell 531

• o1-labs / proof-systems

  The proof systems used by Mina

  plonkzero-knowledge-proofskimchizksnarksbulletproofsrecursive-zkps
  Language:Rust 373

• howardwu / awesome-aleo

  🏎️ A curated list of Aleo & Leo code and resources 🏎️

  awesomeprivacyaleozero-knowledgezksnarks
  331

• AleoHQ / workshop

  📜 A Starter Guide to Build ZK Applications 📜

  aleotutorialworkshopzero-knowledgezksnarks
  Language:Shell 317
• protocols

  Loopring / protocols

  A zkRollup DEX & Payment Protocol

  loopringdexzksnarkszero-knowledgeblockchainlrcoedaxzkrollupsmartwallet
  Language:Solidity 316

• AleoHQ / welcome

  👋 Welcome to Provable! Zero-Knowledge is Finally Here 🚀

  aleoleozero-knowledgeblockchainzksnarks
  308

• scipr-lab / dizk

  Java library for distributed zero knowledge proof systems

  cryptographydistributed-computingzero-knowledge-proofszksnarks
  Language:Java 228

• fluidex / plonkit

  A zkSNARK toolkit to work with circom zkp DSL in plonk proof system.

  zksnarkszksnarkplonkcircom
  Language:Rust 155

• matter-labs / bellman

  Bellman zkSNARK library for community with Ethereum's BN256 support

  zero-knowledgezero-knowledge-proofszksnarkszksnarkzkpbellmanrustteam-crypto
  Language:C 151

• leonardoalt / fusion

  An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

  ethereuml2zkrollupzksnarkssmart-contracts
  Language:Rust 116

• Electron-Labs / ed25519-circom

  ED25519 implementation in Circom

  zksnarkzksnarkscircomgroth16ed25519
  Language:JavaScript 102

• snario / zknifty

  🎴Zero-knowledge non-fungible tokens on Ethereum using zk-SNARKs

  blockchaineddcsaerc721ethereumzksnarks
  Language:Python 90

• sdiehl / arithmetic-circuits

  Arithmetic circuits for zero knowledge proof systems

  arithmetic-circuitzksnarkscompilerzk-snarksqapzero-knowledge
  Language:Haskell 82
• vocdoni-node

  vocdoni / vocdoni-node

  A set of libraries and tools for the Vocdoni decentralized backend infrastructure, the main ground of our universally verifiable, privacy-centric and scalable digital voting protocol

  ethereumvotingtendermintipfsblockchainzksnarkszk-snarksprivacy-by-designvote-applicationvote-systemvoting-systemgolang
  Language:Go 80

• PaulRBerg / awesome-zkp-starter-pack

  A curated collection of links for zero-knowledge proof cryptography used in blockchains

  zero-knowledgezero-knowledge-proofszksnarksblockchainethereumaztec
  69

• AleoHQ / aleo-setup

  A Setup Ceremony for Universal SNARKs

  aleosetupzksnarksceremony
  Language:Rust 59

• z-prize / 2022-entries

  ZPrize 2022 - All qualified entries

  zero-knowledgezkpzkproofzkproof-proverzksnarks
  Language:Rust 50

• minerdao / awesome-aleo

  Awesome Aleo mining and development resources maintained by MinerDAO community.

  aleozksnarksaleo-poolaleo-resources
  49

• sdiehl / sonic

  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings

  zksnarkscrssrsprivacycryptographymultiparty-computation
  Language:Haskell 44

• minerdao / posts

  MinerDAO focus on the Chinese community to research and share mining tutorial.

  aleofilecoinipfsminaminerminingmining-poolzksnarks
  43

• arkworks-rs / ripp

  Argument systems for inner pairing products

  rustcryptographyzksnarksbulletproofs
  Language:Rust 42

• iluxonchik / zkLocus

  zkLocus is an application, a framework, and protocol that enables private and programmable geolocation sharing both off-chain and on-chain. Natively implemented on the Mina Protocol using the O1JS framework, zkLocus turns geolocation into a Real-World-Asset (RWA). zkLocus's DeFi ecosystem is powered by its native $ZKL token.

  blockchainminamina-protocolmina-zkappprivacywebweb3zkzk-snarkszksnarks
  Language:TypeScript 34

• Electron-Labs / aes-circom

  AES-GCM implementation in Circom

  aesaes-256aes-256-gcmcircomgroth16zkzksnarkzksnarks
  Language:JavaScript 32

• minerdao / aleo-prove-bench

  Aleo prove benchmark scripts for testnet3 with GPU.

  zksnarksaleo-benchmarkaleo-gpualeogpurust-gpu
  Language:Rust 30

• AntoineRondelet / snark-mixer

  A PoC for a zkSnark-based mixer on Ethereum (adapted from Miximus)

  zksnarkszero-knowledgeethereumprivacymixertumbler
  Language:C++ 28

• tomoima525 / zkp-vote

  Proof of concept dapp for zero-knowledge proof with Zokrates

  cryptographyethereumdappzksnarkshardhatzokrates
  Language:TypeScript 20

• arkworks-rs / dpc

  A library for decentralized private computation

  rustcryptographyblockchainsnarkzksnarks
  Language:Rust 18

• alxkzmn / zk-wordle

  The Wordle you know, but with Zero-Knowledge Proofs

  zkpzk-snarkszkproofwordlewordle-gamecircomcircomlibsnarkjszksnarkzksnarksblockchainethereumzkzk-wordle
  Language:TypeScript 13

• AwesomeHuang / Zokrates_Demo

  A demo using Zokrates to build an encrypted transaction on Ethereum/Qtum based on zkSNARKs algorithm

  zokrateszksnarkszokrates-demoethereumzksnarks-algorithm
  13

• Electron-Labs / sha512

  SHA512 Circom circuits

  circomgroth16sha512zksnarkzksnarks
  Language:JavaScript 13