Image
(Tel-Aviv University and Cornell Tech)
Boot Camp: Proofs, Consensus, and Their Applications