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
    • Compilerchevron-right
      • Compiler Toolchain Overviewchevron-right
      • Specificationchevron-right
    • Fee Withdrawer
    • Portal - Wallet + Bridge
    • Block Explorer
    • Transaction filtering
gitbookPowered by GitBook
block-quoteOn this pagechevron-down
  1. Components

Compiler

Compiler Toolchain Overviewchevron-rightSpecificationchevron-right
PreviousBoojum Function - `check_if_satisfied`chevron-leftNextCompiler Toolchain Overviewchevron-right