zksnark

There are 3 repositories under zksnark topic.

• Consensys / gnark

  gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license

  zkpzksnarkzk-snarksgnarkr1csgolang
  Language:Go 1302

• 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.

  elliptic-curvespairingcryptographygolangbigintegereccmimceddsabls12-381bls12-377zkpsnarkzksnarkcryptogobn254finite-field-arithmeticfrihash-to-curve
  Language:Go 460

• arkworks-rs / marlin

  A Rust library for the Marlin preprocessing zkSNARK

  cryptographymarlinr1csrustzksnark
  Language:Rust 297

• arkworks-rs / groth16

  A Rust implementation of the Groth16 zkSNARK

  cryptographygroth16rustsnarkzksnark
  Language:Rust 206

• fluidex / plonkit

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

  zksnarkszksnarkplonkcircom
  Language:Rust 154

• matter-labs / bellman

  Bellman zkSNARK library for community with Ethereum's BN256 support

  zero-knowledgezero-knowledge-proofszksnarkszksnarkzkpbellmanrustteam-crypto
  Language:C 151
• namada-trusted-setup

  anoma / namada-trusted-setup

  Namada Trusted Setup Ceremony for the Multi-Asset Shielded Pool (MASP) enabling asset-agnostic private transfers

  ceremonynamadatrusted-setupzksnark
  Language:Rust 114

• Electron-Labs / ed25519-circom

  ED25519 implementation in Circom

  circomed25519groth16zksnarkzksnarks
  Language:JavaScript 102

• sdiehl / zkp

  A framework to execute and verify algorithms using Groth16 zkSNARKs.

  zero-knowledgezero-knowledge-proofszksnarkzkpbn254arithmetic-circuitszk-snarks
  Language:Haskell 90

• shanzson / Zero-Knowledge-Proofs-Learning-Resources

  This repository contains Zk learning resources

  cryptographyeducationgameprivacyprivacy-enhancing-technologiessecurityzero-knowledgecircomsnarkjszkzksnark
  88

• zkLinkProtocol / zklink-contracts

  zklink core contract, EVM compatible.

  layer2zkrollupdexzksnarkcross-chain
  Language:Solidity 85

• Electron-Labs / aes-circom

  AES-GCM implementation in Circom

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

• Blockchain-E-Voting / EthzkSNARK-Voting

  Secure E-Voting framework based on Ethereum blockchain and zkSNARK

  blockchaine-votingethereumzero-knowledge-proofszksnarkzokratesvoterinkebyarithmetic-circuitvoter-registrationvotingtransaction
  Language:JavaScript 27

• 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

• ZeroProphet / klefki

  Klefki is a playground for researching elliptic curve group based algorithm, such as MPC, ZKP and HE. All data types & structures are based on mathematical defination of abstract algebra.

  bitcoinalgorithmalgebracryptocurrencyzero-knowledgecryptographyelliptic-curve-cryptographycryptocoinszksnark
  Language:Python 23

• zack-bitcoin / verkle

  A database being built for the Amoveo blockchain.

  cryptocurrencyblockchaindatabaseverklemerklezksnarksnarkpedersen
  Language:Erlang 17

• alxkzmn / zk-wordle

  The Wordle you know, but with Zero-Knowledge Proofs

  zkpzk-snarkszkproofwordlewordle-gamecircomcircomlibsnarkjszksnarkzksnarksblockchainethereumzkzk-wordle
  Language:TypeScript 13

• Electron-Labs / sha512

  SHA512 Circom circuits

  circomgroth16sha512zksnarkzksnarks
  Language:JavaScript 13

• curryrasul / voan

  ANonymous VOting platform on NEAR Protocol

  blockchaincryptographyrustzksnark
  Language:JavaScript 12

• matter-labs-archive / Edcon2019_material

  Materials for Edcon 2019 webcast

  zksnarkszksnarkzero-knowledge-proofszero-knowledgezkpbellmanrust
  Language:Rust 12

• zdai-io / zkVoting

  zkSNARK based Voting constructor

  zksnarkvotingvoting-app
  Language:JavaScript 11

• Ethsnarks / ethsnarks-hashpreimage

  An example of a zero-knowledge-proof of a SHA256 pre-image for Ethereum

  ethereumethsnarksexample-projectzero-knowledge-proofszksnark
  Language:C++ 10

• sCrypt-Inc / zk-battleship

  A React zkSNARK Battleship game

  battleshipscryptzksnark
  Language:TypeScript 9

• sripwoud / decentralized_house_listing

  🏘️ Decentralized house listing service using ERC721 standard, ZKSNARK, and OpenSea

  ethereumerc721zksnarkzokratesopenseasoliditytrufflemarketplacemetamaskinfuraudacityudacity-blockchain-nanodegree
  Language:Solidity 9

• arkworks-rs / gm17

  A Rust library for the preprocessing zkSNARK of Groth and Maller

  cryptographyr1csrustsnarkzksnark
  Language:Rust 8

• bitzec / bitzec

  BITZEC [BZC] - The Binary digit Zero-knowledge Electronic Currency , Zcash 2.0 [zec] Sapling fork , 2.5minute blocktime ,7bn max supply, Blockreward decreas every month- on zcashs sapling MPC 2 setup - chat: https://discord.gg/VeBJW3H ANN https://bitcointalk.org/index.php?topic=5045890.0

  bitcoinzcashcryptobtczksnarkszksnarkminingaltcoinhyraxcryptographycryptocurrencyp2pc-plus-plus
  Language:C++ 6

• Ethsnarks / miximus-emscripten

  Miximus + Emscripten/WASM + Browser = zkSNARKs on the web

  anonymityemscriptenethereumethsnarksmiximusprivacywasmzksnark
  Language:Makefile 6

• tamago-labs / zkgpt

  Building your GPT-based private knowledge hub using zkSNARK & PLONK

  chatgptcircomopenaizksnarklangchain
  Language:Circom 6

• Tetration-Lab / arkworks-solidity-verifier

  Solidity SNARK verifier generator for Arkwork's proof systems.

  cryptographyethereumsolidityarkworkszksnarkgroth16marlingm17
  Language:Rust 5

• verumlotus / ZK-Hashes

  Calculate the hash of any input for ZK-Friendly hashes (MiMC & Poseidon) over a variety of Elliptic Curves.

  circomhashmimcpallaspasta-curvesvestazero-knowledgezksnarkbabyjubjubbn254
  Language:TypeScript 5

• Elexy101 / Aleo-Monopoly

  This is a simple monopoly game using Leo programming language. Players has a specific amount to buy, rent, stake to earn, bid super auction and sale property. Have fun playing private as balances/bid cannot be known! Testnet Gude: https://elexy101.hashnode.dev/aleo-monopoly-beta-how-to-play-1st-monopoly-game-on-aleo-blockchain

  aleodappgamingprivacyzksnarkaleo-monopoly
  Language:HTML 4

• LBruyne / ZKPedia

  An encyclopedia of Zero Knowledge Proof. Also for recording my personal researches in Verifiable Computing and Zero Knowledge Proof area.

  verifiable-computationwikipediazero-knowledgezero-knowledge-proofzksnarkinteractive-proofsgroth16plonkzkpcryptographynizkverifiable-computing
  4

• partylikeits1983 / privacy-vote

  proving knowledge of a hash preimage of a leaf in an intermediate merkle tree in Noir

  noirnoir-jswebauthnzero-knowledgezksnark
  Language:Solidity 4

• Ethsnarks / ethsnarks-pinocchio

  Compile C to zkSNARKs using Pinocchio

  circuitcompilerethereumethsnarkspinocchiopycparserpythonzksnark
  Language:Python 3

• alxiong / ark-srs

  Use Common/Structured Reference String (CRS/SRS) from existing ceremonies with ease

  cryptographytrusted-setupzksnark
  Language:Rust 2

• nokitakaze / pedersen-hash.net

  Pedersen Hash for C# .Net

  pedersenzksnarkbabyjubpedersen-hashtornado-cashtornadocash
  Language:C# 2