fix(docs-site): add some content in Gwyneth page

packages/docs-site/src/content/docs/taiko-gwyneth-protocol/what-is-taiko-gwyneth.mdx

@@ -11,31 +11,56 @@ Based rollups are arguably the **most effective, decentralized, and Ethereum-ali
 
 ## Introducing Taiko Gwyneth
 
-Taiko Gwyneth is a **horizontal Ethereum scaling solution** ([as opposed to vertical](/taiko-alethia-protocol/protocol-design/inception-layers)), combining
-based sequencing, real-time proving, and booster functionality. Gwyneth creates a **uniform environment** that can scale Ethereum in a convenient way while solving liquidity fragmentation.
+Taiko Gwyneth is a **horizontal Ethereum scaling solution** ([as opposed to vertical](/taiko-alethia-protocol/protocol-design/inception-layers)), combining based sequencing, real-time proving, and booster functionality. Gwyneth creates a **uniform execution environment** that scales Ethereum while solving liquidity fragmentation across multiple rollups.
 
 ### Why Taiko Gwyneth?
 
-- **Simple**: For rollups that are Ethereum equivalent, the only additional functionality to be a booster rollup is to support the required precompiles.
-- **Scalabe**: Similar to adding extra servers to a server farm, the only thing required is adding an extra rollup and all applications can take advantage of the increased scalability, no extra steps required.
-- **Seamless**: L1 and all L2s look and feel exactly the same for users. A single address everywhere, automatically, no matter if it’s an EOA or smart wallet. Combine a booster rollup with a based rollup and a way to do atomic cross-rollup transactions between all L2s in this booster network, and we should get very close to the feeling of a single scalable chain for users.
-- **Sovereign**: No need for rollup specific wrapper contracts for things like tokens, each smart contract runs on L2 exactly the same way on L1 in all cases, the original developer remains fully in control.
-- **Secure**: No more rollup specific implementations to bridge functionality over from L1 also means no single point of failure anymore (like bridges with a shared codebase where a single hack can be catastrophic). The security is now per dapp.
-- **Easy (for devs)**: No need to deploy to all L2s that need support for the dapp. Just deploy your smart contracts to L1 and you’re done. Each dapp is multi-rollup out of the box. Rolling out updates can now also be done in a single place, with all L2s automatically following the the latest version on L1.
+- **Ethereum-equivalent:** Each Gwyneth L2 functions like Ethereum, maintaining compatibility with existing dApps and tooling.
+- **Scalable:** Developers can launch new rollups in the Gwyneth network as needed, increasing capacity without disrupting existing applications.
+- **Seamless UX:** Users experience L1 and L2s as a unified system, retaining the same addresses across chains.
+- **Synchronous composability:** Contracts on different Gwyneth L2s interact atomically via cross-chain `DELEGATECALL`.
+- **Decentralized:** Built on a network of L2s that inherit Ethereum’s decentralization without reliance on centralized sequencers.
+- **Secure execution:** Preconfirmations and real-time multi-proving ensure reliable execution and prevent MEV attacks.
+- **Based Preconfirmations:** Transactions gain near-instant inclusion guarantees through preconfirmers.
 
-### Key Concept in Taiko Gwyneth
+### Key Concepts in Taiko Gwyneth
 
-- [Based booster rollup](/taiko-gwyneth-protocol/booster-rollups): Native L1 scaling via Ethereum-equivalent L2.
+- **Based Booster Rollups:** L2s that inherit L1 state and function as execution shards of Ethereum.
+- **Synchronous Composability:** Contracts on different Gwyneth L2s interact atomically via cross-chain calls.
+- **Real-Time Multi-Prover System:** L2 state proofs are submitted in real-time for immediate verification.
+- **Based Preconfirmations:** Transactions receive fast execution guarantees, significantly improving UX.
 
 ## How Taiko Gwyneth Works
 
-Taiko Gwyneth requires a single precompile **XCALLOPTIONS** to function. The precompile is structured as follows:
+### **Synchronous Composability and L2 ↔ L2 Calls**
+
+Gwyneth introduces a new **XCALLOPTIONS** precompile that enables seamless cross-rollup execution.
 
 <Code code='
 XCALLOPTIONS(version: uint16, chainID: uint, sandbox: bool, txOrigin: address,
 msgSender: address, blockHash: bytes32, proof: bytes)
-  ' lang="solidity" title="XCALLOPTIONS Context" />
+ 'lang="solidity" title="XCALLOPTIONS Context" />
+
+- **Cross-rollup transactions:** The precompile allows contracts to specify the target chain for the next `CALL`, enabling direct state access across rollups.
+- **Proof system:** Execution proofs ensure correctness when modifying states across chains.
+- **State updates:** Each rollup maintains its own execution state but verifies interactions with other L2s through Merkle proofs.
+
+### **Booster Functionality and L1 Scaling**
+
+- **Unified L1 State:** Any Gwyneth L2 can read and interact with Ethereum’s L1 contracts without extra bridging logic.
+- **Low-cost Execution:** Transactions use L2 gas fees while still accessing L1, reducing costs for users and developers.
+- **Optimized Data Availability:** L2s post only necessary state deltas to L1, reducing congestion and storage costs.
+
+### **Real-Time Proving and Based Preconfirmations**
+
+To maintain high throughput, Taiko Gwyneth leverages **real-time proving** with multiple proof types:
+
+- **TEE-Based Provers:** Fast hardware-based proofs using SGX, AMD SEV, and Nitro enclaves.
+- **AVS Provers:** Distributed attestation systems that ensure correctness via economic incentives.
+- **ZK Proofs (Future Integration):** While real-time ZK proving is not feasible today, Gwyneth is designed to integrate them as they mature.
+
+Preconfirmations enhance UX by allowing transactions to be executed and confirmed near-instantly before final L1 settlement.
 
-This call context modifies the behavior of the existing CALL/DELEGATECALL/STATICCALL opcodes.
+## Conclusion
 
-This precompile sets additional CALL parameters in the current frame of execution which stick around until the next CALL, basically extending the CALL opcode without changing the inputs. When that call has processed, the values are reset.
+Taiko Gwyneth is designed to scale Ethereum efficiently while preserving its security, decentralization, and user experience. With booster rollups, real-time proving, and preconfirmations, it enables synchronous execution across multiple L2s, creating a **seamless and scalable Ethereum-native rollup ecosystem**.