Dragoon：实用的私有化去中心化人类智能任务
密码学与安全
2020-07-09 v3 人机交互
摘要
随着区块链的迅速普及，去中心化人类智能任务（HITs）被提出以在不依赖易受攻击的第三方平台的情况下众包人类知识。然而，区块链的固有局限使得去中心化 HITs 面临若干“新”挑战。例如，所征集数据的机密性被证明是必要条件，尽管在中心化设置中它曾是一个可争议的非必需属性。为满足数据隐私这一“新”要求，现有去中心化 HITs 使用通用的零知识证明框架（如 SNARK），但由于通用性本身代价高昂，在实践中表现欠佳。我们提出了一种实用的 HITs 去中心化协议，同时实现了请求者与工作者之间的公平性。在我们的核心贡献中，我们避开了强大但高成本的通用 zk-proof 工具，提出了一种专用方案来证明加密数据的质量。通过多种非平凡的陈述重构，将加密数据质量的证明归约为高效的可验证解密，从而使去中心化 HITs 变得实用。在此过程中，我们严格定义了去中心化 HITs 的理想功能，并基于理想-现实范式证明了安全性。我们进一步实例化协议实现了名为 Dragoon 的系统，其一个实例部署于以太坊之上，以支撑 ImageNet 使用的图像标注任务。我们的评估证明了其实用性：Dragoon 的链上处理成本甚至低于亚马逊 Mechanical Turk 处理相同 ImageNet HIT 的手续费。
引用
@article{arxiv.2003.10074,
title = {Dragoon: Private Decentralized HITs Made Practical},
author = {Yuan Lu and Qiang Tang and Guiling Wang},
journal= {arXiv preprint arXiv:2003.10074},
year = {2020}
}
备注
small differences from a version accepted to appear in ICDCS 2020 (to fix a minor bug)