Vitalik Buterin Reveals Cryptographic Proofs That Are Fast and Easy to Verify