为了创建一个可信赖且可验证的计算平台，OpenTitan开源团队近日实施了一项有着重大意义的工程– RTL冻结。这是一个关键的里程碑，为我们迈向完全开源和可验证的计算开辟了道路。
简单来说，RTL冻结是通过创建透明度来把设计规范和代码合并起来，以实现可验证的计算结果。这样的透明度使得我们能够了解、探究、测试和验证整个芯片设计中的每一个细节，从而确保它们跟我们所期望的结果一致。
这个过程采用了一项称为“可验证性生成”的技术。它使得我们能够创建一个实体，这个实体能够让我们查看整个计算过程的所有细节信息，也能够证明这些信息的正确性。这就像我们在玩扑克牌游戏时，让别人看自己的手牌一样。这样所有人都可以清楚地看到所有细节，因此大家都能获得同样的信任。
这样的可验证设计是OpenTitan开源项目的核心，它能够让用户轻松验证芯片设计的安全性。它消除了标准闭源设计中让用户无法查看关键细节、从而难以检验代码的问题。可验证的设计创建了一个开放、公正的设计流程，它使得开发者和用户都能拥有更高度的透明度、更深入的了解和更广泛的信任感。
通过这个开源团队的努力，OpenTitan项目能够拥有可验证的设计，这将成为未来计算安全领域发展的重要引领。透明度和信任的标准将被彻底传承，这将是未来计算安全性可信赖的基石。
了解更多有趣的事情：https://blog.ds3783.com/