security - 理论上是否有可能设计一个可证明不可破解的硬件/软件系统？

Question

是否对任何假设的硬件 + 操作系统架构或整体软件设计进行了任何工作，这些工作可证明是不可能破解的？换句话说，一种只允许有限代码执行的架构，这样在“利用”的某些特定数学定义中，利用根本不可行。因此，漏洞利用在此框架下可能造成的潜在损害将被证明是有限的。

一般来说，我正在寻找基于一些合理的基本假设的“可破解”与“不可破解”架构的数学动机理论。

Answer 1

已经进行了尝试，但没有任何实际有用的东西。数学形式主义中总是存在未捕获的行为的可能性(例如侧信道攻击)，如果失败，人类运算符(operator)通常是一个很大的漏洞。

实际上，没有什么是 100% 安全的。最大的问题是破解某些东西所需的努力是否值得潜在的返回。