Vitalik Buterin, the co-founder of the Ethereum blockchain, has beforehand written in regards to the several types of provers, arguing that the profit a Kind 1 prover is that it’s completely suitable with Ethereum, whereas the drawback is that there’s plenty of computation energy that goes into producing ZK-proofs which might be suitable with Ethereum, taking as much as hours to supply.