0
点赞
收藏
分享

微信扫一扫

【论文笔记18】使用智能合约的可验证计算

一ke大白菜 2022-04-19 阅读 78
区块链

摘要

外包计算已被广泛用于允许弱客户端访问云的计算资源。客户端的自然安全要求是能够有效地验证接收到的计算结果。验证通用计算的一种有吸引力的方法是将计算发送到多个云,并使用精心设计的协议来比较结果并实现可验证性。然而,这需要受信任的第三方 (TTP) 来管理客户端和云的交互。我们的目标是使用智能合约作为 TTP。这也使客户端免于直接与云交互,并可能参与复杂的有状态协议。我们专注于 Canetti、Riva 和 Rothbulm (CRR) 的可验证计算协议,该协议具有可证明的针对恶意云的安全性,并表明直接使用该协议与智能合约将导致攻击,从而破坏系统的安全性。我们描述和分析了攻击,并扩展了 CRR 协议以防止这种攻击,从而产生了一个使用智能合约的安全可验证计算系统。我们还给出了智能合约的伪代码和可用于实现协议的所需函数,用 Solidity 语言编写,并解释其工作原理。

关键词 :外包计算;可验证计算;区块链;智能合约

举报

相关推荐

0 条评论