Can you trust the Dutch government? In this talk, I'll talk about the cryptography of attribute-based credentials which are used in the CoronaCheck app. You'll learn how this system improves your privacy and we'll reason about what and whom to trust.