Skip to main content

ZK-Kit Ecosystem

Discover the vibrant ecosystem of projects, protocols, and applications built with ZK-Kit.

Major Projects

Semaphore Protocol

Website: semaphore.pse.dev
GitHub: semaphore-protocol/semaphore

A zero-knowledge protocol for anonymous proof of membership and signaling.

Uses ZK-Kit for:

  • Incremental Merkle Trees (IMT) for identity groups
  • EdDSA-Poseidon signatures
  • Poseidon hashing

Use Cases:

  • Anonymous voting in DAOs
  • Private social networking
  • Whistleblowing platforms
  • Anonymous authentication

MACI (Minimal Anti-Collusion Infrastructure)

Website: maci.pse.dev
GitHub: privacy-scaling-explorations/maci

A private, on-chain voting system that prevents bribery and collusion.

Uses ZK-Kit for:

  • Merkle tree implementations
  • Cryptographic primitives
  • Proof generation utilities

Use Cases:

  • Quadratic voting
  • DAO governance
  • Grant allocation
  • Public goods funding

Worldcoin

Website: worldcoin.org
GitHub: worldcoin

Proof of personhood protocol with millions of verified humans.

Uses ZK-Kit for:

  • Semaphore integration
  • Anonymous proof of humanity
  • Merkle tree management

Use Cases:

  • Sybil resistance
  • Universal basic income
  • Democratic participation
  • Fair airdrops

Privacy Pools

Website: privacypools.com

Private asset transfers with compliance-friendly features.

Uses ZK-Kit for:

  • Merkle tree membership proofs
  • Anonymous deposits/withdrawals
  • Compliance proofs

Use Cases:

  • Private transactions
  • Regulatory compliance
  • Asset privacy
  • Selective disclosure

Zupass

Website: zupass.org
GitHub: proofcarryingdata/zupass

Software for managing Proof-Carrying Data.

Uses ZK-Kit for:

  • Cryptographic primitives
  • Proof generation
  • Identity management

Use Cases:

  • Event tickets
  • Access control
  • Credential management
  • Privacy-preserving auth

By Use Case

Identity & Authentication

Self Protocol

Website: self.xyz

Prove your humanity seamlessly & privately.

Uses ZK-Kit for:

  • Identity commitments
  • Anonymous proofs
  • Merkle tree groups

Iden3

Website: iden3.io

Self-sovereign identity protocol.

Uses ZK-Kit for:

  • Credential trees
  • Claim proofs
  • Identity circuits

Voting & Governance

Snapshot X

Anonymous voting for DAOs using zk-proofs.

Uses ZK-Kit for:

  • Voter merkle trees
  • Anonymous ballots
  • Nullifier management

Clr.fund

Quadratic funding with privacy protection.

Uses ZK-Kit for:

  • MACI integration
  • Anonymous contributions
  • Sybil resistance

Social & Communication

Heyanon

Anonymous messaging on-chain.

Uses ZK-Kit for:

  • Semaphore integration
  • Message proofs
  • Group membership

Zkitter

Zero-knowledge Twitter alternative.

Uses ZK-Kit for:

  • Anonymous posting
  • Identity management
  • Reputation proofs

Gaming

Dark Forest

On-chain game with incomplete information.

Uses ZK-Kit for:

  • Hidden state proofs
  • Position verification
  • Fair randomness

DeFi

Tornado Cash Nova

Privacy pools for transactions.

Uses ZK-Kit for:

  • Deposit commitments
  • Withdrawal proofs
  • Merkle tree management

Research Projects

Privacy & Scaling Explorations (PSE)

Website: pse.dev

Ethereum Foundation's research team exploring privacy and scalability.

Projects using ZK-Kit:

  • Semaphore
  • MACI
  • Rate Limiting Nullifiers
  • Interep
  • Unirep

0xPARC

Website: 0xparc.org

Research organization exploring zero-knowledge cryptography.

Projects using ZK-Kit:

  • Dark Forest
  • PLUME
  • Various research implementations

Educational Projects

ZK University

Courses and tutorials featuring ZK-Kit:

  • ZK Whiteboard Sessions
  • ZKP MOOC
  • Various workshops and hackathons

Hackathon Winners

Projects built with ZK-Kit at major hackathons:

ETHGlobal Hackathons

  • Anonymous credential system
  • Private voting app
  • ZK-based reputation
  • Privacy-preserving DID

Web3 Hackathons

  • Anonymous surveys
  • Private airdrops
  • ZK authentication
  • Privacy pools

Tools & Infrastructure

Development Tools

ZK-Kit CLI

Command-line tools for ZK development.

Features:

  • Proof generation
  • Tree management
  • Testing utilities
  • Benchmarking

Circuit Libraries

zk-kit.circom Circom implementations of ZK-Kit primitives.

zk-kit.solidity Solidity contracts for on-chain verification.

zk-kit.noir Noir implementations for Aztec integration.

zk-kit.rust Rust implementations for performance.

Testing & Auditing

Multiple security audits conducted by:

  • Trail of Bits
  • Least Authority
  • Independent researchers

Statistics

Usage Metrics

  • Downloads: 1M+ npm downloads
  • GitHub Stars: 2,500+
  • Projects: 500+ using ZK-Kit
  • Contributors: 100+ contributors

Production Deployments

  • Users: Millions of end users
  • Transactions: Billions of proofs verified
  • Networks: Ethereum, Polygon, Optimism, Arbitrum, etc.

Integration Partners

Blockchain Networks

  • Ethereum
  • Polygon
  • Optimism
  • Arbitrum
  • zkSync
  • Starknet
  • Scroll

Development Frameworks

  • Hardhat
  • Foundry
  • Remix
  • Truffle

Frontend Frameworks

  • Next.js
  • React
  • Vue
  • Angular
  • Svelte

Wallet Integration

  • MetaMask
  • WalletConnect
  • Coinbase Wallet
  • Rainbow
  • Safe

Community Showcase

Want to see your project here?

  1. Submit your project
  2. Join GitHub Discussions

Resources for Projects

For Users

  • Documentation: Comprehensive guides and API refs
  • Examples: Production-ready code samples
  • Support: Discord, GitHub Discussions
  • Audits: Security audit reports available

For Developers

  • Starter Kits: Boilerplate projects
  • Tutorials: Step-by-step guides
  • Templates: Smart contract templates
  • Tools: CLI, playground, benchmarks

For Researchers

  • Papers: Academic publications
  • Specifications: Technical specifications
  • Benchmarks: Performance data
  • Collaboration: Research partnerships

Getting Involved

Use ZK-Kit

Contribute

Share Your Project

Stay Updated

Next Steps