1.
Introduction
2.
Getting Started
3.
Language
3.1.
Variables
3.2.
Types
3.3.
Operators
3.4.
Control flow
3.5.
Constants
3.6.
Functions
3.7.
Generics
3.8.
Imports
3.9.
Comments
3.10.
Macros
4.
Toolbox
4.1.
CLI
4.2.
Standard Library
4.3.
Proving schemes
4.4.
Verification
4.5.
ZIR
4.6.
JSON ABI
4.7.
zokrates.js
5.
Examples
5.1.
A SNARK Powered RNG
5.2.
Proving knowledge of a hash preimage
6.
Testing
Light
(default)
Rust
Coal
Navy
Ayu
ZoKrates
Programming Concepts