https://platoblockchain.com/plato-data/polygon-connects-evm-chains-to-ethereum-with-insanely-efficient-type-1-prover-touted-as-technological-feat-by-vitalik-buterin/