1/ Sistem otonom tidak dapat mengandalkan "percayalah pada kami, itu berhasil." Mereka membutuhkan bukti kriptografi: • Drone membuat keputusan yang tepat • robot membaca sensor dengan benar • Agen yang dieksekusi dengan aman Bukti itu harus cepat.