CDK - update overview

Author: EmpieichO

docs/cdk/overview.md

@@ -2,34 +2,49 @@
 comments: true
 ---
 
-Polygon Chain Development Kit (CDK) is a modular, open source, software toolkit for blockchain developers which supports the installation and configuration of a variety of chain architectures. 
+The Polygon Chain Development Kit (CDK) is a modular, open-source software toolkit that enables blockchain developers to configure ZK-powered chain architectures.
 
-Polygon CDK empowers developers to launch new L2 chains running Polygon zkEVM technology on Ethereum or, with optional validium networks and, in the future, transition existing layer 1 (L1) chains into custom ZK-EVM L2s. 
+With Polygon CDK, developers can launch new chains running the Polygon zkEVM protocol as Layer 2s on Ethereum.
 
-## CDK features
+Developers can configure ZK-powered rollups, validium networks, or even sovereign chains with their own tailored finality mechanisms.
 
-Polygon CDK provides the components necessary to build a layer 2 blockchain that is secure, scalable, and interoperable with other chains. Below are some of the key features of CDK:
+## Trustless finality
 
-- Security: CDK builds high-performance, high-security, scalable L2s that utilize the latest innovations in zero-knowledge technology such as [Plonky3](../innovation-design/plonky.md#plonky-3).
+Why does Polygon CDK focus on ZK-powered chains?
 
-- Scalability: Transaction fees are orders of magnitude lower than Ethereum and processed substantially faster. This enables a fast, cheap, and secure user experience unaffected by any high activity experienced on shared networks.
+The power of zero-knowledge technology is seen in enabling chains to achieve trustless finality, where chain users do not have to rely on a few individuals to confirm the finality of their transactions.
 
-- Modularity: CDK modular components allow developers to easily customize their L2 environment and build a chain that meets their specific needs.
+With Polygon CDK chains developers can first decide on how they want to configure proving and then choose the right CDK mode to build their chain.
+
+Polygon CDK therefore launches with the CDK rollup/validium mode used for configuring CDK components that run the Polygon zkEVM protocol.
+
+Crucial to the Polygon CDK is the type of ZK-proofs known as full execution proofs.
+
+### Full execution proofs
 
-- Interoperability: Opt-in to the [AggLayer](../agglayer/overview.md) to bootstrap your chain's ecosystem, enable cross-chain transactions expanding your reach and user base, while attracting users and liquidity from other established chains.
+CDK rollups and validiums utilize *full execution proofs* as part of their finality mechanisms.
 
-- Sovereignty: Maintain full control over your chain's revenue, governance, security, economic policies, and more.
+A *full execution proof* (FEP) is a zero-knowledge proof attesting to the correctness of the chain's full state transition.
 
-## Dive deeper into CDK
+For example, an FEP attests to the fact that the VM (such as the Polygon zkEVM, Succinct's zkVM, or MoveVM) has executed all state transitions in accordance with the specifications.
 
-Polygon CDK gives developers a toolkit for sovereign and modular chain design, without sacrificing future interoperability with other L2 chains. 
+A ZK-powered chain is therefore by definition an FEP chain.
 
-Chains built with Polygon CDK will have access to an ecosystem of (forthcoming) unified liquidity, optimized performance, and seamless asset transfers, all while prioritizing user experience and data security.
+## Polygon CDK benefits
+
+Polygon CDK provides the components necessary to build a layer 2 blockchain that is secure, scalable, and interoperable with other chains.
+
+- Security: CDK builds highly secure, scalable L2s that utilize the latest innovations in zero-knowledge technology.
+- High-performance: CDK Erigon implements fast-syncing Erigon clients that run the battle-tested Polygon zkEVM protocol.
+- Modularity: CDK modular components allow developers to easily customize their L2 environment and build a chain that meets their specific needs.
+- Interoperability: Opt-in to the [AggLayer](../agglayer/overview.md) to bootstrap your chain’s ecosystem, enable cross-chain transactions while expanding your reach, user base, and liquidity from other established chains.
+- Sovereignty: Maintain full control over your chain’s revenue, governance, security, economic policies, and more.
+- Low gas fees: Transaction fees are orders of magnitude lower than in Ethereum, and processed substantially faster. This enables a fast, cheap, and secure user experience unaffected by any high activity experienced on shared networks.
 
-### Where to now?
+### **Where to now?**
 
-- [Deploy a local CDK on Kurtosis](./getting-started/local-deployment.md). Follow the guide to deploy a CDK stack on your local machine.
+- [Deploy a local CDK on Kurtosis](../cdk/getting-started/local-deployment.md). Follow the guide to deploy a CDK stack on your local machine.
 
-- Check out the [concepts documentation](./concepts/layer2s.md) to understand the CDK at a high level.
+- Check out the [concepts documentation](../cdk/concepts/layer2s.md) to understand the CDK at a high level.
 
-- Have a look at the [CDK architecture docs](https://docs.polygon.technology/cdk/architecture/cdk-zkevm/) to understand the CDK's components and how they interact with each other.
+- Have a look at the [CDK architecture docs](../cdk/concepts/architecture.md) to understand the CDK’s components and how they interact with each other.