zkp

There are 12 repositories under zkp topic.

• sismo-core / sismo-badges

  Contracts of the Sismo Badge Minting Protocol

  didethereumzkpattestationssmart-contracts
  Language:TypeScript 16147
• namada

  anoma / namada

  Rust implementation of Namada, a Proof-of-Stake L1 for interchain asset-agnostic privacy

  blockchainprivacyrustzkp
  Language:Rust 2374

• zk-Call / zkp-hmac-communication-python

  "Zero-Knowledge" Proof Implementation with HMAC Communication in Python

  hmaczero-knowledgepythonzkpzkproofzk-callhmac-sha256
  Language:Python 1786

• starkware-libs / cairo

  Cairo is the first Turing-complete language for creating provable programs for general computation.

  starknetzero-knowledge-proofszkpcomputational-integritycairo
  Language:Rust 1384

• 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 1261
• snarkVM

  AleoHQ / snarkVM

  A Virtual Machine for Zero-Knowledge Executions

  aleoblockchaincryptographyrustzero-knowledgezkp
  Language:Rust 936
• firo

  firoorg / firo

  The privacy-focused cryptocurrency

  zcoinblockchainzero-knowledgeprivacyzerocoinmerkle-treemerkle-tree-proof-of-workasic-resistantsigmazkpzero-knowledge-proofscryptographycryptocurrencyp2plelantus
  Language:C++ 702
• indy-sdk

  hyperledger-archives / indy-sdk

  indy-sdk

  arieshacktoberfesthyperledger-indyssizkp
  Language:Rust 668

• lambdaclass / cairo-vm

  cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

  blockchaincompilercryptographyprogramming-languageruststarkzkp
  Language:Rust 461

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

• anoma / namada-trusted-setup-claimer

  Sign arbitrary messages with keys obtained from Namada's trusted setup

  namadatrusted-setupzkp
  Language:Rust 322

• zkemail / zk-email-verify

  Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.

  dkimdkim-verifieremailethereumsolidityzkzk-snarkszkp
  Language:TypeScript 294

• a16z / Lasso

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

  arkworkscryptographysnarkzkzk-snarkszkpcrypto
  Language:Rust 283

• arpitingle / Library-of-Ethereum

  Curated Collection of Ethereum Ecosystem Resources

  blockchaincryptographydefiethereumevmlayer2mevsecuritysmart-contractszkpawesome-listcairosolidityvyper
  271

• mratsim / constantine

  Constantine: modular, high-performance, zero-dependency cryptography stack for proof systems and blockchain protocols.

  elliptic-curveselliptic-curve-cryptographyelliptic-curve-arithmeticfinite-fieldsconstant-timeside-channelscryptographybls-signaturebarreto-naehrigbigintbignumgalois-fielddigital-signaturepublic-key-cryptographypairingpairing-cryptographybls12-381blshash-to-curvezkp
  Language:Nim 250

• sismo-core / hydra-s1-zkps

  Hydra-S1 ZK Proving scheme circuits, used for ZK Attesters in Sismo

  circomsnarkjszkzk-snarkszkp
  Language:TypeScript 231

• MystenLabs / fastcrypto

  Common cryptographic library used in software at Mysten Labs.

  benchmarkblockchainblscryptocryptographyed25519zkp
  Language:Rust 227

• privacy-scaling-explorations / zkp-app-boilerplate

  Build your zkp app with typescript, hardhat, circom, and snarkjs!

  circomethereumhardhatreactsnarkjstypescriptzkp
  Language:TypeScript 217
• zkopru

  zkopru-network / zkopru

  Ethereum L2 scaling solution for private transactions using zk-SNARK and optimistic rollup.

  ethereumlayer2optimisitc-rollupprivate-atomic-swapprivate-transactionszk-snarkszkp
  Language:TypeScript 210

• keep-starknet-strange / alexandria

  Community maintained Cairo libraries and set of well maintained, optimised and secure components.

  cairo-langlibrarieszkp
  Language:Cairo 197

• RingsNetwork / rings

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

  dhtdht-networkend-to-end-encryptionnovap2pp2p-networkpeer-to-peersnarkwebrtczkp
  Language:Rust 181

• WeBankBlockchain / WeDPR-Lab-Core

  Core libraries of WeDPR instant scenario-focused solutions for privacy-inspired business; WeDPR即时可用场景式隐私保护高效解决方案核心算法组件

  wedprblockchainprivacyzkpmpccryptocryptographyhomomorphic-encryptionmultiparty-computationrustsdk-rust
  Language:Rust 166

• auditless / awesome-cairo

  Resources for Cairo 1.0 development.

  awesome-listcairo-langstarknetzkp
  164

• Quillhash / Zero-Knowledge-Mastery

  This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you can create a pull request and be a contributor of the project.

  ethereumzero-knowledge-proofszk-snarkszkpzksync
  160

• andrewmilson / sandstorm

  Cairo prover powered by miniSTARK (compatible with StarkWare's verifiers)

  cairostarkstarknetministarkcairo-langcomputational-integrityzkp
  Language:Rust 153

• anoma / vamp-ir

  Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits

  blockchaincryptographyzero-knowledgezkp
  Language:Rust 152

• matter-labs / bellman

  Bellman zkSNARK library for community with Ethereum's BN256 support

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

• nullity00 / web3-resources

  Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.

  blockchaincircomethereumsolidityzkp
  139

• keep-starknet-strange / garaga

  Efficient pairing library, written in Cairo 🐺.

  cairo-langelliptic-curve-cryptographyelliptic-curvespairingsnarksstarknetstarkszero-knowledgezero-knowledge-proofszk-snarkszkp
  Language:Cairo 133

• openzklib / openzl

  Zero-Knowledge Cryptography Infrastructure Stack

  cryptographyeclairopenzlzero-knowledgezkp
  Language:Rust 122

• anoma / zkp-compiler-shootout

  Evaluating & benchmarking ZKP compilation strategies.

  benchmarkingzero-knowledgezkp
  Language:Rust 118

• baro77 / ZKbasicsCS

  Zero-Knowledge Proofs "for (not too much :wink: ) dummies"

  argumentcompletenessfiat-shamirnizkproofproof-of-knowledgeproversimulatorsoundnessverifierzero-knowledgezkp
  116

• 0xEigenLabs / eigen-zkvm

  A Rust zkVM with a Modular Proof System

  plonkstarkzkpzkvmcircomsnarkjsrust
  Language:Rust 115

• FindoraNetwork / noah

  Noah is a library that provide tools to create and verify public transaction with confidential data.

  zkp
  Language:Rust 95

• Manta-Network / manta-signer

  Manta Client to turbo-charge ZKP Generation

  mantazkpmanta-signer
  Language:CSS 91

• zkCollective / zk-Harness

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

  benchmarkzk-snarkszkpsnark
  Language:Python 91