Refocus smart contracts overview on Solidity/REVM

Rewrite overview to position Polkadot Hub as a Solidity platform
with full Ethereum compatibility via REVM. De-prioritize PVM to
a brief note and remove ink! references.

Author: brunopgalvao

.ai/categories/basics.md

@@ -2224,49 +2224,48 @@ Page Title: Smart Contracts Overview
 
 - Source (raw): https://raw.githubusercontent.com/polkadot-developers/polkadot-docs/master/.ai/pages/smart-contracts-overview.md
 - Canonical (HTML): https://docs.polkadot.com/smart-contracts/overview/
-- Summary: Learn about smart contract development on Polkadot Hub with native PVM support, dual-VM execution, and seamless cross-chain capabilities.
+- Summary: Learn about smart contract development on Polkadot Hub with full Ethereum compatibility, Solidity support, and seamless cross-chain capabilities.
 
 # Smart Contracts on Polkadot Hub
 
 ## Introduction
 
-Polkadot Hub provides a production-ready smart contract platform that combines Ethereum compatibility with the performance and cross-chain capabilities of the Polkadot ecosystem. Developers can deploy smart contracts directly on Polkadot Hub while using familiar Ethereum tooling, workflows, and programming languages.
-
-Built with a dual-VM approach, Polkadot Hub offers two execution backends: REVM for unmodified EVM compatibility and native PVM for optimized computationally expensive workloads. This dual-VM architecture enables developers to migrate existing Ethereum contracts instantly or optimize for speed and efficiency with native execution.
+Polkadot Hub is a production-ready Solidity smart contract platform that brings full Ethereum compatibility to the Polkadot ecosystem. Deploy your existing Ethereum contracts without modifications, use familiar tools like Hardhat and Remix, and gain access to Polkadot's cross-chain capabilities.
 
 ## Why Build on Polkadot Hub
 
-### Ethereum Compatibility
+### Full Ethereum Compatibility
 
-Deploy existing Ethereum contracts with zero modifications while maintaining full compatibility with your existing development stack:
+Polkadot Hub runs the REVM (Rust Ethereum Virtual Machine) backend, providing complete EVM compatibility. Your Solidity contracts work exactly as they do on Ethereum:
 
+- **Zero modifications required**: Deploy existing Ethereum contracts directly without any code changes.
 - **Complete JSON-RPC API support**: Use MetaMask, Hardhat, Remix, Foundry, and all standard Ethereum tooling.
 - **Standard libraries**: Integrate Ethers.js, Web3.js, Viem, Wagmi, and Web3.py without changes.
-- **Solidity development**: Write contracts in Solidity or migrate existing code directly.
+- **Solidity development**: Write contracts in Solidity using the same patterns and best practices you already know.
 - **Familiar workflows**: Maintain your existing deployment, testing, and monitoring processes.
 
-### Performance Options
-
-Choose between two execution backends:
+### Cross-Chain Capabilities
 
-- **REVM**: Run unmodified Ethereum contracts with full EVM/Ethereum compatibility.
-- **PVM**: Compile to optimized RISC-V bytecode for enhanced performance and lower fees while keeping Ethereum-compatibility.
+Smart contracts on Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling:
 
-Both backends share the same RPC interface and tooling support, allowing seamless transitions. In addition, smart contracts can interact with Polkadot native services via [precompile contracts](/smart-contracts/precompiles/){target=\_blank}.
+- Token transfers across parachains
+- Remote execution on other chains
+- Cross-chain composability without bridges or intermediaries
 
-### Cross-VM  & Cross-Chain Capabilities
+### Native Polkadot Integration
 
-Smart contracts written for one VM (for example, EVM) can interact directly with other smart contracts written for the RISC-V PVM, and back. This allows to use full EVM compatible contracts but extend to heavy/complex execution workloads to the PVM RISC-V backend.
+Access Polkadot-native functionality directly from your Solidity contracts via [precompiles](/smart-contracts/precompiles/){target=\_blank}, including asset management, staking operations, and cross-chain messaging.
 
-Furthermore, all smart contracts in Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling token transfers, remote execution, and cross-chain composability without bridges or intermediaries.
+!!! note
+    Polkadot Hub also supports PVM (Polkadot Virtual Machine) as an alternative execution backend for advanced use cases.
 
 ## Other Smart Contract Environments
 
-Beyond Polkadot Hub's native PVM support, the ecosystem offers two main alternatives for smart contract development:
-
-- **EVM-compatible parachains**: Provide access to Ethereum's extensive developer ecosystem, smart contract portability, and established tooling like Hardhat, Remix, Foundry, and OpenZeppelin. The main options include Moonbeam (the first full Ethereum-compatible parachain serving as an interoperability hub), Astar (featuring dual VM support for both EVM and WebAssembly contracts), and Acala (DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives).
+Beyond Polkadot Hub, the ecosystem offers EVM-compatible parachains that provide access to Ethereum's extensive developer ecosystem with established tooling like Hardhat, Remix, Foundry, and OpenZeppelin:
 
-- **Rust (ink!)**: ink! is a Rust-based framework that can compile to PVM. It uses [`#[ink(...)]`](https://use.ink/docs/v6/macros-attributes/){target=\_blank} attribute macros to create Polkadot SDK-compatible PVM bytecode, offering strong memory safety from Rust, an advanced type system, high-performance PVM execution, and platform independence with sandboxed security.
+- **Moonbeam**: The first full Ethereum-compatible parachain, serving as an interoperability hub.
+- **Astar**: Features dual VM support for both EVM and WebAssembly contracts.
+- **Acala**: DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives.
 
 ## Next Steps
 

.ai/categories/dapps.md

@@ -3405,49 +3405,48 @@ Page Title: Smart Contracts Overview
 
 - Source (raw): https://raw.githubusercontent.com/polkadot-developers/polkadot-docs/master/.ai/pages/smart-contracts-overview.md
 - Canonical (HTML): https://docs.polkadot.com/smart-contracts/overview/
-- Summary: Learn about smart contract development on Polkadot Hub with native PVM support, dual-VM execution, and seamless cross-chain capabilities.
+- Summary: Learn about smart contract development on Polkadot Hub with full Ethereum compatibility, Solidity support, and seamless cross-chain capabilities.
 
 # Smart Contracts on Polkadot Hub
 
 ## Introduction
 
-Polkadot Hub provides a production-ready smart contract platform that combines Ethereum compatibility with the performance and cross-chain capabilities of the Polkadot ecosystem. Developers can deploy smart contracts directly on Polkadot Hub while using familiar Ethereum tooling, workflows, and programming languages.
-
-Built with a dual-VM approach, Polkadot Hub offers two execution backends: REVM for unmodified EVM compatibility and native PVM for optimized computationally expensive workloads. This dual-VM architecture enables developers to migrate existing Ethereum contracts instantly or optimize for speed and efficiency with native execution.
+Polkadot Hub is a production-ready Solidity smart contract platform that brings full Ethereum compatibility to the Polkadot ecosystem. Deploy your existing Ethereum contracts without modifications, use familiar tools like Hardhat and Remix, and gain access to Polkadot's cross-chain capabilities.
 
 ## Why Build on Polkadot Hub
 
-### Ethereum Compatibility
+### Full Ethereum Compatibility
 
-Deploy existing Ethereum contracts with zero modifications while maintaining full compatibility with your existing development stack:
+Polkadot Hub runs the REVM (Rust Ethereum Virtual Machine) backend, providing complete EVM compatibility. Your Solidity contracts work exactly as they do on Ethereum:
 
+- **Zero modifications required**: Deploy existing Ethereum contracts directly without any code changes.
 - **Complete JSON-RPC API support**: Use MetaMask, Hardhat, Remix, Foundry, and all standard Ethereum tooling.
 - **Standard libraries**: Integrate Ethers.js, Web3.js, Viem, Wagmi, and Web3.py without changes.
-- **Solidity development**: Write contracts in Solidity or migrate existing code directly.
+- **Solidity development**: Write contracts in Solidity using the same patterns and best practices you already know.
 - **Familiar workflows**: Maintain your existing deployment, testing, and monitoring processes.
 
-### Performance Options
-
-Choose between two execution backends:
+### Cross-Chain Capabilities
 
-- **REVM**: Run unmodified Ethereum contracts with full EVM/Ethereum compatibility.
-- **PVM**: Compile to optimized RISC-V bytecode for enhanced performance and lower fees while keeping Ethereum-compatibility.
+Smart contracts on Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling:
 
-Both backends share the same RPC interface and tooling support, allowing seamless transitions. In addition, smart contracts can interact with Polkadot native services via [precompile contracts](/smart-contracts/precompiles/){target=\_blank}.
+- Token transfers across parachains
+- Remote execution on other chains
+- Cross-chain composability without bridges or intermediaries
 
-### Cross-VM  & Cross-Chain Capabilities
+### Native Polkadot Integration
 
-Smart contracts written for one VM (for example, EVM) can interact directly with other smart contracts written for the RISC-V PVM, and back. This allows to use full EVM compatible contracts but extend to heavy/complex execution workloads to the PVM RISC-V backend.
+Access Polkadot-native functionality directly from your Solidity contracts via [precompiles](/smart-contracts/precompiles/){target=\_blank}, including asset management, staking operations, and cross-chain messaging.
 
-Furthermore, all smart contracts in Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling token transfers, remote execution, and cross-chain composability without bridges or intermediaries.
+!!! note
+    Polkadot Hub also supports PVM (Polkadot Virtual Machine) as an alternative execution backend for advanced use cases.
 
 ## Other Smart Contract Environments
 
-Beyond Polkadot Hub's native PVM support, the ecosystem offers two main alternatives for smart contract development:
-
-- **EVM-compatible parachains**: Provide access to Ethereum's extensive developer ecosystem, smart contract portability, and established tooling like Hardhat, Remix, Foundry, and OpenZeppelin. The main options include Moonbeam (the first full Ethereum-compatible parachain serving as an interoperability hub), Astar (featuring dual VM support for both EVM and WebAssembly contracts), and Acala (DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives).
+Beyond Polkadot Hub, the ecosystem offers EVM-compatible parachains that provide access to Ethereum's extensive developer ecosystem with established tooling like Hardhat, Remix, Foundry, and OpenZeppelin:
 
-- **Rust (ink!)**: ink! is a Rust-based framework that can compile to PVM. It uses [`#[ink(...)]`](https://use.ink/docs/v6/macros-attributes/){target=\_blank} attribute macros to create Polkadot SDK-compatible PVM bytecode, offering strong memory safety from Rust, an advanced type system, high-performance PVM execution, and platform independence with sandboxed security.
+- **Moonbeam**: The first full Ethereum-compatible parachain, serving as an interoperability hub.
+- **Astar**: Features dual VM support for both EVM and WebAssembly contracts.
+- **Acala**: DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives.
 
 ## Next Steps
 

.ai/categories/infrastructure.md

@@ -6773,49 +6773,48 @@ Page Title: Smart Contracts Overview
 
 - Source (raw): https://raw.githubusercontent.com/polkadot-developers/polkadot-docs/master/.ai/pages/smart-contracts-overview.md
 - Canonical (HTML): https://docs.polkadot.com/smart-contracts/overview/
-- Summary: Learn about smart contract development on Polkadot Hub with native PVM support, dual-VM execution, and seamless cross-chain capabilities.
+- Summary: Learn about smart contract development on Polkadot Hub with full Ethereum compatibility, Solidity support, and seamless cross-chain capabilities.
 
 # Smart Contracts on Polkadot Hub
 
 ## Introduction
 
-Polkadot Hub provides a production-ready smart contract platform that combines Ethereum compatibility with the performance and cross-chain capabilities of the Polkadot ecosystem. Developers can deploy smart contracts directly on Polkadot Hub while using familiar Ethereum tooling, workflows, and programming languages.
-
-Built with a dual-VM approach, Polkadot Hub offers two execution backends: REVM for unmodified EVM compatibility and native PVM for optimized computationally expensive workloads. This dual-VM architecture enables developers to migrate existing Ethereum contracts instantly or optimize for speed and efficiency with native execution.
+Polkadot Hub is a production-ready Solidity smart contract platform that brings full Ethereum compatibility to the Polkadot ecosystem. Deploy your existing Ethereum contracts without modifications, use familiar tools like Hardhat and Remix, and gain access to Polkadot's cross-chain capabilities.
 
 ## Why Build on Polkadot Hub
 
-### Ethereum Compatibility
+### Full Ethereum Compatibility
 
-Deploy existing Ethereum contracts with zero modifications while maintaining full compatibility with your existing development stack:
+Polkadot Hub runs the REVM (Rust Ethereum Virtual Machine) backend, providing complete EVM compatibility. Your Solidity contracts work exactly as they do on Ethereum:
 
+- **Zero modifications required**: Deploy existing Ethereum contracts directly without any code changes.
 - **Complete JSON-RPC API support**: Use MetaMask, Hardhat, Remix, Foundry, and all standard Ethereum tooling.
 - **Standard libraries**: Integrate Ethers.js, Web3.js, Viem, Wagmi, and Web3.py without changes.
-- **Solidity development**: Write contracts in Solidity or migrate existing code directly.
+- **Solidity development**: Write contracts in Solidity using the same patterns and best practices you already know.
 - **Familiar workflows**: Maintain your existing deployment, testing, and monitoring processes.
 
-### Performance Options
-
-Choose between two execution backends:
+### Cross-Chain Capabilities
 
-- **REVM**: Run unmodified Ethereum contracts with full EVM/Ethereum compatibility.
-- **PVM**: Compile to optimized RISC-V bytecode for enhanced performance and lower fees while keeping Ethereum-compatibility.
+Smart contracts on Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling:
 
-Both backends share the same RPC interface and tooling support, allowing seamless transitions. In addition, smart contracts can interact with Polkadot native services via [precompile contracts](/smart-contracts/precompiles/){target=\_blank}.
+- Token transfers across parachains
+- Remote execution on other chains
+- Cross-chain composability without bridges or intermediaries
 
-### Cross-VM  & Cross-Chain Capabilities
+### Native Polkadot Integration
 
-Smart contracts written for one VM (for example, EVM) can interact directly with other smart contracts written for the RISC-V PVM, and back. This allows to use full EVM compatible contracts but extend to heavy/complex execution workloads to the PVM RISC-V backend.
+Access Polkadot-native functionality directly from your Solidity contracts via [precompiles](/smart-contracts/precompiles/){target=\_blank}, including asset management, staking operations, and cross-chain messaging.
 
-Furthermore, all smart contracts in Polkadot Hub can interact with any service in the Polkadot ecosystem through [XCM](/smart-contracts/precompiles/xcm/){target=\_blank}, enabling token transfers, remote execution, and cross-chain composability without bridges or intermediaries.
+!!! note
+    Polkadot Hub also supports PVM (Polkadot Virtual Machine) as an alternative execution backend for advanced use cases.
 
 ## Other Smart Contract Environments
 
-Beyond Polkadot Hub's native PVM support, the ecosystem offers two main alternatives for smart contract development:
-
-- **EVM-compatible parachains**: Provide access to Ethereum's extensive developer ecosystem, smart contract portability, and established tooling like Hardhat, Remix, Foundry, and OpenZeppelin. The main options include Moonbeam (the first full Ethereum-compatible parachain serving as an interoperability hub), Astar (featuring dual VM support for both EVM and WebAssembly contracts), and Acala (DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives).
+Beyond Polkadot Hub, the ecosystem offers EVM-compatible parachains that provide access to Ethereum's extensive developer ecosystem with established tooling like Hardhat, Remix, Foundry, and OpenZeppelin:
 
-- **Rust (ink!)**: ink! is a Rust-based framework that can compile to PVM. It uses [`#[ink(...)]`](https://use.ink/docs/v6/macros-attributes/){target=\_blank} attribute macros to create Polkadot SDK-compatible PVM bytecode, offering strong memory safety from Rust, an advanced type system, high-performance PVM execution, and platform independence with sandboxed security.
+- **Moonbeam**: The first full Ethereum-compatible parachain, serving as an interoperability hub.
+- **Astar**: Features dual VM support for both EVM and WebAssembly contracts.
+- **Acala**: DeFi-focused with enhanced Acala EVM+ offering advanced DeFi primitives.
 
 ## Next Steps