The next generation of the internet improves upon the shortcomings of web 2.0 like data security, scalability, and privacy. It enables decentralized platforms and permissionless interoperability between applications. Verified Computations form the core of the integrity of those networks.