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
Programming Concepts