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 Examples
This section covers examples of using the ZoKrates programming language.
A SNARK Powered RNG
Proving knowledge of a hash preimage