Avenlabs.
Validium
Initializing search
    Avenlabs.
    • Home
    • CDK
    • zkEVM
    • L1
    • Private Chain
    • Developer tools
    • Learn
    Avenlabs.
    • Home
    • CDK
      • Overview
        • Connect testnet
          • Validium
          • Rollup
          • Validium
            • Introduction
            • Install dependencies
            • Create wallets
            • Deploy node
            • Configure prover
            • Activate forced transactions
            • Set up Goerli node
        • Manage policies
        • DAC
        • Validium vs rollup
        • Rollup
        • Validium
        • Data availability
        • CDK repos
    • zkEVM
      • Overview
      • Get started
          • Connecting to zkEVM
          • Using Polygon faucet
          • Bridging assets to zkEVM
        • Gas station
          • Setup local zkNode
          • Setup production zkNode
        • Deploy zkEVM
          • Install dependencies
          • Create wallets
          • Deploy zkNode
          • Configure Prover
          • Activate forced transactions
          • Setup a Goërli node
        • Sync state with snapshots
        • Historical data
      • How to
        • Write a contract
        • Deploy a contract with Foundry
        • Deploy a contract with Hardhat
        • Verify a contract
      • Architecture
        • zkEVM protocol
          • State management
            • Submit transactions
            • Transaction execution
            • Transaction batching
            • Batch sequencing
            • Batch aggregation
          • Incentive mechanism
          • Protocol upgradability
          • Admin role and governance
          • Upgrade process
          • Security council
            • Force batches
            • Force verification
            • Emergency state
          • zkEVM Bridge
            • Exit trees
            • Smart contracts
            • Flow of assets
          • LXLY bridge
        • zkNode
        • zkProver
          • Main state machine
            • As a processor
          • STARK recursion
            • Proving tools and techniques
            • Composition, Recursion and Aggregation
            • Recursion sub-process
            • Proving architecture
            • CIRCOM in zkProver
            • Proving setup phase
            • Intermediate steps
            • Final recursion step
            • Proof generation phase
          • Storage state machine
            • Creating keys and paths
            • Storage SM mechanism
            • Executor and PIL
          • Arithmetic state machine
          • Binary state machine
          • Memory state machine
          • Memory-Align state machine
          • Hashing state machines
            • Keccak framework
            • Padding-kk state machine
            • Padding-kk-bit state machine
            • Bits2Field state machine
            • Keccak-f state machine
            • Poseidon state machine
      • Specification
        • Polynomial Identity Language
          • Simple example
          • Modular programs
          • Connection arguments
          • Cyclicity in PIL
          • Filling polynomials
          • Generating proofs
          • Permutation arguments
          • Inclusion arguments
          • Compiling using PILCOM
          • Configuration files
          • PLONK in PIL
          • Public values
        • zkASM
          • Basic Syntax
          • Examples
        • EVM vs. zkEVM
      • Concepts
        • EVM basics
          • Merkle trees
          • Constructing simple SMTs
          • SMT concepts
          • Operations on SMTs
          • Design approach
          • An example
          • Commitment scheme
          • Verification scheme
          • PIL-STARK process
          • PIL-STARK demo
          • Generic SM introduction
          • Execution trace
          • Ending programs
          • Program counter
          • Plookup
        • CIRCOM
        • Disclosures
    • L1
      • Overview
      • Get started
        • Building on Polygon
      • How to
        • Restore from snapshots
        • Operate a node
          • Full node
            • Manual install
            • Ansible
            • Docker
            • Google cloud
          • Validator node
            • Rewards and staking incentives
            • Manual install
            • Ansible
            • Staking
          • Access node
          • Archive node
          • Erigon node
        • Bridge layers
          • Ethereum-Polygon
            • Ethereum to MATIC
            • MATIC to Ethereum
            • Submit mapping request
          • L1-L2 communication
            • State transfer
        • Work with smart contracts
          • Alchemy
          • ChainIDE
          • ChainStack
          • GetBlock
          • QuickNode
          • SmartPress
          • thirdweb
        • Polygon DID
      • Architecture
        • Bor
          • State sync
          • Network configuration
          • Commands
        • Heimdall
          • Heimdall and Bor
          • Authentication
          • Key management
          • Validation
          • Balance transfers
          • Staking
          • Checkpoints
          • Topup
          • Chain management
          • Governance
        • System requirements
          • Full node binaries
          • Full node docker
          • Full node ansible
          • Full node packages
          • Full node gcp
          • Erigon client
          • Prerequisites
          • Validator binaries
          • Validator ansible
          • Validator packages
          • Staking operations
          • Commission operations
          • Becoming a validator
          • Validator Responsibilities
          • Topup Heimdall fee
          • Change your signer address
          • Move stake
          • Validator performance
          • Technical FAQs
          • Known issues and errors
          • Reporting issues
          • Genesis contracts
          • Delegation via validator shares
          • Staking manager
        • Heimdall and Bor snapshots
        • Default ports for nodes
        • Common commands
        • Node errors
        • RPC endpoints
        • l1 mainnet multi-signatures
        • Mapped tokens
      • Concepts
        • Tokens
          • POL
          • MATIC
        • Transactions
          • EIP-1559
          • EIP-4337
          • Meta-transactions
    • Private Chain
      • Overview
      • Roadmap
        • Introduction
        • Architecture
          • Accounts
          • Notes
          • Assets
          • Transactions
          • State
          • Execution
            • Tiered sparce Merkle tree (TSMT)
        • Introduction
          • Overview
          • Usage
          • Performance
          • Background material
          • Design
          • Programs
          • Decoder
            • Constraints
          • Operand stack
            • Operation constraints
            • System operations
            • Field operations
            • u32 operations
            • Stack manipulation
            • Input/output operations
            • Cryptographic operations
          • Range checker
          • Chiplets
            • Hash chiplet
            • Bitwise chiplet
            • Memory chiplet
            • Kernel ROM chiplet
          • Lookups
            • Multiset checks
            • LogUp
            • Introduction
              • Syntax overview
              • Code organization
              • Type declarations
              • Constraints
              • Variables
              • Evaluators
              • Convenience
              • Example AIR definition
              • Keywords
              • Appendix
            • Backends
          • Development tooling
            • Debugger
            • REPL
        • API
          • Assembly
            • Code organization
            • Execution contexts
            • Flow control
            • Field operations
            • u32 operations
            • Stack manipulation
            • IO operations
            • Cryptographic operations
            • Debugging
          • Standard library
            • Collections
              • Digital signatures
              • FRI verification procedures
              • Cryptographic hashes
              • Unsigned 64-bit integer operations
            • Memory procedures
            • System procedures
    • Developer tools
        • Hardhat
        • Truffle
        • Remix
        • Replit
        • Crossmint
        • Polygon MATIC faucet
        • Polygon gas station
        • Alchemy subgraphs
          • Overview
          • Data
          • Entities
          • Queries
        • Covalent
        • Flair
        • PARSIQ
        • Installation
        • Get started
          • PoS client
          • API overview
            • Ethers
            • Web3js
          • Set proof API
            • ABI manager
            • Exit util
            • Plugin
          • ERC20
            • approveMax
            • approve
            • deposit
            • getAllowance
            • getBalance
            • isWithdrawExited
            • transfer
            • withdrawExitFaster
            • withdrawExit
            • withdrawStart
          • ERC721
            • approveAll
            • approve
            • depositMany
            • deposit
            • getAllTokens
            • getTokenIdAtIndexForUser
            • getTokensCount
            • isApprovedAll
            • isApproved
            • isWithdrawExitedMany
            • isWithdrawExited
            • transfer
            • withdrawExitFasterMany
            • withdrawExitFaster
            • withdrawExitMany
            • withdrawExit
            • withdrawStartMany
            • withdrawStartWithMetaData
            • withdrawStart
          • ERC1155
            • approveAllForMintable
            • approveAll
            • depositMany
            • deposit
            • getBalance
            • isApprovedAll
            • isWithdrawExitedMany
            • isWithdrawExited
            • transfer
            • withdrawExitFasterMany
            • withdrawExitFaster
            • withdrawExitMany
            • withdrawExit
            • withdrawStartMany
            • withdrawStart
            • Deposit ETH
            • isCheckPointed
            • isDeposited
          • zkEVM client
          • ERC20
          • Common methods
        • IPFS
        • Filecoin
        • Crust network
        • Mint NFTs
        • Getting started
        • API3
        • Bandchain
        • Band standard dataset
        • Chainlink
        • DIA
        • UMA optimistic oracle
        • Razor
        • Supra
        • Tellor
        • Umbrella
        • Getting started
        • Metamask
          • Create MetaMask wallet
          • Add Polygon network
          • Configure custom tokens
          • Create and import accounts
        • Venly
          • Create wallet
          • Add network
          • Add custom token
        • Wallet link
        • Fortmatic
        • Portis
        • Torus
        • WalletConnect
        • SlashAuth
        • Plaid wallet onboard
        • Particle network
        • Web3Modal
        • Polygon
        • zkEVM
        • zkEVM testnet
        • OKLink
    • Learn
      • Unified liquidity and scalability
      • Polygon protocols
      • Polygon 2.0 architecture

    Validium

    Validiums are blockchain scaling solutions that do not store transaction data on-chain.

    Recommended resource

    See Ethereum.org’s detailed description of validiums.

    Last update: January 17, 2024
    Authors: avenbreaks
    Previous
    Rollup
    Next
    Data availability
    Copyright © 2024 Avenbreaks Labs

    Cookie consent

    We use cookies to recognize your repeated visits and preferences, as well as to measure the effectiveness of our documentation and whether users find what they're searching for. With your consent, you're helping us to make our documentation better.