How Cryptography Could Help Ensure AI Safety | Video