Reshaping Blockchain: Polygon's Type 1 Prover, a quantum leap in blockchain interoperability