Validium Docs
search
Ctrlk
  • Overview
  • Connect to Validium
  • Start Coding 🚀chevron-right
  • Toolingchevron-right
  • Test and Debugchevron-right
  • API Referencechevron-right
  • Conceptschevron-right
  • Componentschevron-right
    • Overview
    • Smart & System Contractschevron-right
    • Shared Bridges
    • Sequencer / Server
    • Validium Network EVMchevron-right
    • Proverchevron-right
      • Overview
      • ZK Terminology
      • Running the Prover
      • Circuitschevron-right
      • Boojum Gadgets
      • Boojum Function - `check_if_satisfied`
    • Compilerchevron-right
    • Fee Withdrawer
    • Portal - Wallet + Bridge
    • Block Explorer
    • Transaction filtering
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Components

Prover

Overviewchevron-rightZK Terminologychevron-rightRunning the Proverchevron-rightCircuitschevron-rightBoojum Gadgetschevron-rightBoojum Function - `check_if_satisfied`chevron-right
PreviousVM Formal Specificationchevron-leftNextOverviewchevron-right