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.
Tutorial: A zkSNARK RNG
6.
Testing
Light
(default)
Rust
Coal
Navy
Ayu
ZoKrates
Programming Concepts