Update intro-t1-prover.md

Author: EmpieichO

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

@@ -1,4 +1,4 @@
-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.
+The Polygon type 1 prover is a ZK-EVM proving component capable of generating proofs for Ethereum blocks. It has been developed in collaboration with the Toposware team.
 
 !!! info
     The [Polygon type 1 prover](https://github.com/0xPolygonZero/zk_evm) is not yet ready for full implementation into a CDK stack.
@@ -30,4 +30,4 @@ The figure below gives a visual summary of the types, contrasting compatibility
 
 Ultimately, choosing which type of ZK-EVM to develop involves a trade-off between EVM-equivalence and performance.
 
-The challenge this poses for developers who favor exact Ethereum-equivalence is to devise ingenious designs and clever techniques to implement faster zk-provers. Vitalik mentions one mitigation strategy to improve proof generation times: cleverly engineered, and massively parallelized provers.
+The challenge this poses for developers who favor exact Ethereum-equivalence is to devise ingenious designs and clever techniques to implement faster zk-provers. Vitalik mentions one mitigation strategy to improve proof generation times: cleverly engineered, and massively parallelized provers.