Introducing zkBattleship: the World’s First Interactive Zero-Knowledge Proof Tutorial

Support both Circom and ZoKrates

There are various ZK programming languages. We have decided to give users option of both Circom and ZoKrates, the most popular two languages to program a ZK circuit. Users can choose whichever they prefer.

  • Circom operates at low level and is similar to a hardware description languages, thus gives users more fine-grained control.
  • ZoKrate is a python-like high-level language and easier for modern developers to begin with.

Long prover time

Generating a ZK proof is CPU intensive and can easily take up to several seconds in a browser. The web UI is blocked and seems unresponsive in the meantime, degrading user experience. To address this issue, we move the proof generating in a separate web worker thread.



Get the Medium app

A button that says 'Download on the App Store', and if clicked it will lead you to the iOS App store
A button that says 'Get it on, Google Play', and if clicked it will lead you to the Google Play store


sCrypt ( is a company with a mission to provide integrated on-chain smart contracting solutions on Bitcoin SV