11-13, 15:00–15:30 (Asia/Bangkok), Stage 3
VK rules the world. ZK rules the world, too, like a straightedge wielded with eyes closed. Rulers rule in simple ways: by lining things up and by checking they're all in line. Bring your high school math to learn straightedges called SumCheck and SumCalc and begin to appreciate ZK in simple geometric terms. No moon math. We'll visit lines, cubes and polynomials, to see how they can be used to deduce and to generate, to check and to delegate.
Don Beaver introduced the MLE (Multilinear Extension) to cryptography as a method for privately delegating computations; it became the core trick behind SumCheck and modern proof systems within months [Beaver Feigenbaum 1989]. He's known for other accessible discoveries in cryptography: MPC Triples, Pseudorandom Correlation Generators, Distributed Random Beacons, the "public inverse trick," "real-ideal" security proofs; and for contributions to "garbled" circuits and deniable encryption.