zero-knowledge | Topic | Ecosyste.ms: Repos

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: 442 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 54,480 - Forks: 2,723

ente-io/ente

End-to-end encrypted platform for photos, videos and 2FA secrets.

Language: Dart - Size: 535 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 18,829 - Forks: 1,048

kroma-network/tachyon

Modular ZK(Zero Knowledge) backend accelerated by GPU

Language: C++ - Size: 25.7 MB - Last synced at: 3 months ago - Pushed at: 5 months ago - Stars: 7,768 - Forks: 231

ProvableHQ/leo

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

Language: Rust - Size: 167 MB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 4,830 - Forks: 670

AleoNet/snarkOS

A Decentralized Operating System for ZK Applications

Language: Rust - Size: 632 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 4,336 - Forks: 2,628

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: 2 days ago - Pushed at: 3 days ago - Stars: 2,439 - Forks: 721

nexus-xyz/nexus-zkvm

The Nexus zkVM: The zero-knowledge virtual machine

Language: Rust - Size: 71.7 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 2,413 - Forks: 431

Zokrates/ZoKrates

A toolbox for zkSNARKs on Ethereum

Language: Rust - Size: 18.1 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 1,859 - Forks: 367

WTFAcademy/WTF-zk

零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

Language: Jupyter Notebook - Size: 81.5 MB - Last synced at: 10 days ago - Pushed at: about 2 months ago - Stars: 1,850 - Forks: 231

risc0/risc0

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

Language: C++ - Size: 237 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,841 - Forks: 536

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: 276 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 1,406 - Forks: 238

succinctlabs/sp1

The fastest, most feature-complete zkVM for developers.

Language: Rust - Size: 422 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,296 - Forks: 478

darkrenaissance/darkfi

Anonymous. Uncensored. Sovereign.

Language: Rust - Size: 102 MB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 1,221 - Forks: 130

AleoNet/snarkVM

A Virtual Machine for Zero-Knowledge Executions

Language: Rust - Size: 269 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1,070 - Forks: 1,497

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: 98 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,069 - Forks: 163

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: 537 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 1,036 - Forks: 267

kkrt-labs/kakarot

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

Language: Cairo - Size: 20.9 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 983 - Forks: 296

zk-Call/zkp-hmac-communication-python

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

Language: Python - Size: 2.1 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 982 - Forks: 240

semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous interactions.

Language: TypeScript - Size: 11.5 MB - Last synced at: 3 days ago - Pushed at: 18 days ago - Stars: 970 - Forks: 249

zcash/halo2

The Halo2 zero-knowledge proving system

Language: Rust - Size: 50.7 MB - Last synced at: 12 days ago - Pushed at: 4 months ago - Stars: 770 - Forks: 520

firoorg/firo

The privacy-focused cryptocurrency

Language: C++ - Size: 207 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 745 - Forks: 357

a16z/zkdrops

Private airdrops for Ethereum.

Language: JavaScript - Size: 176 MB - Last synced at: 11 months ago - Pushed at: almost 2 years ago - Stars: 730 - Forks: 109

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: 9 days ago - Pushed at: about 2 months ago - Stars: 720 - Forks: 86

zk-Call/zkp-hmac-communication-js

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

Language: JavaScript - Size: 1.98 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 673 - Forks: 129

0xPolygonMiden/miden-vm

STARK-based virtual machine

Language: Rust - Size: 81.4 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 649 - Forks: 181

ProvableHQ/sdk

Javascript & Typescript SDK for Zero-Knowledge Application Development

Language: Rust - Size: 261 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 602 - Forks: 473

zk-Call/zkp-hmac-communication-cpp

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

Language: C++ - Size: 1.95 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 582 - Forks: 122

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: 6 days ago - Pushed at: 2 months ago - Stars: 580 - Forks: 158

sdiehl/bulletproofs

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

Language: Haskell - Size: 177 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 531 - Forks: 44

zk-Call/zkp-hmac-communication-go

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

Language: Go - Size: 1.85 MB - Last synced at: 6 days ago - Pushed at: 7 months ago - Stars: 491 - 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: 20 days ago - Pushed at: 4 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: 10 days ago - Pushed at: about 2 months ago - Stars: 447 - Forks: 60

AndrewPaglusch/FlashPaper

One-time encrypted password/secret sharing

Language: PHP - Size: 582 KB - Last synced at: 23 days ago - Pushed at: 2 months ago - Stars: 439 - Forks: 64

ingonyama-zk/icicle

A hardware acceleration library for compute intensive cryptography :ice_cube:

Language: C++ - Size: 110 MB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 393 - 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: 8 days ago - Pushed at: 8 months ago - Stars: 386 - Forks: 216

howardwu/awesome-aleo

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

Size: 218 KB - Last synced at: 3 days ago - Pushed at: 25 days ago - Stars: 371 - Forks: 245

tangle-network/tangle

The Layer 1 blockchain for on-demand services.

Language: Rust - Size: 200 MB - Last synced at: 10 days ago - Pushed at: 10 days ago - Stars: 363 - Forks: 32

andrewmilson/ministark

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

Language: Rust - Size: 1.65 MB - Last synced at: 2 days ago - Pushed at: 5 months ago - Stars: 354 - Forks: 36

stealthdrop/stealthdrop

Anonymous Airdrops using ZK-SNARKs

Language: Circom - Size: 26.6 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 354 - Forks: 36

vatsi2/bitcoin-trading-bot

cross‑platform macOS/Windows app aggregates Bitcoin, Ethereum & DeFi/CeFi wallets/exchanges, secure cold‑storage, trading & tax—just add API keys. Core strategies include TWAP and VWAP slicing for minimized slippage, Iceberg Orders and Conditional Orders for precision execution, plus Stack, Borrow‑to‑Farm and Rebalancing Bots

Language: Python - Size: 1.5 MB - Last synced at: about 22 hours ago - Pushed at: about 22 hours ago - Stars: 344 - Forks: 80

lambdaclass/ethrex

ethrex: Ethereum Rust Execution L1 and L2 client.

Language: Rust - Size: 42.3 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 344 - Forks: 51

odradev/awesome-zero-knowledge

A curated list of Zero Knowledge links, mostly focusing on blockchain.

Size: 284 KB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 337 - Forks: 48

ProvableHQ/workshop

📜 A Starter Guide to Build ZK Applications 📜

Language: Shell - Size: 12.6 MB - Last synced at: 13 days ago - Pushed at: 4 months ago - Stars: 337 - Forks: 269

ProvableHQ/leo-docs-source

📄 Documentation for Leo 🦁

Language: Mermaid - Size: 19.9 MB - Last synced at: 1 day ago - Pushed at: 2 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: about 16 hours ago - Pushed at: 7 days ago - Stars: 316 - Forks: 104

tangle-network/blueprint

A powerful toolkit for building distributed systems and infrastructure as code.

Language: Rust - Size: 10.8 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 314 - Forks: 7

NilFoundation/zkLLVM

Zero-Knowledge Proof Systems Circuit Compiler

Language: C++ - Size: 2.25 MB - Last synced at: 3 days ago - Pushed at: 3 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: 2 days ago - Pushed at: over 1 year ago - Stars: 306 - Forks: 80

Loopring/protocols

A zkRollup DEX & Payment Protocol

Language: Solidity - Size: 39.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 305 - Forks: 106

a16z/cicada

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

Language: Solidity - Size: 3.35 MB - Last synced at: 11 months ago - Pushed at: 11 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: 11 days ago - Pushed at: 9 months ago - Stars: 298 - Forks: 34

pluto/ronkathon

Cryptography Educational Foundations

Language: Rust - Size: 18.8 MB - Last synced at: 6 days ago - Pushed at: 9 days 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: 23 days 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: 9 days ago - Pushed at: about 2 months ago - Stars: 277 - Forks: 30

DessertHeart/Dive-Into-Blockchain

旨在交流学习区块链技术，记录智能合约开发应用与相关安全练习的仓库🚀

Language: Solidity - Size: 4.73 MB - Last synced at: 10 months ago - Pushed at: 10 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: 2 days ago - Pushed at: about 2 years ago - Stars: 272 - Forks: 20

LayerXcom/zero-chain

A privacy-preserving blockchain on Substrate

Language: Rust - Size: 527 MB - Last synced at: 21 days 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: 6 months ago - Pushed at: 6 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 MB - Last synced at: 3 days ago - Pushed at: 26 days ago - Stars: 255 - Forks: 43

GuildOfWeavers/distaff

Zero-knowledge virtual machine written in Rust

Language: Rust - Size: 1.25 MB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 243 - Forks: 44

keep-starknet-strange/garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Language: Cairo - Size: 52.9 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 227 - Forks: 73

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: 4 days ago - Stars: 222 - Forks: 20

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: 8 days ago - Pushed at: about 2 months ago - Stars: 210 - Forks: 20

supranational/sppark

Zero-knowledge template library

Language: Cuda - Size: 419 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 195 - Forks: 75

nalinbhardwaj/wordlines

Mobile ZK Puzzle Game with NFT rewards

Language: JavaScript - Size: 66.7 MB - Last synced at: 6 months ago - Pushed at: over 3 years ago - Stars: 191 - Forks: 22

zksecurity/noname

Noname: a programming language to write zkapps

Language: Rust - Size: 30.9 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 188 - Forks: 48

rkdud007/awesome-zkvm

A curated list of zkVM, zero-knowledge virtual machine

Size: 122 KB - Last synced at: 8 days ago - Pushed at: about 1 month ago - Stars: 178 - Forks: 23

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: 19 days ago - Pushed at: 8 months ago - Stars: 160 - Forks: 79

Topic: "zero-knowledge"

HarryR/solcrypto 📦

matter-labs/bellman Fork of zkcrypto/bellman 📦

tangle-network/zero-knowledge-gadgets 📦