1/ Автономные системы не могут полагаться на "доверяйте нам, это сработало." Им нужны криптографические доказательства: • дрон принял правильное решение • робот правильно считал датчик • агент выполнил задачу безопасно Эти доказательства должны быть быстрыми.