Sky Security Seminar: Miranda Christ (Columbia) – “Limits on revocable proof systems, with applications to stateless blockchains”