Hashtag Web3 Logo

50 Portfolio Project Ideas for ZK Engineers

Zero-knowledge proofs are transforming blockchain privacy and scalability. These projects help you build practical ZK skills while creating portfolio pieces that demonstrate real expertise.

ZK Engineer
43 items
Updated May 17, 2026

Beginner Circuit Projects

Start with basic circuits to understand ZK fundamentals.

Age Verification Circuit

beginner

Prove you're over 18 without revealing your actual age. Classic intro to ZK.

1 week
Circom
snarkjs
basic constraints

Password Verification

beginner

Prove you know a password without revealing it. Hash the password in-circuit.

1 week
Circom
Poseidon hash
private inputs

Range Proof

beginner

Prove a number is within a range without revealing the number.

1-2 weeks
Circom
bit decomposition
constraints

Merkle Inclusion Proof

beginner

Prove membership in a set using Merkle trees. Foundation for many ZK apps.

2 weeks
Circom
Merkle trees
recursive hashing

Simple Voting Circuit

beginner

Vote anonymously and prove you're eligible without revealing identity.

2 weeks
Circom
nullifiers
Merkle proofs

Sudoku Verifier

beginner

Prove you solved a Sudoku without revealing the solution.

1-2 weeks
Circom
constraint systems
puzzle verification

Identity and Credentials

ZK-powered identity verification systems.

Anonymous Credential System

intermediate

Issue and verify credentials (degrees, certifications) without revealing holder identity.

3-4 weeks
Circom
signature verification
attribute proofs

ZK KYC Proof

intermediate

Prove KYC compliance without revealing personal data to every service.

4 weeks
Circom
attribute verification
trusted setup

Proof of Citizenship

intermediate

Prove citizenship in a country without revealing which country.

3 weeks
Circom
set membership
privacy

Anonymous Reputation System

intermediate

Prove reputation score is above threshold without revealing exact score or identity.

4 weeks
Circom
commitments
range proofs

ZK-Email Verifier

advanced

Prove you received an email from a domain without revealing email contents.

6-8 weeks
Circom
DKIM verification
regex in circuits

Soulbound Token Privacy

intermediate

Add privacy to soulbound tokens. Prove you hold one without revealing which.

4 weeks
Circom
Solidity
Merkle trees

DeFi Privacy

Privacy-preserving financial applications.

Private Token Mixer

intermediate

Build a Tornado Cash-style mixer. Deposit and withdraw tokens anonymously.

6 weeks
Circom
Solidity
Merkle trees
nullifiers

Private Balance Proof

intermediate

Prove you have sufficient balance for a transaction without revealing total balance.

3 weeks
Circom
range proofs
commitments

Confidential Transfers

advanced

Send tokens where only sender and receiver know the amount.

8 weeks
Circom
Pedersen commitments
range proofs

Private Credit Score Proof

intermediate

Prove creditworthiness without revealing financial history.

4 weeks
Circom
computation proofs
privacy

Anonymous DEX

advanced

Trade tokens without linking trades to your identity.

10 weeks
Circom
Solidity
order matching

Private Lending Protocol

advanced

Borrow and lend with privacy. Prove collateral without revealing portfolio.

12 weeks
Circom
DeFi
privacy design

Governance and Voting

Anonymous and verifiable voting systems.

Private DAO Voting

intermediate

Vote on DAO proposals without revealing your vote or token holdings.

6 weeks
Circom
Solidity
tally proofs

Quadratic Voting with Privacy

intermediate

Implement quadratic voting where vote weights are private.

5 weeks
Circom
quadratic math
batch proofs

Conviction Voting Privacy

advanced

Add privacy to conviction voting. Hide stake amounts and timing.

8 weeks
Circom
time-weighted proofs
commitments

Anonymous Survey Tool

beginner

Conduct surveys where responses are verifiable but anonymous.

3 weeks
Circom
aggregation
nullifiers

Private Election System

advanced

Full election system with registration, voting, and verifiable tallying.

12 weeks
Circom
threshold cryptography
audit trails

Gaming and Entertainment

ZK applications for fair gaming.

ZK Battleship

intermediate

Classic battleship game where board positions are committed but hidden.

4 weeks
Circom
game logic
commitment schemes

Private Poker

advanced

Poker where hands are truly private until showdown.

10 weeks
Circom
mental poker
card shuffling

Hidden Information Game Framework

advanced

Generic framework for any game with hidden information (fog of war).

8 weeks
Circom
game theory
state machines

Fair Random Number Generator

intermediate

Provably fair randomness for on-chain games using ZK.

3 weeks
Circom
commit-reveal
randomness

ZK Wordle

beginner

Wordle where the word is committed but hidden until game ends.

2 weeks
Circom
string comparison
commitments

Scalability Solutions

ZK for blockchain scalability.

Simple ZK Rollup

advanced

Build a basic rollup that batches transactions with validity proofs.

12 weeks
Circom
Solidity
state transitions

ZK Bridge

advanced

Trustless cross-chain bridge using ZK proofs of state.

16 weeks
Circom
light clients
cross-chain

State Proof Generator

advanced

Generate proofs of Ethereum state for use in other contexts.

8 weeks
Circom
MPT proofs
RLP encoding

Transaction Batching System

intermediate

Batch many transactions into one proof for gas savings.

6 weeks
Circom
aggregation
Solidity

ZK Compression

advanced

Compress on-chain data using ZK proofs (like Solana compressed NFTs).

10 weeks
Circom
data structures
compression

Advanced Cryptography

Implement advanced ZK techniques.

Recursive SNARK Verifier

advanced

Verify SNARKs inside SNARKs. Foundation for proof aggregation.

12 weeks
Circom/Halo2
recursive proofs
field arithmetic

Plonk Implementation

advanced

Implement Plonk proving system from scratch for deep understanding.

16 weeks
Rust
polynomial commitments
FFT

zkVM Prototype

advanced

Build a simple virtual machine that generates proofs of execution.

20 weeks
Rust
instruction sets
trace generation

Lookup Arguments Implementation

advanced

Implement Plookup or similar for efficient lookup tables.

8 weeks
Rust
polynomial protocols
optimization

Custom Constraint System

advanced

Design a domain-specific constraint system optimized for your use case.

12 weeks
Rust
DSL design
optimization

Developer Tools

Tools to help other ZK developers.

Circuit Testing Framework

intermediate

Automated testing tool for Circom circuits with coverage reporting.

4 weeks
JavaScript
Circom
testing

Circuit Visualizer

intermediate

Visual representation of circuit constraints for debugging.

4 weeks
JavaScript
visualization
circuit analysis

Gas Estimator for ZK Verifiers

intermediate

Estimate on-chain verification costs for different proof systems.

3 weeks
Solidity
gas optimization
benchmarking

Proof Generation Optimizer

advanced

Tool to analyze and optimize circuit constraint count.

8 weeks
Rust
optimization
compiler design

ZK Library Comparator

intermediate

Benchmark different ZK libraries for performance and features.

6 weeks
Multiple ZK stacks
benchmarking
documentation

More Guides for ZK Engineers

Related Reading

Looking for Web3 Opportunities?

Explore curated, high-impact roles across top blockchain protocols and Web3 startups.