Verifying a proof can be done on any modern machine, regardless of size With verify the signal we start to demonstrate as we prove more chains, the barrier to monitor the honesty of networks can be as simple as clicking a button in a browser Universal lite clients are upon us