Vitalik Buterin introduces the GKR protocol, verifying 2M calculations per second, reducing proof work from 100x to 10-15x.