zero-knowledge
There are 692 repositories under zero-knowledge topic.
unionlabs/union
The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.
ente-io/ente
End-to-end encrypted, FOSS cloud for Photos, 2FA secrets and more!
kroma-network/tachyon
Modular ZK(Zero Knowledge) backend accelerated by GPU
ProvableHQ/leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ProvableHQ/snarkOS
A Decentralized Operating System for ZK Applications
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.
nexus-xyz/nexus-zkvm
The Nexus zkVM: The zero-knowledge virtual machine
Zokrates/ZoKrates
A toolbox for zkSNARKs on Ethereum
WTFAcademy/WTF-zk
零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
nymtech/nym
Nym provides strong network-level privacy against sophisticated end-to-end attackers, and anonymous transactions using blinded, re-randomizable, decentralized credentials.
succinctlabs/sp1
The fastest, most feature-complete zkVM for developers.
darkrenaissance/darkfi
Anonymous. Uncensored. Sovereign.
ProvableHQ/snarkVM
A zkVM for Decentralized Private Computations (DPC)
ziesha-network/bazuka
Rust implementation of Ziesha protocol
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.
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
kkrt-labs/kakarot
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
zk-Call/zkp-hmac-communication-python
"Zero-Knowledge" Proof Implementation with HMAC Communication in Python
semaphore-protocol/semaphore
A zero-knowledge protocol for anonymous interactions.
zcash/halo2
The Halo2 zero-knowledge proving system
a16z/zkdrops
Private airdrops for Ethereum.
firoorg/firo
The privacy-focused cryptocurrency
ingonyama-zk/ingopedia
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
zk-Call/zkp-hmac-communication-js
"Zero-Knowledge" Proof Implementation with HMAC Communication in JavaScript
0xPolygonMiden/miden-vm
STARK-based virtual machine
ProvableHQ/sdk
Javascript & Typescript SDK for Zero-Knowledge Application Development
zk-Call/zkp-hmac-communication-cpp
"Zero-Knowledge" Proof Implementation with HMAC Communication in C++
dusk-network/plonk
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
sdiehl/bulletproofs
Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
zk-Call/zkp-hmac-communication-go
"Zero-Knowledge" Proof Implementation with HMAC Communication in Go
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.
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)
AndrewPaglusch/FlashPaper
One-time encrypted password/secret sharing
ingonyama-zk/icicle
A hardware acceleration library for compute intensive cryptography :ice_cube:
BlockstreamResearch/secp256k1-zkp
A fork of libsecp256k1 with support for advanced and experimental features such as Confidential Assets and MuSig2