Cloak：基于安全且公开可验证的链下多方计算在遗留区块链上转移状态

近年来，智能合约的机密性已成为实际应用的根本需求。尽管已有诸多努力来开发用于强制执行机密智能合约的架构能力，但仅有少数工作将机密智能合约扩展到多方计算（MPC），即多方在链下联合评估一笔交易并将输出提交上链，而不向彼此泄露各自的秘密输入/输出。然而，现有方案缺乏公开可验证性，且需要O(n)笔交易来实现协商或抵抗对手，因而存在效率低下与安全性受损的问题。在本文中，我们提出Cloak，一个在现有区块链上实现多方交易（MPT）的框架。MPT指的是通过公开可验证的链下MPC来转移区块链状态。我们通过协调TEE与区块链，识别并处理保障MPT安全的挑战。由此，Cloak保障了链下非确定性协商过程（一方在MPT提案确定前加入MPT时不知晓其他方身份或参与方总数），实现了公开可验证性（公众可验证MPT正确处理了多方的秘密输入/输出并读写链上状态），并能抵抗拜占庭对手。根据我们的证明，Cloak仅以2笔交易实现了更好的安全性，优于那些以O(n)笔交易代价实现受损安全性的先前工作。通过对示例与真实世界MPT的评估，Cloak的gas成本平均降低了32.4%。