Validium Docs
search
⌘Ctrlk
Validium Docs
  • Overview
  • Connect to Validium
  • Start Coding 🚀
  • Tooling
  • Test and Debug
  • API Reference
  • Concepts
  • Components
    • Overview
    • Smart & System Contracts
    • Shared Bridges
    • Sequencer / Server
    • Validium Network EVM
    • Prover
      • Overview
      • ZK Terminology
      • Running the Prover
      • Circuits
        • Overview
        • Circuit Testing
        • CodeDecommitter
        • DemuxLogQueue
        • ECRecover
        • KeccakRoundFunction
        • L1MessagesHasher
        • LogSorter
        • Main VM
        • RAMPermutation
        • Sha256RoundFunction
        • StorageApplication
        • Sorting and Deduplicating
      • Boojum Gadgets
      • Boojum Function - `check_if_satisfied`
    • Compiler
    • 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