1/ Автономні системи не можуть покладатися на принцип «повір нам, це спрацювало». Їм потрібні криптографічні докази: • дрон прийняв правильне рішення • робот правильно зчитує датчик • агента страчено безпечно Ці докази мають бути швидкими.