Vitalik Buterin has weighed the impacts of the addition of zk-EVMs at the protocol level, saying it could speed up the verification process on the base layer.