如何證明數據是由 TEE（例如 Intel SGX）生成或計算的？

Question

假設我從 Bob 那里收到數據，他說數據是由 TEE（例如，英特爾 SGX）生成或計算的。

有沒有什么方法，TEE，或者密碼學中的零知識之類的輔助信息，他可以提供來證明數據確實來自TEE，而不是來自普通PC？

然后，每個人都相信他的數據是由 TEE 生成或計算的。

順便說一句，您能否提供一些材料或有用的教程來學習易於理解的 SGX 編程？

Answer 1

是的。 該方法稱為證明。 由於通常第三方是遠程的，因此使用的方法將是遠程證明。

在 SGX enclave 內運行的每個應用程序都會生成一組關於 enclave 的信息。 一旦第三方想要與該應用程序通信（例如，您想要與 Bob 通信），它就會通過質詢消息啟動遠程證明過程。 在此過程中，第三方接收 enclave 的信息並與英特爾認證服務 (IAS) 核對信息是否來自有效的英特爾 SGX。 在您的示例中，您將收到 Bob 的 enclave 信息並與 IAS 核對 Bob 是否使用真正的英特爾 SGX。

您可以在以下鏈接中找到更多信息：

https://www.intel.com/content/www/us/en/developer/tools/software-guard-extensions/attestation-services.html
https://www.intel.com/content/www/us/en/developer/articles/code-sample/software-guard-extensions-remote-attestation-end-to-end-example.html
https://sgx101.gitbook.io/sgx101/sgx-bootstrap/attestation
https://gts3.org/pages/remote-attestation.html