1/ Autonome systemer kan ikke stole på «stol på oss, det fungerte». De trenger kryptografiske bevis: • en drone tok riktig beslutning • en robot leser sensoren riktig • en agent som er henrettet trygt Det beviset må være raskt.