1/ I sistemi autonomi non possono fare affidamento su "fidati di noi, ha funzionato." Hanno bisogno di prove crittografiche: • un drone ha preso la decisione corretta • un robot ha letto il sensore correttamente • un agente ha eseguito in sicurezza Quella prova deve essere veloce.