commit new pages

Author: kmurphypolygon

docs/cdk/architecture/type-1-prover/intro-t1-prover.md

@@ -12,7 +12,7 @@ The types of zkEVMs, as outlined by Vitalik, are as follows;
 
 The below figure gives a visual summary of the zkEVM types, contrasting compatibility with performance.
 
-![Figure: zkEVM types](../../img/learn/zkevm-types-vitalik.png)
+![Figure: zkEVM types](../../../img/cdk/zkevm-types-vitalik.png)
 
 Ultimately, choosing which type of zkEVM to develop involves a trade-off between EVM-equivalence and performance.
 

…/cdk/architecture/type-1-prover/index.md …k/architecture/type-1-prover/overview.mddocs/cdk/architecture/type-1-prover/index.md renamed to docs/cdk/architecture/type-1-prover/overview.md docs/cdk/architecture/type-1-prover/index.md renamed to docs/cdk/architecture/type-1-prover/overview.md

@@ -24,7 +24,7 @@ Note that, for the sake of efficiency, the $S_1$ and $S_2$ tables are first redu
 
 And thus, this check is tantamount to ensuring that the rows of the $S_1$ table involving $Op$ are but permutations of the rows of $S_2$ that carry out $Op$.
 
-![Figure: CTL permutation check](../../img/learn/t1-prover-ctl-perm-check.png)
+![Figure: CTL permutation check](../../../img/cdk/t1-prover-ctl-perm-check.png)
 
 
 ### How the CLT proof works

docs/cdk/architecture/type-1-prover/t1-ctl-protocol.md

@@ -12,7 +12,7 @@ Since Polygon type-1 zkEVM is more like a 'CPU' for the EVM, it makes sense to l
 
 Consider the table below for prices of GCP's specific instances, taken from [here](https://cloud.google.com/compute/all-pricing), and webpage accessed on the 29th January, 2024. 
 
-![Figure: GCP's vm instance price](../../img/learn/gcp-vm-instance-price.png)
+![Figure: GCP's vm instance price](../../../img/cdk/gcp-vm-instance-price.png)
 
 Take the example of a t2d-standard-60 GCP instance, where each vCPU has 4GB memory, based on GCP's Spot prices:
 

docs/cdk/architecture/type-1-prover/testing-and-proving-costs.md

@@ -84,8 +84,8 @@ nav:
         - Manage allowlists with policies: cdk/how-to/manage-policies.md
       - Architecture:
         - DAC: cdk/architecture/dac.md
-        - Type-1 prover:
-          - Polygon CDK type-1 prover: cdk/architecture/type-1-prover/index.md 
+        - Polgon CDK type-1 prover:
+          - Overview: cdk/architecture/type-1-prover/overview.md 
           - zkEVM-type 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