1/ Autonome systemen kunnen niet vertrouwen op "vertrouw ons, het werkte." Ze hebben cryptografisch bewijs nodig: • een drone nam de juiste beslissing • een robot las de sensor correct • een agent voerde veilig uit Dat bewijs moet snel zijn.