Topic: "zero-knowledge"
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
Language: Rust - Size: 444 MB - Last synced at: about 17 hours ago - Pushed at: about 19 hours ago - Stars: 60,967 - Forks: 3,002
ente-io/ente
🔒 End-to-end encrypted platform for photos, videos and 2FA secrets.
Language: Dart - Size: 539 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 19,128 - Forks: 1,069
kroma-network/tachyon
Modular ZK(Zero Knowledge) backend accelerated by GPU
Language: C++ - Size: 25.7 MB - Last synced at: 19 days ago - Pushed at: 6 months ago - Stars: 7,767 - Forks: 234
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language: Rust - Size: 169 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 4,827 - Forks: 669
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
Language: Rust - Size: 633 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 4,441 - Forks: 2,662
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.
Language: C++ - Size: 298 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 2,445 - Forks: 722
nexus-xyz/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
Language: Rust - Size: 71.7 MB - Last synced at: 25 days ago - Pushed at: 26 days ago - Stars: 2,413 - Forks: 431
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
Language: C++ - Size: 240 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,872 - Forks: 547
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
Language: Rust - Size: 18.1 MB - Last synced at: 7 days ago - Pushed at: 9 months ago - Stars: 1,862 - Forks: 368
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 1,850 - Forks: 231
nymtech/nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
Language: Rust - Size: 277 MB - Last synced at: 3 days ago - Pushed at: 4 days ago - Stars: 1,421 - Forks: 240
succinctlabs/sp1
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Language: Rust - Size: 422 MB - Last synced at: about 21 hours ago - Pushed at: 4 days ago - Stars: 1,326 - Forks: 493
darkrenaissance/darkfi
Anonymous. Uncensored. Sovereign.
Language: Rust - Size: 103 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,238 - Forks: 131
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.
Language: Rust - Size: 99.8 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 1,074 - Forks: 172
AleoNet/snarkVM
A Virtual Machine for Zero-Knowledge Executions
Language: Rust - Size: 269 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1,070 - Forks: 1,497
ziesha-network/bazuka
Rust implementation of Ziesha protocol
Language: Rust - Size: 2.75 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1,066 - Forks: 508
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Language: Rust - Size: 606 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,060 - Forks: 278
kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
Language: Cairo - Size: 20.9 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 983 - Forks: 296
semaphore-protocol/semaphore
A zero-knowledge protocol for anonymous interactions.
Language: TypeScript - Size: 11.6 MB - Last synced at: 6 days ago - Pushed at: 7 days ago - Stars: 975 - Forks: 249
zk-Call/zkp-hmac-communication-python
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
Language: Python - Size: 2.1 MB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 966 - Forks: 235
zcash/halo2
The Halo2 zero-knowledge proving system
Language: Rust - Size: 50.7 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 783 - Forks: 524
a16z/zkdrops
Private airdrops for Ethereum.
Language: JavaScript - Size: 176 MB - Last synced at: 1 day ago - Pushed at: almost 2 years ago - Stars: 762 - Forks: 124
firoorg/firo
The privacy-focused cryptocurrency
Language: C++ - Size: 208 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 747 - Forks: 360
ingonyama-zk/ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Size: 7.47 MB - Last synced at: 8 days ago - Pushed at: 2 months ago - Stars: 722 - Forks: 88
zk-Call/zkp-hmac-communication-js
"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript
Language: JavaScript - Size: 1.98 MB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 663 - Forks: 125
0xMiden/miden-vm
STARK-based virtual machine
Language: Rust - Size: 82.8 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 655 - Forks: 189
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
Language: Rust - Size: 266 MB - Last synced at: 4 days ago - Pushed at: 10 days ago - Stars: 605 - Forks: 475
dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Language: Rust - Size: 3.53 MB - Last synced at: 2 days ago - Pushed at: 3 months ago - Stars: 585 - Forks: 159
zk-Call/zkp-hmac-communication-cpp
"Zero-Knowledge" Proof Implementation with HMAC Communication in C++
Language: C++ - Size: 1.95 MB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 573 - Forks: 119
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
Language: Haskell - Size: 177 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 540 - Forks: 49
zk-Call/zkp-hmac-communication-go
"Zero-Knowledge" Proof Implementation with HMAC Communication in Go
Language: Go - Size: 1.85 MB - Last synced at: 2 days ago - Pushed at: 7 months ago - Stars: 482 - Forks: 62
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.
Language: Python - Size: 116 KB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 469 - Forks: 127
lurk-lab/lurk-beta
Lurk is a Turing-complete programming language for recursive zk-SNARKs. This is the prior, elliptic curve based variant of Lurk (contact: @porcuquine)
Language: Rust - Size: 122 MB - Last synced at: 6 days ago - Pushed at: 3 months ago - Stars: 446 - Forks: 60
AndrewPaglusch/FlashPaper
One-time encrypted password/secret sharing
Language: PHP - Size: 582 KB - Last synced at: about 2 months ago - Pushed at: 3 months ago - Stars: 439 - Forks: 64
ingonyama-zk/icicle
A hardware acceleration library for compute intensive cryptography :ice_cube:
Language: C++ - Size: 112 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 410 - Forks: 134
BlockstreamResearch/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2
Language: C - Size: 9.24 MB - Last synced at: about 1 month ago - Pushed at: 9 months ago - Stars: 386 - Forks: 216
howardwu/awesome-aleo
🏎️ A curated list of Aleo & Leo code and resources 🏎️
Size: 218 KB - Last synced at: about 18 hours ago - Pushed at: about 2 months ago - Stars: 374 - Forks: 246
tangle-network/tangle
The Layer 1 blockchain for on-demand services.
Language: Rust - Size: 202 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 361 - Forks: 32
andrewmilson/ministark
🏃♂️💨 GPU accelerated STARK prover built on @arkworks-rs
Language: Rust - Size: 1.65 MB - Last synced at: 25 days ago - Pushed at: 6 months ago - Stars: 354 - Forks: 36
stealthdrop/stealthdrop
Anonymous Airdrops using ZK-SNARKs
Language: Circom - Size: 26.6 MB - Last synced at: 1 day ago - Pushed at: about 1 year ago - Stars: 354 - Forks: 36
lambdaclass/ethrex
ethrex: Ethereum Rust Execution L1 and L2 client.
Language: Rust - Size: 59.8 MB - Last synced at: about 20 hours ago - Pushed at: about 20 hours ago - Stars: 352 - Forks: 56
odradev/awesome-zero-knowledge
A curated list of Zero Knowledge links, mostly focusing on blockchain.
Size: 296 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 338 - Forks: 48
ProvableHQ/workshop
📜 A Starter Guide to Build ZK Applications 📜
Language: Shell - Size: 12.6 MB - Last synced at: about 1 month ago - Pushed at: 5 months ago - Stars: 337 - Forks: 269
Loopring/protocols
A zkRollup DEX & Payment Protocol
Language: Solidity - Size: 59.6 MB - Last synced at: 4 days ago - Pushed at: 7 months ago - Stars: 333 - Forks: 125
ProvableHQ/leo-docs-source
📄 Documentation for Leo 🦁
Language: Mermaid - Size: 19.7 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 327 - Forks: 224
privacy-scaling-explorations/zk-kit
A monorepo of reusable libraries for zero-knowledge technologies.
Language: TypeScript - Size: 15.5 MB - Last synced at: 4 days ago - Pushed at: 29 days ago - Stars: 321 - Forks: 103
tangle-network/blueprint
A powerful toolkit for building distributed systems and infrastructure as code.
Language: Rust - Size: 11.5 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 315 - Forks: 7
NilFoundation/zkLLVM
Zero-Knowledge Proof Systems Circuit Compiler
Language: C++ - Size: 2.25 MB - Last synced at: 25 days ago - Pushed at: 4 months ago - Stars: 310 - Forks: 52
ZK-Garage/plonk
A pure Rust PLONK implementation using arkworks as a backend.
Language: Rust - Size: 3.87 MB - Last synced at: 7 days ago - Pushed at: over 1 year ago - Stars: 306 - Forks: 79
a16z/cicada
A protocol for private on-chain voting, implemented in Solidity.
Language: Solidity - Size: 3.35 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 301 - Forks: 22
lurk-lab/awesome-folding
A curated list of zero-knowledge folding schemes
Size: 69.3 KB - Last synced at: 8 days ago - Pushed at: 9 months ago - Stars: 300 - Forks: 35
pluto/ronkathon
Cryptography Educational Foundations
Language: Rust - Size: 18.8 MB - Last synced at: 28 days ago - Pushed at: about 1 month ago - Stars: 295 - Forks: 41
HarryR/solcrypto 📦
Solidity crypto libraries, ring signatures, proof of knowledge, packed signatures etc. with matching Python implementations for secp256k1 and (alt)BN-256
Language: Python - Size: 81.1 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 289 - Forks: 51
Sunscreen-tech/Sunscreen
A compiler for fully homomorphic encryption and zero knowledge proofs
Language: Rust - Size: 109 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 280 - Forks: 31
DessertHeart/Dive-Into-Blockchain
旨在交流学习区块链技术，记录智能合约开发应用与相关安全练习的仓库🚀
Language: Solidity - Size: 4.73 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 276 - Forks: 44
minaminao/tornado-cats
A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)
Language: Solidity - Size: 3.46 MB - Last synced at: 7 days ago - Pushed at: about 2 years ago - Stars: 273 - Forks: 21
LayerXcom/zero-chain
A privacy-preserving blockchain on Substrate
Language: Rust - Size: 527 MB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 261 - Forks: 43
ZpokenWeb3/zk-light-client-implementation
Zero Knowledge Light Client Implementation by Zpoken team.
Language: HTML - Size: 13.8 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 259 - Forks: 13
TritonVM/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
Language: Rust - Size: 12.1 MB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 255 - Forks: 43
privacy-scaling-explorations/mpz
Multi-party computation libraries written in Rust 🦀
Language: Rust - Size: 9.69 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 247 - Forks: 61
GuildOfWeavers/distaff
Zero-knowledge virtual machine written in Rust
Language: Rust - Size: 1.25 MB - Last synced at: 21 days ago - Pushed at: about 2 years ago - Stars: 247 - Forks: 45
keep-starknet-strange/garaga
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
Language: Cairo - Size: 53.7 MB - Last synced at: 9 days ago - Pushed at: 9 days ago - Stars: 230 - Forks: 76
renegade-fi/renegade
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
Language: Rust - Size: 374 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 223 - Forks: 23
zksecurity/noname
Noname: a programming language to write zkapps
Language: Rust - Size: 33.8 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 214 - Forks: 63
cloudflare/zkp-ecdsa
Proves knowledge of an ECDSA-P256 signature under one of many public keys that are stored in a list.
Language: TypeScript - Size: 349 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 210 - Forks: 20
rkdud007/awesome-zkvm
A curated list of zkVM, zero-knowledge virtual machine
Size: 43 KB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 205 - Forks: 26
supranational/sppark
Zero-knowledge template library
Language: Cuda - Size: 419 KB - Last synced at: 18 days ago - Pushed at: 18 days ago - Stars: 195 - Forks: 77
nalinbhardwaj/wordlines
Mobile ZK Puzzle Game with NFT rewards
Language: JavaScript - Size: 66.7 MB - Last synced at: 7 months ago - Pushed at: over 3 years ago - Stars: 191 - Forks: 22
risc0/risc0-ethereum
Integration of the RISC Zero verifiable compute platform with Ethereum and EVM chains.
Language: Rust - Size: 5.94 MB - Last synced at: 1 day ago - Pushed at: 4 days ago - Stars: 166 - Forks: 70
matter-labs/bellman Fork of zkcrypto/bellman 📦
Bellman zkSNARK library for community with Ethereum's BN256 support
Language: C - Size: 13.5 MB - Last synced at: 9 days ago - Pushed at: 9 months ago - Stars: 161 - Forks: 78
anoma/vamp-ir
Vamp-IR is a proof-system-agnostic language for writing arithmetic circuits
Language: Rust - Size: 105 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 160 - Forks: 50
meilof/pysnark
Library for programming zk-SNARKs directly in Python
Language: Python - Size: 16.8 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 158 - Forks: 27
trailofbits/zkdocs
Interactive documentation on zero-knowledge proof systems and related primitives.
Language: HTML - Size: 4.24 MB - Last synced at: 14 days ago - Pushed at: 15 days ago - Stars: 154 - Forks: 50
dalek-cryptography/zkp
Experimental zero-knowledge proof compiler in Rust macros
Language: Rust - Size: 121 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 150 - Forks: 33
ingonyama-zk/blaze
blaze is a Rust library for ZK acceleration on Xilinx FPGAs.
Language: Rust - Size: 2.25 MB - Last synced at: about 1 month ago - Pushed at: 7 months ago - Stars: 145 - Forks: 19
GuildOfWeavers/genSTARK
A library for generating zk-STARKs.
Language: TypeScript - Size: 756 KB - Last synced at: 23 days ago - Pushed at: almost 3 years ago - Stars: 144 - Forks: 18
coset-io/zkp-academy
A month-long zkp study group, one topic at a time.
Language: Python - Size: 20.1 MB - Last synced at: 3 days ago - Pushed at: 6 days ago - Stars: 133 - Forks: 38
dr-orlovsky/library
Collection of papers in the field of distributed systems, game theory, cryptography, cryptoeconomics, zero knowledge
Size: 155 MB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 131 - Forks: 27
internxt/drive-web
Language: TypeScript - Size: 62.1 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 129 - Forks: 33
risc0/risc0-foundry-template
Template for integrating RISC Zero and Ethereum using Foundry
Language: Rust - Size: 1.18 MB - Last synced at: 15 days ago - Pushed at: about 2 months ago - Stars: 125 - Forks: 75
baro77/ZKbasicsCS
Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
Size: 854 KB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 122 - Forks: 7
o1-labs/zkapp-cli
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
Language: JavaScript - Size: 5.44 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 121 - Forks: 47
21-DOT-DEV/swift-secp256k1
Elliptic Curve, Schnorr, and ZKP for Bitcoin. Supports iOS macOS tvOS watchOS visionOS + Linux.
Language: Swift - Size: 857 KB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 118 - Forks: 63
anoma/zkp-compiler-shootout
Evaluating & benchmarking ZKP compilation strategies.
Language: Rust - Size: 20.4 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 118 - Forks: 12
mortendahl/rust-paillier
A pure-Rust implementation of the Paillier encryption scheme
Language: Rust - Size: 280 KB - Last synced at: 1 day ago - Pushed at: 6 months ago - Stars: 117 - Forks: 76
openzklib/openzl
Zero-Knowledge Cryptography Infrastructure Stack
Language: Rust - Size: 10.4 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 117 - Forks: 12
erhant/circomkit
A testing & development environment for Circom.
Language: TypeScript - Size: 5.27 MB - Last synced at: 11 days ago - Pushed at: 2 months ago - Stars: 110 - Forks: 7
privacy-scaling-explorations/acceleration-program
Accelerate Early Stage Programmable Cryptography Talents
Size: 649 KB - Last synced at: about 2 months ago - Pushed at: 8 months ago - Stars: 109 - Forks: 7
renegade-fi/renegade-contracts
Smart contracts for on-chain anonymous settlement.
Language: Rust - Size: 2.2 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 106 - Forks: 9
geometryxyz/mental-poker
A library for mental poker (and other card games). Based on the Barnett-Smart protocol and the Bayer-Groth argument of correct shuffle
Language: Rust - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 106 - Forks: 18
shanzson/Zero-Knowledge-Proofs-Learning-Resources
This repository contains Zk learning resources
Size: 67.4 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 106 - Forks: 10
osbytes/crypt.fyi
Ephemeral, zero-knowledge, end-to-end post-quantum encrypted sensitive data sharing
Language: TypeScript - Size: 2.47 MB - Last synced at: 5 days ago - Pushed at: 8 days ago - Stars: 101 - Forks: 5
zkjargon/zkjargon.github.io
A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.
Language: Shell - Size: 7.83 MB - Last synced at: 20 days ago - Pushed at: 3 months ago - Stars: 101 - Forks: 17
companyzero/zkc
zero-knowledge chat suite
Language: Go - Size: 423 KB - Last synced at: 11 months ago - Pushed at: over 3 years ago - Stars: 101 - Forks: 24
MinaProtocol/docs2
Docs website for the Mina Protocol.
Language: JavaScript - Size: 42.8 MB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 94 - Forks: 152
VictorColomb/stark-snark-recursive-proofs
STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language
Language: Rust - Size: 977 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 94 - Forks: 3
tangle-network/zero-knowledge-gadgets 📦
Zero-knowledge gadgets for Webb's cross-chain blockchain applications.
Language: Rust - Size: 5.32 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 93 - Forks: 30
ZKProofs/ZKProofs.github.io
ZKProofs website
Size: 163 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 89 - Forks: 52
nulltea/zk-timelock
Arkworks circuits for verifiable time-lock encryption
Language: Rust - Size: 341 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 89 - Forks: 5
ora-io/awesome-ora
A curated list of awesome ORA ecosystem.
Size: 152 KB - Last synced at: about 14 hours ago - Pushed at: 2 months ago - Stars: 87 - Forks: 17
