Overview
Connect to Validium
Start Coding 🚀
- Quickstart
  Overview
  Deploy using Validium CLI
  Deploy using Quickstart Repository
  Deploy your first contract
  Create an ERC20 token
Tooling
Test and Debug
API Reference
Concepts
Components

Powered by GitBook

On this page

Components

Prover

Overview ZK Terminology Running the Prover Circuits Boojum Gadgets Boojum Function - `check_if_satisfied`

PreviousVM Formal Specification NextOverview