北大学术 | 你知道屏幕背后是谁吗？——可信计算之远程证明

Trias联合“北大软微-八分量协同创新实验室”定期举办技术沙龙。该实验室成立于去年9月份，以可信计算、区块链等作为主要研究方向，致力于推动智能互联新时代下的人机互信问题的解决。

针对沙龙具体细节问题，我们将推出由实验室教授、博士生以及硕士生主笔撰写的系列文章。本期文章由北京大学的硕士生赵振宇撰写。

在Trias公众号之前的文章中，已经对可信计算这一技术做过了介绍，（具体见《可信计算概述》那篇文章）在今天我们将对可信计算中的一个关键技术，远程证明，来做一下深入的探讨与剖析。当然，在此之前，我们会先简单的介绍一下可信计算技术，以帮助读者朋友们理解我们后面的内容。

一、可信计算是什么？

如今计算机技术非常普及，几乎每人都拥有一台电脑，更广义的，各种移动设备，如手机，平板电脑等，在某种程度上也可以算作计算机的一种分支。虽然我们经常使用计算机，但是对计算机的安全，多数人却依然没有把握，甚至自己的电脑沦为黑客手下的“肉鸡”也不自知。

从远古时代的“熊猫烧香”，到后来的“木马”，再到去年大面积爆发的“勒索病毒”，黑客们不断用新的手法来攻击我们的计算机。事实已经证明，单纯的防火墙，或者杀毒软件，并不能完全确保电脑的安全，在此基础上，可信计算技术出现了。

为克服上述安全问题，可信计算提供了一个新的思路：为计算平台增加具有安全保护功能的硬件，使平台具有一定的物理保护能力，并在这样的平台上通过软硬件结合的方式构建可信计算环境。