update miden docs

Author: kmurphypolygon

docs/img/miden/network/Architecture_Overview.svg

@@ -58,7 +58,7 @@
    </div>
    <div class="grid-container">
       <div class="grid-item">
-         <a href="./introduction/introduction">
+         <a href="./introduction/">
             <div class="product-list-item-header">
                <div class="feature-card-heading">zkRollup docs</div>
             </div>

docs/miden/index.md

@@ -1,32 +1,37 @@
-# Polygon Miden
+!!! warning
+    - Polygon Miden is in development.
+    - The documentation is also work in progress.  
 
-> *This documentation is still Work In Progress. Some topics have been discussed in greater depth, while others require additional clarification. Sections of this documentation might later be reorganized in order to achieve a better flow.*
+## Welcome to Polygon Miden
 
-## Welcome to the Polygon Miden Documentation
 Polygon Miden is a zkRollup for high-throughput and private applications. Users can create zero-knowledge proofs of their own state changes, and the Miden network verifies. It is expected to launch a public testnet in Q1 2024.
 
 This documentation explains how to develop on Miden. Furthermore, it explains the Miden architecture and concepts, the network and its components, and the underlying cryptographic primitives.
 
 If you want to join the technical discussion, please check out
 
-* the [Discord](https://discord.gg/0xpolygondevs)
-* the [Repo](https://github.com/0xPolygonMiden)
-* the [Roadmap](../roadmap)  
+* the [Discord](https://discord.gg/0xpolygondevs).
+* the [Repo](https://github.com/0xPolygonMiden).
+* the [Roadmap](../roadmap).  
 
 ## Miden creates a new design space secured by Ethereum
+
 Our goal is to not only scale Ethereum but to extend it. Rollups - secured by Ethereum - can be new design spaces and even experimental. This is the place to innovate. The base layer, however, should stay conservative and only slowly evolve to ensure the required safety and stability.
 
 Like other rollups, we scale Ethereum and inherit its security. We want to provide a safe and decentralized environment for composable smart contracts.
 
 Unlike most other rollups, Polygon Miden prioritizes ZK-friendliness over EVM compatibility. It also uses a novel, actor-based state model to exploit the full power of a ZK-centric design. These design choices allow Polygon Miden to extend Ethereum’s feature set. These features allow developers to create applications currently infeasible on EVM-like systems.
 
 ## Benefits of Polygon Miden
-* Ethereum security
-* Developers can build applications infeasible on other systems, e.g.
-  * **onchain order book exchange** due to parallel tx exectuion and updatable transactions
-  * **complex, incomplete information games** due to client-side proving and cheap complex computations
-  * **safe wallets** due to assets being stored in the accounts and account state can be hidden
-* Better privacy properties than on Ethereum - first web2 privacy, later even stronger privacy guarantees
-* Transactions can be recalled and updated
-* Lower fees due to client-side proving
-* dApps on Miden are safe to use due to account abstraction and compile-time safe Rust smart contracts
+
+* Ethereum security.
+* Developers can build applications infeasible on other systems, for example:
+
+    * *On-chain order book exchanges* due to parallel tx exectuion and updatable transactions.
+    * *Complex, incomplete information games* due to client-side proving and cheap complex computations.
+    * *Safe wallets* due to assets being stored in the accounts and account state can be hidden.
+
+* Better privacy properties than on Ethereum - first web2 privacy, later even stronger privacy guarantees.
+* Transactions can be recalled and updated.
+* Lower fees due to client-side proving.
+* dApps on Miden are safe to use due to account abstraction and compile-time safe Rust smart contracts.

docs/miden/introduction/introduction.md docs/miden/introduction/index.mddocs/miden/introduction/introduction.md renamed to docs/miden/introduction/index.md

@@ -282,10 +282,9 @@ nav:
       - Miden: miden/index.md
       - Overview: miden/overview.md
       - Miden zkRollup docs:
-          - Roadmap:  miden/roadmap.md
-          - Introduction:
-              - Introduction:  miden/introduction/introduction.md
-              - Protocol:  miden/introduction/protocol.md
+          - Introduction:  
+              - Welcome: miden/introduction/index.md
+              - Roadmap:  miden/roadmap.md
           - Architecture:
               - Accounts:  miden/architecture/accounts.md
               - Architecture:  miden/architecture/architecture.md