Skip to main content
Version: 0.19


  • Hello World: a recommended place to start. Prove a number is composite, and you know its factors without revealing them
  • JSON: prove the contents of some entry in a JSON file, while keeping the rest of the data private
  • Where's Waldo: prove that Waldo appears in a JPG file, while keeping the rest of the image private, additionally, there is Where's Waldo blog
  • ZK Checkmate: prove that you see a mate-in-one, without revealing the winning move
  • ZK Proof of Exploit: prove that you could exploit an Ethereum account, without revealing the exploit
  • ECDSA signature verification: prove the validity of an ECDSA signature
  • zkEVM: demo of running EVM engine on the Risc Zero zkVM