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
3.11.
Logging
3.12.
Assembly
4.
Toolbox
4.1.
CLI
4.2.
Trusted Setup
4.3.
Standard Library
4.4.
Proving schemes
4.5.
Verification
4.6.
ZIR
4.7.
JSON ABI
4.8.
zokrates.js
4.9.
Experimental
5.
Examples
5.1.
A SNARK Powered RNG
5.2.
Proving knowledge of a hash preimage
5.3.
A ZK Magic Square in the browser
6.
Testing
Light
(default)
Rust
Coal
Navy
Ayu
ZoKrates
ZoKrates Reference
The reference covers the details of the ZoKrates toolbox beyond the ZoKrates language.