1/ Autonoma system kan inte förlita sig på "lita på oss, det fungerade." De behöver kryptografiska bevis: • en drönare fattade rätt beslut • en robot läser sensorn korrekt • en agent som avrättas säkert Den bevisningen måste vara snabb.