Отже, гм, ми покладаємося на прошивку, яку не можемо перевірити, компілятори, які не створюємо, закриті LLM, пропрієтарні енклави, віддалені оновлення тощо. Кожен із цих шарів є ціллю, і в найближчі роки чи десятиліття до них приєднаються ще більше. У такому складному світі (а хлопці, ця складність створена нами самі!), як ми взагалі можемо перевірити, що ми в безпеці? Як на мене, перевірка ніколи не була такою критичною чи неможливою.