1. 1. Introduction
  2. 2. Getting Started
  3. 3. Language
    1. 3.1. Variables
    2. 3.2. Types
    3. 3.3. Operators
    4. 3.4. Control flow
    5. 3.5. Constants
    6. 3.6. Functions
    7. 3.7. Generics
    8. 3.8. Imports
    9. 3.9. Comments
    10. 3.10. Macros
  4. 4. Toolbox
    1. 4.1. CLI
    2. 4.2. Trusted Setup
    3. 4.3. Standard Library
    4. 4.4. Proving schemes
    5. 4.5. Verification
    6. 4.6. ZIR
    7. 4.7. JSON ABI
    8. 4.8. zokrates.js
  5. 5. Examples
    1. 5.1. A SNARK Powered RNG
    2. 5.2. Proving knowledge of a hash preimage
  6. 6. Testing

ZoKrates

Programming Concepts