[论文解读] Airtnt: Fair Exchange Payment for Outsourced Secure Enclave Computations

Mustafa Al-Bassam, Alberto Sonnino+2 more|arXiv (Cornell University)|May 16, 2018

Security and Verification in Computing参考文献 33被引用 18

一句话总结

Airtnt 是一个无信任、去中心化的框架，通过基于区块链的智能合约和链下支付通道，在可信执行环境（TEEs）中实现支付与安全计算结果的公平交换。它通过密码学认证、每个执行检查点的微支付，以及不依赖第三方争议解决机制，确保请求方和执行节点均免受欺诈侵害。

ABSTRACT

We present Airtnt, a novel scheme that enables users with CPUs that support Trusted Execution Environments (TEEs) and remote attestation to rent out computing time on secure enclaves to untrusted users. Airtnt makes use of the attestation capabilities of TEEs and smart contracts on distributed ledgers to guarantee the fair exchange of the payment and the result of an execution. Airtnt makes use of off-chain payment channels to allow requesters to pay executing nodes for intermediate "snapshots" of the state of an execution. Effectively, this step-by-step "compute-payment" cycle realises untrusted pay-as-you-go micropayments for computation. Neither the requester nor the executing node can walk away and incur monetary loss to the other party. This also allows requesters to continue executions on other executing nodes if the original executing node becomes unavailable or goes offline.

研究动机与目标

• 解决去中心化、基于 TEE 的计算市场中缺乏公平交换机制的问题，其中请求方和提供方均不可信。
• 在无需相互信任或可信第三方的情况下，实现用户任务在远程 TEE 支持节点上的安全、可验证执行。
• 通过支付通道实现基于检查点的微支付，降低请求方违约或节点不诚实的风险。
• 通过允许在原始节点故障或离线时继续在替代节点上执行，实现容错。
• 通过避免将大型计算结果存储在链上，而是依赖密码学证明和链下状态更新，减少区块链膨胀。

提出的方法

• 利用 Intel SGX 或类似 TEE 确保执行完整性，并生成远程认证报告。
• 在分布式账本上使用智能合约作为无信任中介，实现支付与结果的公平交换。
• 使用链下支付通道，在每个执行检查点后实现微支付，减轻链上交易负载。
• 引入逐步计算-支付循环，其中每个状态转换均经过密码学验证并获得补偿。
• 设计一种协议，要求双方承诺执行状态和支付，防止任一方单方面获利离开。
• 使用密码学证明（例如，认证签名）将结果与执行状态绑定，实现可验证的正确性。

实验结果

研究问题

• RQ1 在去中心化、基于 TEE 的计算市场中，如何在互不信任的双方之间实现支付与结果的公平交换？
• RQ2 是否可以使用支付通道实现的微支付来降低长期运行的 TEE 计算过程中请求方违约的风险？
• RQ3 如何在不将大结果存储在区块链上的情况下，密码学地验证执行完整性？
• RQ4 哪些机制可确保故障或不诚实的执行节点不会导致请求方或提供方遭受损失？
• RQ5 基于检查点的微支付模型在实际工作负载中对性能和资源利用率的影响有多大？

主要发现

• Airtnt 在无需相互信任或第三方中介的情况下，成功实现了去中心化 TEE 计算市场中支付与结果的公平交换。
• 通过支付通道实现每个执行检查点的微支付，显著降低了请求方违约风险，并支持在原始节点失效时迁移至替代节点。
• 在生命游戏和 OCR 工作负载上的评估表明，安全性（通过频繁检查点实现）与效率（因带宽和飞地开销增加）之间存在明确权衡。
• 该系统避免将大型计算结果存储在区块链上，显著降低了交易成本和链上验证负载。
• TEE 生成的密码学认证确保仅接受正确执行的结果，任何偏差均可被密码学检测。
• 通过共识和验证机制，即使最多一半节点为恶意，只要至少一个节点诚实，协议仍能维持强安全保证。