Vitalik Buterin, the co-founder of the Ethereum blockchain, has previously written about the different types of provers, arguing that the benefit a Type 1 prover is that it is perfectly compatible with Ethereum, while the disadvantage is that there’s a lot of computation power that goes into producing ZK-proofs that are compatible with Ethereum, taking up to hours to produce.