Stack section (#1564)

* init

* cont

* Delete components/Starknet/modules/architecture-and-concepts/pages/stack/overview.adoc

* Update index.adoc

* Update nav.adoc

* Update provers-overview.adoc

* cont

Author: LandauRaz

components/Starknet/modules/ROOT/pages/index.adoc

@@ -11,7 +11,9 @@ If you're completely new to Starknet or its programming language, https://www.ca
 
 🦮 Go to _Guides_ to keep talking to a minimum and learn by doing 
 
-🏛️ Go to _Architecture_ to dive deep into Starknet's inner workings 
+🥞 Go to Stack to break down Starknet's architecture layer by layer
+
+🚦 Go to _Protocol_ to learn about Starknet's unique features and design
 
 🛠️ Go to _Tooling_ to familiarize yourself with Starknet's toolchain
 

components/Starknet/modules/architecture-and-concepts/nav.adoc

@@ -1,12 +1,8 @@
-* Architecture
-    ** Core topics 
-        *** Accounts
-            **** xref:accounts/introduction.adoc[What is an account?]
-            **** xref:accounts/approach.adoc[Starknet's account interface]
-            **** xref:accounts/account-functions.adoc[Account interface function reference]
-            **** xref:accounts/deploying-new-accounts.adoc[Deploying new accounts]
-            **** xref:accounts/universal-deployer.adoc[Universal Deployer Contract]
-        *** Contracts
+* Stack
+    ** Core components
+        *** xref:provers-overview.adoc[SHARP]
+        *** xref:network-architecture/os.adoc[SNOS]
+        *** Smart contracts
             **** xref:smart-contracts/contract-classes.adoc[Contract classes and instances]
             **** xref:smart-contracts/class-hash.adoc[Class hash]
             **** xref:smart-contracts/compiled-class-hash.adoc[Compiled class hash]
@@ -18,17 +14,25 @@
             **** xref:smart-contracts/serialization-of-cairo-types.adoc[Serialization of Cairo types]
             **** xref:smart-contracts/system-calls-cairo1.adoc[System calls]
             **** xref:smart-contracts/execution-info.adoc[Execution information for the current block]
+    ** Additional components
+        *** xref:starkgate:architecture.adoc[StarkGate]
+        *** xref:accounts/universal-deployer.adoc[Universal Deployer Contract]
+* Protocol
+    ** Core concepts
+        *** Account
+            **** xref:accounts/introduction.adoc[What is an account?]
+            **** xref:accounts/approach.adoc[Starknet's account interface]
+            **** xref:accounts/account-functions.adoc[Account interface function reference]
+            // **** xref:accounts/deploying-new-accounts.adoc[Deploying new accounts]
         *** Transactions
             **** xref:network-architecture/transaction-life-cycle.adoc[Transaction lifecycle]
             **** xref:network-architecture/transactions.adoc[Transaction types]
             **** xref:network-architecture/block-structure.adoc[]
-    ** Additional topics
+    ** Additional concepts
             *** xref:cryptography.adoc[Cryptography]
             *** xref:network-architecture/fee-mechanism.adoc[Fee mechanism]
             *** xref:network-architecture/messaging-mechanism.adoc[L1-L2 messaging]
             *** xref:network-architecture/data-availability.adoc[Data availability]
-            *** xref:network-architecture/os.adoc[SNOS]
             *** xref:staking.adoc[Staking]
             *** xref:network-architecture/starknet-state.adoc[State]
-            *** xref:starkgate:architecture.adoc[StarkGate]
-            *** xref:economics-of-starknet.adoc[Tokenomics]
+            *** xref:economics-of-starknet.adoc[Tokenomics]

components/Starknet/modules/architecture-and-concepts/pages/provers-overview.adoc

@@ -1,8 +1,8 @@
 [id="provers"]
-= Provers
-:down_arrow: ￬
+= The Shared Prover (SHARP)
 
-The only Prover in use on Starknet as of this writing is SHARP.
+
+== Introduction
 
 SHARP is like public transportation for proofs on Starknet, aggregating multiple Cairo programs to save costs and boost efficiency. It uses recursive proofs, enabling parallelization and optimization, making it more affordable for all users. Critical services like the gateway, validator, and Prover work together with a stateless design for flexibility. SHARP’s adoption by StarkEx and Starknet highlights its significance and potential for future optimization.