zero-knowledge

There are 45 repositories under zero-knowledge topic.

• kroma-network / tachyon

  Modular ZK(Zero Knowledge) backend accelerated by GPU

  cpp17cudazkblockchainc-plus-pluscryptographykromatachyonzero-knowledgecryptocurrency
  Language:C++ 7741
• ente

  ente-io / ente

  Fully open source, End to End Encrypted alternative to Google Photos and Apple Photos

  2faandroidauthye2eeencryptionend-to-end-encryptionfluttergolanggoogle-photosgoogle-photos-alternativeiosopensourcephotosprivacyprivacy-toolstypescriptzero-knowledge
  Language:Dart 7421
• leo

  AleoHQ / leo

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

  programming-languagezero-knowledgecompilerzksnarksleo
  Language:Rust 4773
• snarkOS

  AleoHQ / snarkOS

  A Decentralized Operating System for ZK Applications

  aleoblockchaincryptographyzero-knowledgezksnarksrust
  Language:Rust 3852

• FISCO-BCOS / FISCO-BCOS

  FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.

  bcosblockchainconsensusconsortiumcrudcryptoevmfintechfiscofisco-bcosp2ppbftprecompiledraftrpcsecuritysoliditysynchronizationzero-knowledge
  Language:Shell 2287

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

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

  hmaczero-knowledgepythonzkproofzk-call
  Language:Python 1744

• Zokrates / ZoKrates

  A toolbox for zkSNARKs on Ethereum

  ethereumlanguagesnarkverifiable-computationzero-knowledgezksnarks
  Language:Rust 1744

• risc0 / risc0

  RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

  starkzero-knowledgevirtual-machinerisc-vcryptographyrust
  Language:C++ 1403

• ziesha-network / bazuka

  Rust implementation of Ziesha protocol

  blockchaincryptocurrencyproof-of-stakerustzero-knowledgezk-rollupzksnarks
  Language:Rust 1067

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

  "Zero-Knowledge" Proof Implementation with HMAC Communication in C++

  hmaczero-knowledgecppzk-callzkproof
  Language:C++ 1061

• darkrenaissance / darkfi

  Anonymous. Uncensored. Sovereign.

  cryptocryptocurrencyzkzk-snarkszero-knowledgerusthalo2zkvm
  Language:Rust 1040
• snarkVM

  AleoHQ / snarkVM

  A Virtual Machine for Zero-Knowledge Executions

  aleoblockchaincryptographyrustzero-knowledgezkp
  Language:Rust 941

• kkrt-labs / kakarot

  Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

  cairo-langethereumevmsmart-contractsstarknetproof-systemstarkzero-knowledge
  Language:Cairo 864
• semaphore

  semaphore-protocol / semaphore

  A zero-knowledge protocol for anonymous interactions.

  circomethereumjavascriptmonorepoproof-of-membershipsemaphoresoliditytypescriptzero-knowledgezero-knowledge-proofszk-snarks
  Language:TypeScript 835

• zkonduit / ezkl

  ezkl is an engine for doing inference for deep learning models and other computational graphs in a zk-snark (ZKML). Use it from Python, Javascript, or the command line.

  aicryptographyzero-knowledgezkml
  Language:Rust 829

• noir-lang / noir

  Noir is a domain specific language for zero knowledge proofs

  compilercryptographynoir-langprogramming-languagezero-knowledge
  Language:Rust 788

• a16z / zkdrops

  Private airdrops for Ethereum.

  zero-knowledge
  Language:JavaScript 724
• firo

  firoorg / firo

  The privacy-focused cryptocurrency

  zcoinblockchainzero-knowledgeprivacyzerocoinmerkle-treemerkle-tree-proof-of-workasic-resistantsigmazkpzero-knowledge-proofscryptographycryptocurrencyp2plelantus
  Language:C++ 704

• ingonyama-zk / ingopedia

  A curated list of ZK/FHE resources and links. 👇 Click below for the website version.

  awesomecryptographyzero-knowledge
  671

• succinctlabs / sp1

  A performant, 100% open-source, contributor-friendly zkVM.

  blockchaincontributor-friendlyethereummodularrustzero-knowledge
  Language:Rust 652

• zcash / halo2

  The Halo2 zero-knowledge proving system

  cryptocurrencycryptographyzcashzero-knowledge
  Language:Rust 644
• miden-vm

  0xPolygonMiden / miden-vm

  STARK-based virtual machine

  cryptographyvirtual-machinestarkzero-knowledge
  Language:Rust 584

• AleoHQ / sdk

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

  aleoblockchainzero-knowledgezksnarkssdk
  Language:TypeScript 548

• sdiehl / bulletproofs

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

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

• dusk-network / plonk

  Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

  rustcryptographyzero-knowledgeplonk
  Language:Rust 495

• ruped24 / toriptables2

  Tor Iptables script is an anonymizer that sets up iptables and tor to route all services and traffic including DNS through the Tor network.

  toriptablestor-iptables-scripttor-ip-switchertor-networkanonymizednstrafficzero-configurationzero-knowledge
  Language:Python 450

• lurk-lab / lurk-rs

  Lurk is a Turing-complete programming language for recursive zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

  compilercryptographyprogramming-languagerustzero-knowledgezk-snarks
  Language:Rust 396

• BlockstreamResearch / secp256k1-zkp

  A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2

  bitcoinccryptographyelliptic-curvesmusigsecp256k1zero-knowledge
  Language:C 350

• stealthdrop / stealthdrop

  Anonymous Airdrops using ZK-SNARKs

  ethereumzero-knowledgezk-snarks
  Language:Circom 348

• howardwu / awesome-aleo

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

  awesomeprivacyaleozero-knowledgezksnarks
  328

• andrewmilson / ministark

  🏃‍♂️💨 GPU accelerated STARK prover built on @arkworks-rs

  apple-silicongpu-accelerationmetalruststarksvirtual-machinezero-knowledgezkstarksarkworksarkworks-rscryptographygpugpu-computinggpu-programmingcryptofftoptimizationfinite-fieldspolynomialsm1
  Language:Rust 323

• AndrewPaglusch / FlashPaper

  One-time encrypted password/secret sharing

  aesaes-256bcryptciphertextdestructdestructingdisposableencryptionmessageone-timeone-time-secretpasswordphpprivatesecretsecuritysqlitewebappzero-knowledge
  Language:PHP 321

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

• AleoHQ / welcome

  Welcome to Aleo. Where Applications Become Zero-Knowledge

  aleoleozero-knowledgeblockchainzksnarks
  303

• a16z / cicada

  A protocol for private on-chain voting, implemented in Solidity.

  ethereumhomomorphic-encryptionprivacysmart-contractssoliditytime-lock-puzzlevotingzero-knowledge
  Language:Solidity 297