A real Where's Waldo puzzle becomes a zero-knowledge proof: click Waldo, generate a RISC Zero receipt, and verify that a trained CNN found him without revealing the private crop or coordinates.
Private witness
Location, crop pixels, tile index, and Merkle path stay hidden while the verifier checks public commitments and a real zkVM receipt.
From toys to tools, we're exploring every corner of the zero-knowledge universe
How we approach zero-knowledge research and development
Build in public, attract community, and share knowledge freely
Puzzles, time capsules, and secret messages that engage and educate
Build fun ZK projects and use them to secure funding for bigger ideas
Exploring zkML, private inference, and verification of AI systems