假设我从Bob那里收到数据,他说数据是由TEE生成或计算的(例如Intel SGX)。
是否有任何方法、TEE或辅助信息,如密码学中的零知识,来证明数据确实来自TEE,而不是来自普通PC?
然后,每个人都相信他的数据是由TEE生成或计算的。
BTW,您能提供一些材料或有用的教程来学习SGX编程,这是很容易理解的吗?
发布于 2022-01-27 20:23:01
是。这种方法叫做认证。一般来说,第三方将是远程的,所使用的方法将是远程认证。
在SGX飞地中运行的每个应用程序都会生成一组有关该飞地的信息。一旦第三方想要与该应用程序通信(例如,您希望与Bob通信),它将通过一条质疑消息启动远程认证过程。在此过程中,第三方接收飞地的信息,并与Intel认证服务(IAS)检查该信息是否来自有效的Intel SGX。在您的示例中,您将收到Bob的飞地信息,并向IAS检查Bob是否使用真正的Intel SGX。
您可以在以下链接中找到更多信息:
https://stackoverflow.com/questions/70658097
复制相似问题