所以，嗯，我们依赖于无法检查的固件、我们不构建的编译器、封闭源代码的 LLM、专有的安全区、远程更新等等。每一层都是一个目标，未来几年/几十年还会有更多加入。在这样一个复杂的世界中（伙计们，这种复杂性是我们自己造成的！），我们怎么能验证我们是安全的呢？如果你问我，验证从未像现在这样重要，也从未如此不可能。