可信计算协议白皮书_36页_1mb

报告摘要

可信计算协议（TCP）白皮书总结

核心内容

可信计算协议（Trusted Computing Protocol，简称 TCP）是一种结合区块链与可信执行环境（TEE）的新型架构，旨在解决数据隐私保护与商业效率之间的矛盾。TCP 是一个 Layer 2 扩容方案，基于 Plasma 协议，能够为任何区块链项目提供可信计算和复杂运算能力。它通过将计算任务移至链下可信执行环境，保护隐私数据，同时将可验证结果存储于链上，确保数据的可追溯性和不可篡改性。

主要观点

数据隐私与商业效率的平衡：随着数据爆炸和AI的发展，数据隐私保护成为关键问题，而区块链的公开性和验证机制限制了其在隐私计算方面的应用。TCP 提出一种解决方案，实现隐私保护下的高效计算。
可信计算范式：TCP 扩展了可信计算的信任边界，实现数据采集、存储、交换、计算和应用的全链条可信，同时结合多种隐私安全技术。
分层网络设计：TCP 采用分层网络架构，将计算与共识解耦，提升网络吞吐量并减少冗余计算，同时引入 Plasma 协议，支持链下计算和链上验证。
安全机制：TCP 引入分布式密钥管理协议（DKMP）和公平的随机数生成机制，增强系统的安全性和抗攻击能力，包括针对 TEE 的侧信道攻击和恶意节点行为。

关键信息

1. TCP 架构概述

可信执行环境（TEE）：TCP 使用 Intel SGX 等 TEE 技术，确保数据和代码的隐私性与完整性。
共识机制：TCP 采用改进的 Tendermint 共识算法，结合分布式密钥生成（DKG）和 BLS 签名，实现公平的随机数生成和高效的共识过程。
分层网络：TCP 将计算与共识分离，通过链下计算提升性能，链上验证确保数据的正确性和安全性。
Plasma-TCP：TCP 基于 Plasma 协议，实现链下计算与链上验证的结合，支持智能合约的扩展和高效执行。

2. 安全设计

分布式密钥管理协议（DKMP）：DKMP 用于生成和管理合约私钥，支持动态密钥更新和转移，确保即使部分 TEE 被攻击，也不会导致密钥泄露。
安全防御设计：
- 本地安全传输：通过 Diffie-Hellman 上下文（DHCPx）实现 Enclave 之间的密钥安全传输。
- 远程安全传输：DKMP Application 与 SSSG 之间通过远程证明（如 IAS）进行安全通信，确保密钥分片不会被泄露。
安全性证明：
- 系统需要满足 $ R > 3f $ 的条件，以确保拜占庭节点无法破坏系统安全。
- 在面对节点作恶、停止响应和虚假欺诈证明等行为时，TCP 提供了相应的验证和惩罚机制。

3. 执行模型

角色介绍：
- 客户端（Client）：发起计算请求的终端用户或消费者。
- 计算节点（Compute Node）：拥有 TEE 环境，负责执行合约并生成可验证结果。
- 共识节点（Consensus Node）：验证计算节点提交的状态更新，形成全网共识。
- 安全密钥分享组（SSSG）：由共识算法选择的节点子集，负责密钥分片的生成和管理。
合约部署流程：
1. 客户端向计算节点发送合约代码。
2. 计算节点初始化 TEE 环境，生成 CID，请求密钥分片。
3. 生成密钥对和合约初始状态，构造部署交易并广播给共识节点。
4. 共识节点验证、打包、更新状态，形成全网共识。
5. 计算节点向客户端发送回执。
合约执行流程：
1. 客户端向计算节点发送执行请求，指定 CID 和输入。
2. 计算节点获取合约代码和状态，请求数据源获取加密数据。
3. 在 TEE 环境中解密数据，执行合约计算，生成结果和证明。
4. 构造交易并广播给共识节点，共识节点验证、打包、更新状态。
5. 计算节点向客户端发送执行结果。