https://infomozo.com/vitalik-buterin-proposes-solutions-to-on-chain-verification-challenges-in-ethereum/