Merge pull request 0xPolygon#218 from 0xPolygon/km/type-1-learn

kmurphypolygon · web-flow · commit 74880c3474e0 · 2024-02-13T09:27:50.000+01:00
Move type 1 prover docs to LEARN section
diff --git a/docs/cdk/architecture/type-1-prover/intro-t1-prover.md b/docs/cdk/architecture/type-1-prover/intro-t1-prover.md
@@ -1,5 +1,8 @@
 The Polygon Type 1 Prover is a zk-evm proving component used for creating proofs on your ZK-EVM chain. It has been developed in collaboration with the Toposware team.
 
+!!! info
+    The Polygon Type 1 Prover is not yet ready for full implementation into a CDK stack.
+
 ## Get started
 
 If you want to get up and running quickly, follow the [how to deploy the Type 1 Prover guide](../../how-to/deploy-t1-prover.md).
diff --git a/docs/index.md b/docs/index.md
@@ -98,7 +98,7 @@ hide:
 							<div class="product-list-header"><img width="24px" src="img/home/learn-icon.svg" loading="lazy" alt="">
 								<h3 class="heading-h3 margin-none">LEARN</h3>
 							</div>
-							<p class="feature-paragraph">Deep dives only. Further your understanding of Polygon scaling technology.</p>
+							<p class="feature-paragraph">Deep dives only. Further your understanding of Polygon scaling technology.</p></br>
 						</div>
 						<a href="learn" class="flex-card-item w-inline-block">
 							<div class="product-list-item-header">
@@ -109,34 +109,34 @@ hide:
 							</div>
 							<p class="feature-paragraph"> Resources focused on both current and future Polygon technologies. It features detailed guides, foundational concepts, and previews of upcoming innovations. </p>
 						</a>
-						<a href="learn/welcome" class="flex-card-item w-inline-block">
+						<a href="cdk/architecture/type-1-prover/intro-t1-prover" class="flex-card-item w-inline-block">
 							<div class="product-list-item-header">
-								<div class="feature-card-heading">Welcome</div>
+								<div class="feature-card-heading">Type 1 Prover</div>
 								<div class="arrow-embed w-embed"><svg xmlns="http://www.w3.org/2000/svg" display="block" width="100%" height="auto" viewbox="0 0 16 17" fill="none">
 										<path d="M9.98805 5.70133L3.41071 12.2787L4.58922 13.4572L11.1666 6.87976V12.2013H12.8333V4.03467H4.66665V5.70133H9.98805Z" fill="currentColor"></path>
 									</svg></div>
 							</div>
-							<p class="feature-paragraph"> This segment aims to educate users about the intricacies of ZK-powered L2s on Ethereum, offering a blend of theoretical understanding and practical application.</p>
+							<p class="feature-paragraph">The Polygon Type 1 proving component used for creating proofs on your ZK-EVM chain.</p>
 						</a>
-						<a href="learn/deep-dive-arch" class="flex-card-item w-inline-block">
+						<a href="learn/agglayer" class="flex-card-item w-inline-block">
 							<div class="product-list-item-header">
-								<div class="feature-card-heading">Polygon 2.0</div>
+								<div class="feature-card-heading">Agg Layer</div>
 								<div class="arrow-embed w-embed"><svg xmlns="http://www.w3.org/2000/svg" display="block" width="100%" height="auto" viewbox="0 0 16 17" fill="none">
 										<path d="M9.98805 5.70133L3.41071 12.2787L4.58922 13.4572L11.1666 6.87976V12.2013H12.8333V4.03467H4.66665V5.70133H9.98805Z" fill="currentColor"></path>
 									</svg></div>
 							</div>
-							<p class="feature-paragraph">A vision for a unified web of ZK-powered L2s on Ethereum, built using Polygon technology. Unlimited scale, unified liquidity, and blockspace on demand.</p>
+							<p class="feature-paragraph">Introducing the multi-chain, multi-transaction Polygon Agg Layer; what it is and how it works.</p>
 						</a>
-						<a href="learn/liquidity-and-scalability" class="flex-card-item w-inline-block">
+						<a href="https://polygon.technology/blog/reorgs-demystified-insights-from-monitoring-with-a-sensor-network" class="flex-card-item w-inline-block">
 							<div class="product-list-item-header">
-								<div class="feature-card-heading">Unified liquidity</div>
+								<div class="feature-card-heading">Understanding reorgs</div>
 								<div class="arrow-embed w-embed"><svg xmlns="http://www.w3.org/2000/svg" display="block" width="100%" height="auto" viewbox="0 0 16 17" fill="none">
 										<path d="M9.98805 5.70133L3.41071 12.2787L4.58922 13.4572L11.1666 6.87976V12.2013H12.8333V4.03467H4.66665V5.70133H9.98805Z" fill="currentColor"></path>
 									</svg></div>
 							</div>
-							<p class="feature-paragraph">Level up your understanding of zero-knowledge with whitepapers by the researchers at Polygon Labs.</p>
+							<p class="feature-paragraph">Reorgs demystified: insights from monitoring with a sensor network.</p>
 						</a>
-						<a href="learn/polygon-protocols" class="flex-card-item w-inline-block">
+						<a href="learn/polygon-protocols" class="flex-card-item last-item  w-inline-block">
 							<div class="product-list-item-header">
 								<div class="feature-card-heading">Polygon protocols</div>
 								<div class="arrow-embed w-embed"><svg xmlns="http://www.w3.org/2000/svg" display="block" width="100%" height="auto" viewbox="0 0 16 17" fill="none">
diff --git a/docs/pos/get-started/becoming-a-validator.md b/docs/pos/get-started/becoming-a-validator.md
@@ -178,12 +178,12 @@ The following step-by-step guides will take you through the process of running a
 
 * [Start and run the nodes with Ansible](/pos/how-to/validator/validator-ansible).
 * [Start and run the nodes with binaries](/pos/how-to/validator/validator-binaries).
-* [Stake as a validator](/pos/how-to/operate-maintain-node/validator-staking-operations).
+* [Stake as a validator](/pos/how-to/operate-validator-node/validator-staking-operations).
 
 ### Maintain your validator nodes
 
-* [Change the signer address](/pos/how-to/operate-maintain-node/change-signer-address).
-* [Change the commission](/pos/how-to/operate-maintain-node/validator-commission-operations).
+* [Change the signer address](/pos/how-to/operate-validator-node/change-signer-address).
+* [Change the commission](/pos/how-to/operate-validator-node/validator-commission-operations).
 
 ### Community assistance
 
diff --git a/docs/pos/how-to/troubleshoot/technical-faqs.md b/docs/pos/how-to/troubleshoot/technical-faqs.md
@@ -382,7 +382,7 @@ Delete Bor: `sudo rm -rf /var/lib/bor`
 
 ### 28. What to do when you get "Wrong Block.Header.AppHash." error
 
-If your node fails with an `appHash` error, you'll need to restore it using a snapshot. See the [guide available here](/pos/node-howto/snapshots).
+If your node fails with an `appHash` error, you'll need to restore it using a snapshot. See the [guide available here](../../how-to/snapshots.md).
 
 Please make sure you are either using the chain flag in your service file, or the chain flag is set in your `config/heimdall-config.toml` file.
 
diff --git a/docs/pos/how-to/validator/validator-ansible.md b/docs/pos/how-to/validator/validator-ansible.md
@@ -1,7 +1,7 @@
 
 This section guides you through starting and running the validator node through an Ansible playbook.
 
-For the system requirements, see [Validator Node System Requirements](/validator-node-system-requirements.md).
+For the system requirements, see [Validator Node System Requirements](validator-system-requirements.md).
 
 If you would like to start and run the validator node from binaries, see the guide on [spinning up a Validator node using binaries](./validator-binaries.md).
 
@@ -568,4 +568,4 @@ Now that your Sentry and Validator nodes are synced and running, head over to [D
 
 ## Proceed to staking
 
-Now that you have your Sentry and Validator nodes health-checked, proceed to [Staking](/how-to/operating/validator-node/staking.md).
+Now that you have your Sentry and Validator nodes health-checked, proceed to [Staking](../../how-to/operate-validator-node/validator-staking-operations.md).
diff --git a/docs/pos/how-to/validator/validator-binaries.md b/docs/pos/how-to/validator/validator-binaries.md
@@ -6,7 +6,7 @@ follow the [Validator Node System Requirements](./validator-system-requirements.
 
 !!!tip Snapshots
     Steps in this guide involve waiting for the **Heimdall** and **Bor** services to fully sync.
-    This process takes several days to complete. Alternatively, you can use a maintained snapshot, which will reduce the sync time to a few hours. For detailed instructions, see [<ins>Snapshot Instructions for Heimdall and Bor</ins>](/pos/how-to/snapshots.md).
+    This process takes several days to complete. Alternatively, you can use a maintained snapshot, which will reduce the sync time to a few hours. For detailed instructions, see [<ins>Snapshot Instructions for Heimdall and Bor</ins>](../../how-to/snapshots.md).
 
     For snapshot download links, see [<ins>Polygon Chains Snapshots</ins>](https://snapshot.polygon.technology/).
 
@@ -550,4 +550,4 @@ Now that your sentry and validator nodes are in sync and running, head over to
 ## Next Steps: Staking
 
 Now that you have your sentry and validator nodes are health-checked, proceed to
-the [Staking](/how-to/operating/validator-node/staking.md) guide to start backing the network.
+the [Staking](../../how-to/operate-validator-node/validator-staking-operations.md) guide to start backing the network.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -81,18 +81,8 @@ nav:
               - Start services: cdk/get-started/deploy-rollup/start-services.md
         - Connect to CDK testnet: cdk/get-started/connect-testnet.md
       - How to:
-        - Run Type 1 Prover quickly: cdk/how-to/deploy-t1-prover.md
-        - Deploy Type 1 Prover on devnet: cdk/how-to/deploy-t1-prover-devnet.md
         - Manage allowlists with policies: cdk/how-to/manage-policies.md
       - Architecture:
-        - Polygon Type 1 Prover:
-          - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md
-          - Type 1 design challenges: cdk/architecture/type-1-prover/t1-design-challenge.md
-          - Architectural overview: cdk/architecture/type-1-prover/t1-architecture.md
-          - Tests and proving costs: cdk/architecture/type-1-prover/testing-and-proving-costs.md
-          - CPU component: cdk/architecture/type-1-prover/t1-cpu-component.md
-          - CTL protocol: cdk/architecture/type-1-prover/t1-ctl-protocol.md
-          - Range checks: cdk/architecture/type-1-prover/t1-rangechecks.md
         - DAC: cdk/architecture/dac.md
       - Specification:
         - Validium vs rollup: cdk/spec/validium-vs-rollup.md
@@ -575,6 +565,19 @@ nav:
       - Learn: learn/index.md
       - Welcome: learn/welcome.md
       - Polygon AggLayer: learn/agglayer.md
+      - Polygon Type 1 Prover:
+          - Introduction and definitions: cdk/architecture/type-1-prover/intro-t1-prover.md
+          - How to:
+              - Run Type 1 Prover quickly: cdk/how-to/deploy-t1-prover.md
+              - Deploy Type 1 Prover on devnet: cdk/how-to/deploy-t1-prover-devnet.md
+          - Architecture:
+              - Overview: cdk/architecture/type-1-prover/t1-architecture.md
+              - Type 1 design challenges: cdk/architecture/type-1-prover/t1-design-challenge.md
+              - Tests and proving costs: cdk/architecture/type-1-prover/testing-and-proving-costs.md
+          - Specification:
+              - CPU component: cdk/architecture/type-1-prover/t1-cpu-component.md
+              - CTL protocol: cdk/architecture/type-1-prover/t1-ctl-protocol.md
+              - Range checks: cdk/architecture/type-1-prover/t1-rangechecks.md
       - Polygon protocols: learn/polygon-protocols.md
       - Demystifying reorgs: https://polygon.technology/blog/reorgs-demystified-insights-from-monitoring-with-a-sensor-network
 
