Meta adds proof-based security to encrypted backups