Denetim, sistemleri kontrol altında tutmak için kullanılırdı. Şimdi kanıtlar da olabilir. Kriptografi, makineleri her şeyi açığa çıkarmadan hesap verebilir kılar. Sıfır bilgi garantileri, eski kara kutuları doğrulanabilir sistemlere dönüştürür. Yapay zeka çağında caydırıcılık, kanıtlanabilir bütünlük demektir.