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?
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
- GitHub: privacy-scaling-explorations/zk-kit
- Discussions: Community Forum
Next Steps
- Getting Started - Install and start building
- Quick Start - Build your first proof
- Packages - Explore all ZK-Kit packages