1/ Autonomní systémy se nemohou spoléhat na "věřte nám, fungovalo to." Potřebují kryptografické důkazy: • dron učinil správné rozhodnutí • robot správně přečetl senzor • agent bezpečně provedený Ty důkazy musí být rychlé.