How do you make a computer prove it ran the code, instead of just swearing it did? A talk on verifiable computation and ZK proofs.