Итак, хм, мы полагаемся на прошивки, которые не можем проверить, компиляторы, которые не создаем, закрытые LLM, проприетарные окружения, удаленные обновления и т. д. Каждый из этих уровней является целью, и в ближайшие годы/десятилетия к ним присоединятся новые. В таком сложном мире (и, ребята, эта сложность создана нами самими!), как мы вообще можем проверить, что мы в безопасности? Если вы спросите меня, проверка никогда не была столь критически важной и одновременно невозможной.