Polygon Knowledge Layer
Home
Initializing search
Polygon Knowledge Layer
Home
CDK
zkEVM
PoS
Miden
Developer tools
Innovation & design
Polygon Knowledge Layer
Polygon Knowledge Layer
Home
CDK
CDK
Overview
Version compatibility matrix
Build
Build
Deploy and manage a CDK stack
Deploy and manage a CDK stack
Deploy the CDK stack
Set up a permissionless node
Observability
Breakdown the deployment
How to
How to
Migrate
Migrate
Fork id 7 to 9
General guide for partners
Mint, bridge, and use tokens
Integrate a DAC
Manage allowlists with policies
Quickly test a running stack
Connect to CDK testnets
Architecture
Architecture
CDK rollup
CDK validium
Unified bridge - STB
Specification
Specification
Validium vs rollup
Glossary
Glossary
Additional resources
Additional resources
Third-party guides
CDK repos
zkEVM
zkEVM
Overview
Build
Build
Quick start
Setup nodes
Setup nodes
Setup local zkNode
Setup production zkNode
Deploy zkEVM
Deploy zkEVM
Introduction
Environment overview
Prerequisites
Install dependencies
Create wallets
Configure node deployment
Configure prover
Start node
Start services
Sync state with snapshots
Historical data
Architecture high-level
Architecture high-level
Overview
Smart contracts
Smart contracts
Overview
Main contracts
Consensus contracts - sequencing
Bridging
Exit roots
Consensus contracts - verification
API
API
PolygonRollupManager.sol
PolygonZkEVMBridgeV2.sol
PolygonZkEVMGlobalExitRootV2.sol
Consensus
Consensus
Data committee
Data committee
CDKDataCommittee.sol
PolygonDataComittee.sol
Validium
Validium
PolygonDataCommittee.sol
PolygonValidiumEtrog.sol
Migration
Migration
PolygonRollupBaseEtrogNoGap.sol
PolygonValidiumStorageMigration.sol
ZkEVM
ZkEVM
PolygonZkEVMEtrog.sol
PolygonZkEVMExistentEtrog.sol
PolygonZkEVMV2.sol
PolygonZkEVMV2Existent.sol
Lib
Lib
DepositContractBase.sol
DepositContractLib.sol
DepositContractV2.sol
PolygonAccessControlUpgradeable.sol
PolygonRollupBaseEtrog.sol
PolygonTransparentProxy.sol
PolygonZkEVMGlobalExitRootBaseStorage.sol
Utils
Utils
ClaimCompressor.sol
Addresses
Architecture low-level
Architecture low-level
Upgrades
Upgrades
Etrog upgrade
Effective gas price
Effective gas price
Effective gas price strategy
User transaction flow
User transaction flow
RPC transaction flow
Sequencer transaction flow
Implementing EGP strategy
Transaction prioritization
zkEVM protocol
zkEVM protocol
State management
Transaction life cycle
Transaction life cycle
Submit transactions
Transaction execution
Transaction batching
Batch sequencing
Batch aggregation
Sequencing batches
Incentive mechanism
Protocol upgradability
Admin role and governance
Upgrade process
Security council
Malfunction resistance
Malfunction resistance
Force batches
Force verification
Emergency state
Unified bridge
Unified bridge
History of the unified bridge
The rollup manager
Sequencing and verification flows
Updating rollups
Global exit trees
Cross-chain exchanges
zkNode
Data streamer
Data streamer
Overall design
Data streamer protocols
Bookmarks
Protocol messages
Stream file
How rollbacks work
The proving system
The proving system
Introduction
Executor
Polynomial identity language
Execution trace design
Selector columns
zkEVM and execution traces
Using lookup tables
Recapitulation
zkProver
zkProver
Main state machine
Main state machine
As a processor
STARK recursion
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
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
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
Specification
Polynomial Identity Language
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
zkASM
Basic Syntax
Examples
EVM vs. zkEVM
API
API
JSON RPC endpoints
Check transaction status
Concepts
Concepts
EVM basics
Sparse merkle trees
Sparse merkle trees
Merkle trees
Constructing simple SMTs
SMT concepts
Operations on SMTs
mFibonnaci state machine
mFibonnaci state machine
Design approach
An example
Commitment scheme
Verification scheme
PIL-STARK process
PIL-STARK demo
Generic state machine
Generic state machine
Generic SM introduction
Execution trace
Ending programs
Program counter
Plookup
CIRCOM
Troubleshooting
Troubleshooting
Disclosures
PoS
PoS
Overview
Get started
Get started
Building on Polygon
Becoming a validator
Builder how-tos
Builder how-tos
Bridge layers
Bridge layers
Ethereum-Polygon
Ethereum-Polygon
Ethereum to MATIC
MATIC to Ethereum
Submit mapping request
L1-L2 communication
L1-L2 communication
State transfer
Integrate Polygon DID
Node how-tos
Node how-tos
Delegate tokens
Sync node using snapshots
Run a validator node
Run a validator node
System requirements
Prerequisites
Using binaries
Using Ansible
Using packages
Operate validator nodes
Operate validator nodes
Validator best practices
Stake tokens
Set commission rate
Change signer address
Top up Heimdall fee
Validator performance requirements
Run a full node
Run a full node
System requirements
Using binaries
Using Docker
Using Ansible
Using packages
Using GCP
Run an access node
Run an Erigon archive node
Troubleshoot nodes
Troubleshoot nodes
Technical FAQs
Known issues and errors
Reporting issues
Governance
Governance
Governance fundamentals
Architecture
Architecture
Bor
Bor
State sync
Network configuration
Commands
Heimdall
Heimdall
Heimdall and Bor
Authentication
Key management
Validation
Balance transfers
Staking
Checkpoints
Topup
Chain management
Governance
Reference
Reference
Contracts
Contracts
Genesis contracts
Delegation via validator shares
Staking manager
Rewards and staking incentives
Default ports for nodes
Common commands
Node errors
RPC endpoints
PoS mainnet multi-signatures
Mapped tokens
Concepts
Concepts
Tokens
Tokens
POL
MATIC
Transactions
Transactions
EIP-1559
EIP-4337
Meta-transactions
Miden
Miden