6.858 Spring 2022 Lecture 15: Certificates