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
        • Overview
        • Circuit Testing
        • CodeDecommitter
        • DemuxLogQueue
        • ECRecover
        • KeccakRoundFunction
        • L1MessagesHasher
        • LogSorter
        • Main VM
        • RAMPermutation
        • Sha256RoundFunction
        • StorageApplication
        • Sorting and Deduplicatingchevron-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. Componentschevron-right
  2. Prover

Circuits

Overviewchevron-rightCircuit Testingchevron-rightCodeDecommitterchevron-rightDemuxLogQueuechevron-rightECRecoverchevron-rightKeccakRoundFunctionchevron-rightL1MessagesHasherchevron-rightLogSorterchevron-rightMain VMchevron-rightRAMPermutationchevron-rightSha256RoundFunctionchevron-rightStorageApplicationchevron-rightSorting and Deduplicatingchevron-right
PreviousRunning the Proverchevron-leftNextOverviewchevron-right

Last updated 1 year ago