mkdocs.yml

site_name: Polygon Knowledge Layer
site_author: Polygon Labs
copyright: Copyright © 2024 Polygon Labs
repo_name: Polygon Knowledge Layer
repo_url: https://github.com/0xPolygon/polygon-docs
edit_uri: edit/main/docs/
site_url: https://docs.polygon.technology/

theme:
  name: material
  palette:
    # Palette toggle for light mode
    - scheme: default
      primary: white
      accent: purple
      toggle:
        icon: material/eye
        name: Switch to dark mode
    # Palette toggle for dark mode
    - scheme: slate
      primary: black
      accent: purple
      toggle:
        icon: material/eye-outline
        name: Switch to light mode
  language: en
  custom_dir: overrides
  favicon: img/favicon.ico
  icon:
    logo: logo
    repo: repo
  features:
    - search.suggest
    - search.highlight
    - search.share
    #- navigation.instant
    #- navigation.instant.progress
    - navigation.tracking
    - navigation.integration
    - navigation.tabs
    - navigation.tabs.sticky
    - navigation.indexes
    - navigation.sections
    - navigation.path
    - navigation.top
    - navigation.footer
    - toc.follow
    - content.code.copy
    - content.action.edit

nav:
  - Home: index.md
  - Agglayer:
      - Overview: agglayer/overview.md
      - Unified Bridge: agglayer/unified-bridge.md
      - Go SDK: agglayer/agglayer-go.md
      - Rust SDK: agglayer/agglayer-rs.md
      - Token Flows: agglayer/token-flows.md
  - CDK:
      - Polygon CDK Home: cdk/index.md
      - Overview: cdk/overview.md
      - Release Notes:
          - Fork ID 12: cdk/releases/release-notes.md
      - Get Started:
          - Local Deployment Guide: cdk/getting-started/local-deployment.md
          - CLI Tool: cdk/getting-started/cli-tool.md
          - CDK Erigon:
              - Overview: cdk/getting-started/cdk-erigon/index.md
              - Release: cdk/getting-started/cdk-erigon/release.md
              - How To:
                  - Deploy a Node: cdk/getting-started/cdk-erigon/deploy-cdk-erigon.md
                  - Configure Chains Dynamically: cdk/getting-started/cdk-erigon/chain-config.md
                  - Recover the Network: cdk/getting-started/cdk-erigon/network-recovery.md
              - Resources: cdk/getting-started/cdk-erigon/resources.md
      - How To:
          - Migration Guides:
              - General Guide for Implementation Providers: cdk/how-to/migrate/fork.md
              - Fork ID 9 to 12: cdk/how-to/migrate/forkid-9-12.md
              - Fork ID 7 to 9: cdk/how-to/migrate/forkid-7-to-9.md
          - Create Custom Native Token: cdk/how-to/use-native-token.md
          - Integrate DA Layer: cdk/how-to/integrate-da.md
          - Manage Allowlists with Policies: cdk/how-to/manage-policies.md
          - Quickly Test a Running Stack: cdk/how-to/quick-test-stack.md
          - Connect to CDK Testnets: cdk/how-to/connect-testnet.md
      - Concepts:
          - Full Execution Proofs (FEP): cdk/concepts/full-execution-proofs.md
          - Pessimistic Proofs (PP): cdk/concepts/pessimistic-proofs.md
          - Layer 2s: cdk/concepts/layer2s.md
          - L2 Architecture Overview: cdk/concepts/architecture.md
          - L2 Transaction Lifecycle: cdk/concepts/transaction-lifecycle.md
          - Rollups vs. Validiums: cdk/concepts/rollup-vs-validium.md
          - ZK vs. Optimistic Rollups: cdk/concepts/zk-vs-optimistic.md
          - Batches, Blocks, Transactions: cdk/concepts/blocks.md
          - Transaction Finality: cdk/concepts/transaction-finality.md
          - Gas Fees: cdk/concepts/gas-fees.md
          - Bridging & Interoperability: cdk/concepts/bridging.md
          - Admin Upgradeability: cdk/concepts/admin-upgradeability.md
      - Architecture:
          - CDK FEP High Level View: cdk/architecture/high-level-views.md
          - CDK PP High Level View: cdk/architecture/cdk-pp-highlevel-arch.md
          - CDK Rollup: cdk/architecture/cdk-zkevm.md
          - CDK Validium: cdk/architecture/cdk-validium.md
          - Staking the Bridge (STB): cdk/architecture/staking-the-bridge.md
      - Glossary:
          - Glossary: cdk/glossary/index.md
      - Additional Resources:
          - Third-Party Guides: cdk/resources/third-party-guides.md
          - CDK Repos: cdk/resources/cdk-repo-reference.md
  - zkEVM:
      - zkEVM: zkEVM/index.md
      - Overview: zkEVM/overview.md
      - Releases:
        - Etrog upgrade: zkEVM/architecture/protocol/etrog-upgrade.md
      - Build:
        - Get started: zkEVM/get-started/index.md
        - Connect to zkEVM: zkEVM/get-started/quick-start.md
        - Deployment guides:
          - Setup local zkNode: zkEVM/get-started/setup-nodes/local-node.md
          - Setup production zkNode: zkEVM/get-started/setup-nodes/production-node.md
          - Deploy zkEVM:
              - Introduction: zkEVM/get-started/setup-nodes/deploy-zkevm/intro.md
              - Environment overview: zkEVM/get-started/setup-nodes/deploy-zkevm/environment-overview.md
              - Prerequisites: zkEVM/get-started/setup-nodes/deploy-zkevm/prerequisites.md
              - Install dependencies: zkEVM/get-started/setup-nodes/deploy-zkevm/install-dependencies.md
              - Create wallets: zkEVM/get-started/setup-nodes/deploy-zkevm/create-wallets.md
              - Configure node deployment: zkEVM/get-started/setup-nodes/deploy-zkevm/configure-node-deployment.md
              - Configure prover: zkEVM/get-started/setup-nodes/deploy-zkevm/configure-prover.md
              - Start node: zkEVM/get-started/setup-nodes/deploy-zkevm/start-node.md
              - Start services: zkEVM/get-started/setup-nodes/deploy-zkevm/start-services.md
          # - Sync state with snapshots: zkEVM/get-started/state-sync-snapshots.md
        - Risk disclosures: zkEVM/get-started/risk-disclosures.md
        - Historical data: zkEVM/get-started/historical-data.md
        - JSON RPC endpoints: zkEVM/get-started/json-rpc.md
        - Check transaction status: zkEVM/get-started/check-tx-status.md
      - Architecture:
        - Architecture: zkEVM/architecture/index.md
        - zkEVM protocol:
          - zkEVM protocol: zkEVM/architecture/protocol/index.md
          - zkNode: zkEVM/architecture/zknode/index.md
          - State management: 
            - State management: zkEVM/architecture/protocol/state-management.md
            - Transaction life cycle:
              - Transaction life cycle: zkEVM/architecture/protocol/transaction-life-cycle/index.md
              - Submit transactions: zkEVM/architecture/protocol/transaction-life-cycle/submit-transaction.md
              - Transaction execution: zkEVM/architecture/protocol/transaction-life-cycle/transaction-execution.md
              - Transaction batching: zkEVM/architecture/protocol/transaction-life-cycle/transaction-batching.md
              - Batch sequencing: zkEVM/architecture/protocol/transaction-life-cycle/batch-sequencing.md
              - Batch aggregation: zkEVM/architecture/protocol/transaction-life-cycle/batch-aggregation.md
            - Sequencing batches: zkEVM/architecture/protocol/sequencing-batches.md
            - Data streamer:
              - Overall design: zkEVM/architecture/data-streamer/data-streamer-design.md
              - Data streamer protocols: zkEVM/architecture/data-streamer/data-streamer-protocols.md
              - Bookmarks: zkEVM/architecture/data-streamer/bookmarks.md
              - Protocol messages: zkEVM/architecture/data-streamer/client-server-messages.md
              - Server-source library: zkEVM/architecture/data-streamer/server-source-library.md
              - Stream file: zkEVM/architecture/data-streamer/stream-file.md
              - How rollbacks work: zkEVM/architecture/data-streamer/how-rollbacks-work.md
            - About reorgs: zkEVM/architecture/protocol/synchronizer-reorg.md
          - Admin role and governance: zkEVM/architecture/protocol/admin-role.md
          - Upgrades:
            - Protocol upgradability: zkEVM/architecture/protocol/upgradability.md
            - Upgrade process: zkEVM/architecture/protocol/upgrade-process.md
          - Security council: zkEVM/architecture/protocol/security-council.md
          - Malfunction resistance:
            - Force batches: zkEVM/architecture/protocol/malfunction-resistance/sequencer-resistance.md
            - Force verification: zkEVM/architecture/protocol/malfunction-resistance/aggregator-resistance.md
            - Emergency state: zkEVM/architecture/protocol/malfunction-resistance/emergency-state.md
        - zkProver:
          - zkProver: zkEVM/architecture/zkprover/index.md
          - zkProver design:
            - Introduction: zkEVM/architecture/proving-system/intro-proving-sys.md
            - Executor: zkEVM/architecture/proving-system/the-executor-comp.md
            - Proving system inputs: zkEVM/architecture/proving-system/proving-inputs.md
            - Order and prove: zkEVM/architecture/proving-system/order-and-prove.md
            - Aggregator: zkEVM/architecture/proving-system/aggregator-proofs.md
            - JSON-RPC: zkEVM/architecture/proving-system/json-rpc-to-proof.md
            - Polynomial identity language: zkEVM/architecture/proving-system/polynom-identity-lang.md
            - Execution trace design: zkEVM/architecture/proving-system/execution-trace-design.md
            - Selector columns: zkEVM/architecture/proving-system/exec-selector-columns.md
            - zkEVM and execution traces: zkEVM/architecture/proving-system/exec-trace-and-zkevm.md
            - Using lookup tables: zkEVM/architecture/proving-system/secondary-sms-lookup-tables.md
            - L2 state tree concept: zkEVM/architecture/proving-system/l2-state-tree.md
            - Keys and values: zkEVM/architecture/proving-system/l2statetree-keys-and-values.md
            - Processing L2 blocks: zkEVM/architecture/proving-system/processing-l2-blocks.md
            - Recapitulation: zkEVM/architecture/proving-system/prover-and-verifier-recap.md
          - Main state machine:
            - Main state machine: zkEVM/architecture/zkprover/main-state-machine/index.md
            - As a processor: zkEVM/architecture/zkprover/main-state-machine/processor.md
          - STARK recursion:
            - STARK recursion: zkEVM/architecture/zkprover/stark-recursion/index.md
            - Proving tools and techniques: zkEVM/architecture/zkprover/stark-recursion/proving-tools.md
            - Composition, recursion and aggregation: zkEVM/architecture/zkprover/stark-recursion/composition-recursion-aggregation.md
            - Recursion sub-process: zkEVM/architecture/zkprover/stark-recursion/recursion-sub-process.md
            - Proving architecture: zkEVM/architecture/zkprover/stark-recursion/proving-architecture.md
            - CIRCOM in zkProver: zkEVM/architecture/zkprover/stark-recursion/circom-in-zkprover.md
            - Proving setup phase: zkEVM/architecture/zkprover/stark-recursion/proving-setup-phase.md
            - Intermediate steps: zkEVM/architecture/zkprover/stark-recursion/intermediate-recursion.md
            - Final recursion step: zkEVM/architecture/zkprover/stark-recursion/final-recursion-step.md
            - Proof generation phase: zkEVM/architecture/zkprover/stark-recursion/proof-generation-phase.md
          - Storage state machine:
            - Storage state machine: zkEVM/architecture/zkprover/storage-state-machine/index.md
            - Creating keys and paths: zkEVM/architecture/zkprover/storage-state-machine/construct-key-path.md
            - Storage SM mechanism: zkEVM/architecture/zkprover/storage-state-machine/mechanism.md
            - Executor and PIL: zkEVM/architecture/zkprover/storage-state-machine/executor-pil.md
          - Arithmetic state machine: zkEVM/architecture/zkprover/arithmetic-sm.md
          - Binary state machine: zkEVM/architecture/zkprover/binary-sm.md
          - Memory state machine: zkEVM/architecture/zkprover/memory-sm.md
          - Memory-align state machine: zkEVM/architecture/zkprover/mem-align-sm.md
          - Hashing state machines:
            - Hashing state machines: zkEVM/architecture/zkprover/hashing-state-machines/index.md
            - Keccak framework: zkEVM/architecture/zkprover/hashing-state-machines/keccak-framework.md
            - Padding-kk state machine: zkEVM/architecture/zkprover/hashing-state-machines/paddingkk-sm.md
            - Padding-kk-bit state machine: zkEVM/architecture/zkprover/hashing-state-machines/paddingkk-bit-sm.md
            - Bits2Field state machine: zkEVM/architecture/zkprover/hashing-state-machines/bits2field-sm.md
            - Keccak-f state machine: zkEVM/architecture/zkprover/hashing-state-machines/keccakf-sm.md
            - Poseidon state machine: zkEVM/architecture/zkprover/hashing-state-machines/poseidon-sm.md
        - Unified bridge:
            - Unified bridge: zkEVM/architecture/unified-LxLy/index.md
            - The rollup manager: zkEVM/architecture/unified-LxLy/ulxly-rollupmanager.md
            - Sequencing and verification flows: zkEVM/architecture/unified-LxLy/ulxly-sequence-verify.md
            - Updating rollups: zkEVM/architecture/unified-LxLy/ulxly-updating-rollups.md
            - Global exit trees: zkEVM/architecture/unified-LxLy/ulxly-exit-trees-node.md
            - Cross-chain exchanges: zkEVM/architecture/unified-LxLy/ulxly-interchain-exchanges.md
            - Bridging: zkEVM/architecture/unified-LxLy/bridging.md
        - Smart contracts:
          - Smart contracts: zkEVM/architecture/high-level/smart-contracts/index.md
          - Main contracts: zkEVM/architecture/high-level/smart-contracts/main-contracts.md
          - Consensus contracts - sequencing: zkEVM/architecture/high-level/smart-contracts/sequencing.md
          - Exit roots: zkEVM/architecture/high-level/smart-contracts/exit-roots.md   
          - Consensus contracts - verification: zkEVM/architecture/high-level/smart-contracts/verification.md
          - API:
            - PolygonRollupManager.sol:  zkEVM/architecture/high-level/smart-contracts/api/PolygonRollupManager.md
            - PolygonZkEVMBridgeV2.sol:  zkEVM/architecture/high-level/smart-contracts/api/PolygonZkEVMBridgeV2.md
            - PolygonZkEVMGlobalExitRootV2.sol:  zkEVM/architecture/high-level/smart-contracts/api/PolygonZkEVMGlobalExitRootV2.md
            - Consensus:
              - Data committee:
                - CDKDataCommittee.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/dataComittee/CDKDataCommittee.md
                - PolygonDataComittee.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/dataComittee/PolygonDataComittee.md
              - Validium:
                - PolygonDataCommittee.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/validium/PolygonDataCommittee.md
                - PolygonValidiumEtrog.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/validium/PolygonValidiumEtrog.md
                - Migration:
                  - PolygonRollupBaseEtrogNoGap.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/validium/migration/PolygonRollupBaseEtrogNoGap.md
                  - PolygonValidiumStorageMigration.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/validium/migration/PolygonValidiumStorageMigration.md
              - ZkEVM:
                - PolygonZkEVMEtrog.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/zkEVM/PolygonZkEVMEtrog.md
                - PolygonZkEVMExistentEtrog.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/zkEVM/PolygonZkEVMExistentEtrog.md
                - PolygonZkEVMV2.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/zkEVM/PolygonZkEVMV2.md
                - PolygonZkEVMV2Existent.sol:  zkEVM/architecture/high-level/smart-contracts/api/consensus/zkEVM/PolygonZkEVMV2Existent.md
            - Lib:
              - DepositContractBase.sol: zkEVM/architecture/high-level/smart-contracts/api/lib/DepositContractBase.md
              - DepositContractLib.sol:  zkEVM/architecture/high-level/smart-contracts/api/lib/DepositContractLib.md
              - DepositContractV2.sol:  zkEVM/architecture/high-level/smart-contracts/api/lib/DepositContractV2.md
              - PolygonAccessControlUpgradeable.sol:  zkEVM/architecture/high-level/smart-contracts/api/lib/PolygonAccessControlUpgradeable.md
              - PolygonRollupBaseEtrog.sol:  zkEVM/architecture/high-level/smart-contracts/api/lib/PolygonRollupBaseEtrog.md
              - PolygonTransparentProxy.sol:  zkEVM/architecture/high-level/smart-contracts/api/lib/PolygonTransparentProxy.md
              - PolygonZkEVMGlobalExitRootBaseStorage.sol: zkEVM/architecture/high-level/smart-contracts/api/lib/PolygonZkEVMGlobalExitRootBaseStorage.md
            - Utils:
              - ClaimCompressor.sol:  zkEVM/architecture/high-level/smart-contracts/api/utils/ClaimCompressor.md
          - Addresses: zkEVM/architecture/high-level/smart-contracts/addresses.md
        - Tokenomics:
          - Incentive mechanism: zkEVM/architecture/protocol/incentive-mechanism.md
          - Effective gas price:
            - Effective gas price: zkEVM/architecture/effective-gas/index.md
            - Effective gas price strategy: zkEVM/architecture/effective-gas/zkevm-egp-strat.md
            - User transaction flow:
              - User transaction flow: zkEVM/architecture/effective-gas/user-tx-flow/index.md
              - RPC transaction flow: zkEVM/architecture/effective-gas/user-tx-flow/rpc-flow-egp.md
              - Sequencer transaction flow: zkEVM/architecture/effective-gas/user-tx-flow/sequencer-flow-egp.md
            - Implementing EGP strategy: zkEVM/architecture/effective-gas/implement-egp-strat.md
            - Transaction prioritization: zkEVM/architecture/effective-gas/tx-prioritization-egp.md
      - Specification:
        - Specification: zkEVM/spec/index.md
        - Polynomial Identity Language:
          - Polynomial Identity Language: zkEVM/spec/pil/index.md
          - Simple example: zkEVM/spec/pil/simple-example.md
          - Modular programs: zkEVM/spec/pil/modular-programs.md
          - Connection arguments: zkEVM/spec/pil/connection-arguments.md
          - Cyclicity in PIL: zkEVM/spec/pil/cyclicity-in-pil.md
          - Filling polynomials: zkEVM/spec/pil/filling-polynomials.md
          - Generating proofs: zkEVM/spec/pil/generating-proofs.md
          - Permutation arguments: zkEVM/spec/pil/permutation-arguments.md
          - Inclusion arguments: zkEVM/spec/pil/inclusion-arguments.md
          - Compiling using PILCOM: zkEVM/spec/pil/compiling-using-pilcom.md
          - Configuration files: zkEVM/spec/pil/configuration-files.md
          - PLONK in PIL: zkEVM/spec/pil/plonk-in-pil.md
          - Public values: zkEVM/spec/pil/public-values.md
        - zkASM:
          - zkASM: zkEVM/spec/zkasm/index.md
          - Basic Syntax: zkEVM/spec/zkasm/basic-syntax.md
          - Examples: zkEVM/spec/zkasm/examples.md
        - EVM vs. zkEVM: zkEVM/spec/evm-differences.md
      # - API: 
      #   - JSON RPC endpoints: zkEVM/api/json-rpc.md
      #   - Check transaction status: zkEVM/api/check-tx-status.md
      - Concepts:
        - Concepts: zkEVM/concepts/index.md
        - EVM basics: zkEVM/concepts/evm-basics.md
        - Sparse Merkle trees:
          - Merkle trees: zkEVM/concepts/sparse-merkle-trees/sparse-merkle-tree.md
          - Constructing simple SMTs: zkEVM/concepts/sparse-merkle-trees/simple-smt.md
          - SMT concepts: zkEVM/concepts/sparse-merkle-trees/detailed-smt.md
          - Operations on SMTs: zkEVM/concepts/sparse-merkle-trees/basic-smt-ops.md
        - mFibonnaci state machine:
          - Design approach: zkEVM/concepts/mfibonacci/mfibonacci.md
          - An example: zkEVM/concepts/mfibonacci/mfibonacci-example.md
          - Commitment scheme: zkEVM/concepts/mfibonacci/commitment-scheme.md
          - Verification scheme: zkEVM/concepts/mfibonacci/verification-scheme.md
          - PIL-STARK process: zkEVM/concepts/mfibonacci/pil-stark.md
          - PIL-STARK demo: zkEVM/concepts/mfibonacci/pil-stark-demo.md
        - Generic state machine: 
          - Generic SM introduction: zkEVM/concepts/generic-state-machine/intro-generic-sm.md
          - Execution trace: zkEVM/concepts/generic-state-machine/exec-trace-correct.md
          - Ending programs: zkEVM/concepts/generic-state-machine/ending-program.md
          - Program counter: zkEVM/concepts/generic-state-machine/program-counter.md
          - Plookup: zkEVM/concepts/generic-state-machine/plookup.md
        - CIRCOM: zkEVM/concepts/circom-intro-brief.md
      # - Troubleshooting:
      #   - Disclosures: zkEVM/troubleshooting/risk-disclosures.md
  - PoS:
      - PoS: pos/index.md
      - Overview: pos/overview.md
      - Get started: 
        - Migrate to POL: pos/get-started/matic-to-pol.md
        - Building on PoS: pos/get-started/building-on-polygon.md
        - Becoming a validator: pos/get-started/becoming-a-validator.md
      - Builder how-tos:
        - Token bridging:
          - Polygon Portal: pos/how-to/bridging/ethereum-polygon/portal-ui.md
          - Ethereum to PoS: pos/how-to/bridging/ethereum-polygon/ethereum-to-matic.md
          - PoS to Ethereum: pos/how-to/bridging/ethereum-polygon/matic-to-ethereum.md
          - Submit mapping request: pos/how-to/bridging/ethereum-polygon/submit-mapping-request.md
        - State transfer: pos/how-to/bridging/l1-l2-communication/state-transfer.md
      - Node how-tos:
        - Prerequisites: pos/how-to/prerequisites.md
        - Sync node using snapshots: pos/how-to/snapshots.md
        - Run a full node:
          - Using binaries: pos/how-to/full-node/full-node-binaries.md
          - Using Docker: pos/how-to/full-node/full-node-docker.md
          - Using Ansible: pos/how-to/full-node/full-node-ansible.md
          - Using packages: pos/how-to/full-node/full-node-packages.md
          - Using GCP: pos/how-to/full-node/full-node-gcp.md
        - Run a validator node:
          - Validator best practices: pos/how-to/validator/validator-best-practices.md
          - Using binaries: pos/how-to/validator/validator-binaries.md
          - Using Ansible: pos/how-to/validator/validator-ansible.md
          - Using packages: pos/how-to/validator/validator-packages.md
        - Operate validator nodes:
          - Next steps: pos/how-to/operate-validator-node/next-steps.md
          - Change owner and signer address: pos/how-to/operate-validator-node/change-signer-address.md
          - Top up Heimdall fee: pos/how-to/operate-validator-node/topup-heimdall-fee.md
          - Validator performance requirements: pos/how-to/operate-validator-node/validator-performance.md
        - Run an Erigon archive node: pos/how-to/erigon-archive-node.md
        - Troubleshoot nodes:
          - Technical FAQs: pos/how-to/troubleshoot/technical-faqs.md
          - Known issues and errors: pos/how-to/troubleshoot/known-issues.md
          - Reporting issues: pos/how-to/troubleshoot/reporting-issues.md
        - Reference:
          - Contracts:
            - Genesis contracts: pos/reference/contracts/genesis-contracts.md
            - Delegation via validator shares: pos/reference/contracts/delegation.md
            - Staking manager: pos/reference/contracts/stakingmanager.md 
          - Rewards and staking incentives: pos/reference/rewards.md
          - Default ports for nodes: pos/reference/port-management.md
          - Common commands: pos/reference/commands.md
          - Seed and bootnodes: pos/reference/seed-and-bootnodes.md
          - RPC endpoints: pos/reference/rpc-endpoints.md
          - PoS mainnet multi-signatures: pos/reference/commit-chain-multisigs.md
          - Mapped tokens: pos/reference/mapped-tokens.md
      - Governance:
        - Governance fundamentals: pos/governance/governance-fundamentals.md
        - Delegate tokens: pos/how-to/delegate.md
      - Architecture:
          - Overview: pos/architecture/overview.md
          - Bor:
            - Introduction: pos/architecture/bor/introduction.md
            - State sync: pos/architecture/bor/state-sync.md
            - Network configuration: pos/architecture/bor/network-config.md
          - Heimdall:
            - Introduction: pos/architecture/heimdall/introduction.md
            - Heimdall and Bor: pos/architecture/heimdall/heimdall-and-bor.md
            - Authentication: pos/architecture/heimdall/authentication.md
            - Key management: pos/architecture/heimdall/key-management.md
            - Validation: pos/architecture/heimdall/validation.md
            - Balance transfers: pos/architecture/heimdall/balance-transfers.md
            - Staking: pos/architecture/heimdall/staking.md
            - Checkpoints: pos/architecture/heimdall/checkpoints.md
            - Topup: pos/architecture/heimdall/topup.md
            - Chain management: pos/architecture/heimdall/chain-management.md
            - Governance: pos/architecture/heimdall/governance.md
      - Concepts: 
          - Tokens:
            - POL: pos/concepts/tokens/pol.md
            - MATIC: pos/concepts/tokens/matic.md
          - Transactions:
            - EIP-1559: pos/concepts/transactions/eip-1559.md
            - EIP-4337: pos/concepts/transactions/eip-4337.md
            - Meta transactions: pos/concepts/transactions/meta-transactions.md
  - Miden:
      - Miden: miden/index.md
      - Miden base: '!import https://github.com/0xPolygonMiden/miden-base?branch=main'
      - Miden client: '!import https://github.com/0xPolygonMiden/miden-client?branch=main'
      - Miden compiler: '!import https://github.com/0xPolygonMiden/compiler?branch=next'
  - Developer tools: 
      - Developer tools: tools/index.md
      - Start building:
        - Test token faucets: tools/gas/matic-faucet.md
        - Polygon Portal: tools/wallets/portal.md
        - MetaMask operations:
          - Overview: tools/wallets/metamask/overview.md
          - Create MetaMask wallet: https://support.metamask.io/getting-started/getting-started-with-metamask/
          - Add Polygon network:  tools/wallets/metamask/add-polygon-network.md
          - Configure custom tokens:  https://support.metamask.io/managing-my-tokens/custom-tokens/how-to-display-tokens-in-metamask/
          - Import accounts:  https://support.metamask.io/managing-my-wallet/accounts-and-addresses/how-to-import-an-account/
        - dApp building essentials:
          - Interact with a node RPC: tools/dApp-development/tutorials/access-node.md
        - Build smart contracts:
          - On PoS:
              - Hardhat: tools/dApp-development/common-tools/hardhat.md
              - Remix: tools/dApp-development/common-tools/remix.md
              - Replit: tools/dApp-development/common-tools/replit.md
          - On zkEVM:
              - Write a contract: zkEVM/how-to/write-contract.md
              - Deploy a contract with Foundry: zkEVM/how-to/using-foundry.md
              - Deploy a contract with Hardhat: zkEVM/how-to/using-hardhat.md
              - Verify a contract: zkEVM/how-to/verify-contract.md
        - Verify smart contracts:
          - OKX explorer:
            - Verify contract with API: https://www.oklink.com/docs/en/#on-chain-tools-contract-verification 
            - Verify contract with external plugins: https://www.oklink.com/docs/en/#on-chain-tools-contract-verification-plugins
        - Estimate gas fees: tools/gas/polygon-gas-station.md
        - dApp Launchpad:
          - Introduction: tools/dApp-development/launchpad/intro.md
          - Quickstart: tools/dApp-development/launchpad/quickstart.md
          - Frontend: tools/dApp-development/launchpad/frontend.md
          - Smart contracts: tools/dApp-development/launchpad/smart-contracts.md
          - Commands: tools/dApp-development/launchpad/commands.md
          - Contributing: tools/dApp-development/launchpad/contributing.md
          - Common pitfalls: tools/dApp-development/launchpad/common-pitfalls.md
        - Chain indexer framework:
          - Overview: tools/chain-indexer-framework/overview.md
          - Usage: tools/chain-indexer-framework/usage.md
        - Mint NFTs:
            - Venly NFT API: https://docs.venly.io/docs/nft-api-getting-started
            - Venly Zapier integration: https://docs.venly.io/docs/zapier-integration
      - Matic.js:
          - Get started:  tools/matic-js/get-started.md
          - POS:
              - POS client:  tools/matic-js/pos/client.md
              - API overview:  tools/matic-js/api-architecture.md
              - Setup:
                  - Ethers:  tools/matic-js/setup/ethers.md
                  - Web3js:  tools/matic-js/setup/web3js.md
              - Set proof API:  tools/matic-js/set-proof-api.md
              - Advanced:
                  - ABI manager:  tools/matic-js/advanced/abi-manager.md
                  - Exit util:  tools/matic-js/advanced/exit-util.md
                  - Plugin:  tools/matic-js/advanced/plugin.md
              - ERC20:
                  - Overview: tools/matic-js/pos/erc20/index.md
                  - approveMax:  tools/matic-js/pos/erc20/approve-max.md
                  - approve:  tools/matic-js/pos/erc20/approve.md
                  - deposit:  tools/matic-js/pos/erc20/deposit.md
                  - getAllowance:  tools/matic-js/pos/erc20/get-allowance.md
                  - getBalance:  tools/matic-js/pos/erc20/get-balance.md
                  - isWithdrawExited:  tools/matic-js/pos/erc20/is-withdraw-exited.md
                  - transfer:  tools/matic-js/pos/erc20/transfer.md
                  - withdrawExitFaster:  tools/matic-js/pos/erc20/withdraw-exit-faster.md
                  - withdrawExit:  tools/matic-js/pos/erc20/withdraw-exit.md
                  - withdrawStart:  tools/matic-js/pos/erc20/withdraw-start.md
              - ERC721:
                  - Overview:  tools/matic-js/pos/erc721/index.md
                  - approveAll:  tools/matic-js/pos/erc721/approve-all.md
                  - approve:  tools/matic-js/pos/erc721/approve.md
                  - depositMany:  tools/matic-js/pos/erc721/deposit-many.md
                  - deposit:  tools/matic-js/pos/erc721/deposit.md
                  - getAllTokens:  tools/matic-js/pos/erc721/get-all-tokens.md
                  - getTokenIdAtIndexForUser:  tools/matic-js/pos/erc721/get-token-id-at-index-for-user.md
                  - getTokensCount:  tools/matic-js/pos/erc721/get-tokens-count.md
                  - isApprovedAll:  tools/matic-js/pos/erc721/is-approved-all.md
                  - isApproved:  tools/matic-js/pos/erc721/is-approved.md
                  - isWithdrawExitedMany:  tools/matic-js/pos/erc721/is-withdraw-exited-many.md
                  - isWithdrawExited:  tools/matic-js/pos/erc721/is-withdraw-exited.md
                  - transfer:  tools/matic-js/pos/erc721/transfer.md
                  - withdrawExitFasterMany:  tools/matic-js/pos/erc721/withdraw-exit-faster-many.md
                  - withdrawExitFaster:  tools/matic-js/pos/erc721/withdraw-exit-faster.md
                  - withdrawExitMany:  tools/matic-js/pos/erc721/withdraw-exit-many.md
                  - withdrawExit:  tools/matic-js/pos/erc721/withdraw-exit.md
                  - withdrawStartMany:  tools/matic-js/pos/erc721/withdraw-start-many.md
                  - withdrawStartWithMetaData:  tools/matic-js/pos/erc721/withdraw-start-with-meta-data.md
                  - withdrawStart:  tools/matic-js/pos/erc721/withdraw-start.md
              - ERC1155:
                  - approveAllForMintable:  tools/matic-js/pos/erc1155/approve-all-for-mintable.md
                  - approveAll:  tools/matic-js/pos/erc1155/approve-all.md
                  - depositMany:  tools/matic-js/pos/erc1155/deposit-many.md
                  - deposit:  tools/matic-js/pos/erc1155/deposit.md
                  - getBalance:  tools/matic-js/pos/erc1155/get-balance.md
                  - index:  tools/matic-js/pos/erc1155/index.md
                  - isApprovedAll:  tools/matic-js/pos/erc1155/is-approved-all.md
                  - isWithdrawExitedMany:  tools/matic-js/pos/erc1155/is-withdraw-exited-many.md
                  - isWithdrawExited:  tools/matic-js/pos/erc1155/is-withdraw-exited.md
                  - transfer:  tools/matic-js/pos/erc1155/transfer.md
                  - withdrawExitFasterMany:  tools/matic-js/pos/erc1155/withdraw-exit-faster-many.md
                  - withdrawExitFaster:  tools/matic-js/pos/erc1155/withdraw-exit-faster.md
                  - withdrawExitMany:  tools/matic-js/pos/erc1155/withdraw-exit-many.md
                  - withdrawExit:  tools/matic-js/pos/erc1155/withdraw-exit.md
                  - withdrawStartMany:  tools/matic-js/pos/erc1155/withdraw-start-many.md
                  - withdrawStart:  tools/matic-js/pos/erc1155/withdraw-start.md
              - Common methods:
                  - Deposit ETH:  tools/matic-js/pos/deposit-ether.md
                  - isCheckPointed:  tools/matic-js/pos/is-check-pointed.md
                  - isDeposited:  tools/matic-js/pos/is-deposited.md
          - zkEVM:
              - zkEVM client:  tools/matic-js/zkevm/initialize.md
              - ERC20:  tools/matic-js/zkevm/erc20.md
              - Message passing: tools/matic-js/zkevm/message-passing.md
              - Common methods:  tools/matic-js/zkevm/common-methods.md
      - Third-party tools:
        - Tutorials: tools/dApp-development/third-party-tutorials.md
        - Data:
          - Alchemy subgraphs: https://docs.alchemy.com/docs/how-to-build-and-deploy-a-subgraph-on-polygon-zkevm-using-alchemy-subgraphs
          - Covalent: tools/data/covalent.md
          - DipDup: https://dipdup.io/docs/supported-networks/polygon
          - Envio: tools/data/envio.md
          - Flair: tools/data/flair.md
          - Moralis: tools/data/moralis.md
          - PARSIQ: tools/data/parsiq.md
          - SQD (Subsquid): tools/data/sqd.md
          - SubQuery: tools/data/subquery.md
        - Storage: 
          - IPFS: tools/storage/ipfs.md
          - Filecoin: tools/storage/filecoinhelpers.md
          - Crust network: tools/storage/crusthelpers.md
        - Oracles:
          - Getting started: tools/oracles/getting-started.md
          - API3: tools/oracles/api3.md
          - Bandchain: tools/oracles/bandchain.md
          - Band standard dataset: tools/oracles/bandstandarddataset.md
          - Chainlink: tools/oracles/chainlink.md
          - Chronicle: tools/oracles/chronicle.md
          - DIA: tools/oracles/diadataoracles.md
          - ORA: tools/oracles/ora.md
          - Pyth: tools/oracles/pyth.md
          - Razor: tools/oracles/razor.md
          - Supra: tools/oracles/supra.md
          - Tellor: tools/oracles/tellor.md
          - UMA optimistic oracle: tools/oracles/optimisticoracle.md
          - Umbrella: tools/oracles/umbrella.md
        - Wallets:
          - Getting started:  tools/wallets/getting-started.md
          - Venly:
              - Intro:  tools/wallets/venly/index.md
              - Create Venly wallet:  tools/wallets/venly/create-wallet.md
              - Venly wallet API:  tools/wallets/venly/wallet-api.md
              - Venly widget: tools/wallets/venly/venly-widget.md
          - Fortmatic: https://docs.fortmatic.com/   
          - Openfort: tools/wallets/openfort.md
          - Particle Network:  tools/wallets/particle-network.md
          - Portis:  tools/wallets/portis.md    
          - Torus:  tools/wallets/torus.md  
          - WalletConnect:  tools/wallets/walletconnect.md
          - Reown:
              - Intro: tools/wallets/reown.md
              - AppKit: tools/wallets/appkit.md
          - WalletKit:  tools/wallets/walletkit.md
        - Block explorers:
          - OKX explorer: https://www.okx.com/web3/explorer/polygon      
          - Polygon: https://polygonscan.com/ 
          - zkEVM: https://zkevm.polygonscan.com/
          - zkEVM testnet: https://cardona-zkevm.polygonscan.com/
  - Innovation & design:
      - Innovation & design: innovation-design/index.md
      - Welcome: innovation-design/welcome.md
      - Polygon type 1 prover:
          - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md
          - How to:
              - Run prover quickly: cdk/how-to/deploy-t1-prover.md
              - Deploy prover on devnet: cdk/how-to/deploy-t1-prover-devnet.md
          - Architecture:
              - Overview: cdk/architecture/type-1-prover/t1-architecture.md
              - Type 1 design challenges: cdk/architecture/type-1-prover/t1-design-challenge.md
              - Tests and proving costs: cdk/architecture/type-1-prover/testing-and-proving-costs.md
          - Specification:
              - CPU component: cdk/architecture/type-1-prover/t1-cpu-component.md
              - CTL protocol: cdk/architecture/type-1-prover/t1-ctl-protocol.md
              - Range checks: cdk/architecture/type-1-prover/t1-rangechecks.md
      - Plonky 2 & 3: innovation-design/plonky.md
      - Polygon protocols: innovation-design/polygon-protocols.md
      - Demystifying reorgs: https://polygon.technology/blog/reorgs-demystified-insights-from-monitoring-with-a-sensor-network
      - Security:
          - Overview: innovation-design/security/overview.md
          - Security areas:
            - Governance & management: innovation-design/security/governance.md
            - Risk management: innovation-design/security/risk.md
            - Human resources: innovation-design/security/hr.md
            - Infrastructure: innovation-design/security/infrastructure.md
            - Software development: innovation-design/security/sdlc.md
            - Smart contracts: innovation-design/security/smartcontracts.md
            - Vulnerability management: innovation-design/security/vulnerability.md
            - Security operations: innovation-design/security/operations.md
          - Security reports: innovation-design/security/reports.md
          - Bug bounty programs: innovation-design/security/bugbounty.md
          - Responsable disclosure: innovation-design/security/disclosure.md
          - Contact us: innovation-design/security/contact.md
  - Learn: '!import https://github.com/0xPolygon/devrel-docs?branch=main'

extra:
  generator: false
  analytics:
    provider: custom
    property: google    
  social:
    - icon: fontawesome/solid/circle-question
      link: https://support.polygon.technology/support/solutions
    - icon: fontawesome/solid/globe
      link: https://polygon.technology/
    - icon: fontawesome/brands/github
      link: https://github.com/0xPolygon/polygon-docs
  consent:
    title: Cookie consent
    description: >-
      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.

extra_css:
  - _site_essentials/stylesheets/extra.css
  - https://fonts.googleapis.com/icon?family=Material+Icons
  - https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/katex.min.css

markdown_extensions:
  - toc:
      permalink: true
      permalink_title: Link to this section
      toc_depth: 4
  - codehilite
  - markdown_include.include:
      base_path: docs
  - admonition
  - footnotes
  - def_list
  - attr_list
  #- md_in_html
  - abbr
  - pymdownx.tabbed
  - pymdownx.superfences
  - pymdownx.arithmatex:
      generic: true
  - pymdownx.betterem:
      smart_enable: all
  - pymdownx.keys
  - pymdownx.details
  - pymdownx.magiclink
  - pymdownx.mark
  - pymdownx.smartsymbols
  - pymdownx.tasklist:
      custom_checkbox: true
  - pymdownx.tilde
  - pymdownx.caret
  - meta
  - smarty
  - pymdownx.extra:
      pymdownx.superfences:
        custom_fences:
          - name: mermaid
            class: mermaid
            format: !!python/name:pymdownx.superfences.fence_code_format

plugins:
  - multirepo:
      cleanup: true
      keep_docs_dir: false
  - search
  - open-in-new-tab
  - redirects:
      redirect_maps:
        'docs/develop/network-details/network.md': 'cdk/index.md'
        'cdk/getting-started/index.md': 'cdk/getting-started/local-deployment.md'      
        'zkEVM/how-to/index.md': 'zkEVM/get-started/index.md'
        'cdk/concepts/index.md': 'cdk/concepts/layer2s.md'
        'tools/matic-js/installation.md': 'tools/matic-js/get-started.md'
        'pos/how-to/access-node.md': 'tools/dApp-development/tutorials/access-node.md'
        'pos/how-to/full-node/full-node-system-requirements.md': 'pos/how-to/prerequisites.md'
        'pos/how-to/validator/prerequisites.md': 'pos/how-to/prerequisites.md'
        'pos/how-to/validator/validator-system-requirements.md': 'pos/how-to/prerequisites.md'
        'pos/how-to/choose-node-type.md': 'pos/how-to/prerequisites.md'
        'pos/how-to/operate-validator-node/validator-best-practices.md': 'pos/how-to/validator/validator-best-practices.md'
        'pos/how-to/operate-validator-node/validator-commission-operations.md': 'pos/how-to/operate-validator-node/next-steps.md'
        'pos/how-to/operate-validator-node/validator-staking-operations.md': 'pos/how-to/operate-validator-node/next-steps.md'
        'pos/how-to/operating/validator-node/index.md': 'pos/how-to/operate-validator-node/next-steps.md'
        'cdk/version-matrix/index.md': 'index.md'

validation:
  absolute_links: warn
  anchors: warn

extra_javascript:
  - _site_essentials/js/mathjax.js
  - https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?version=4.8.0
  - https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js
  - https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/katex.min.js  
  - https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.16.7/contrib/auto-render.min.js