With the rapid popularity of blockchain, decentralized human intelligence tasks (HITs) are proposed to crowdsource human knowledge without relying on vulnerable third-party platforms. However, the inherent limits of blockchain cause decentralized HITs to face a few "new" challenges. For example, the confidentiality of solicited data turns out to be the sine qua non, though it was an arguably dispensable property in the centralized setting. To ensure the "new" requirement of data privacy, existing decentralized HITs use generic zero-knowledge proof frameworks (e.g. SNARK), but scarcely perform well in practice, due to the inherently expensive cost of generality. We present a practical decentralized protocol for HITs, which also achieves the fairness between requesters and workers. At the core of our contributions, we avoid the powerful yet highly-costly generic zk-proof tools and propose a special-purpose scheme to prove the quality of encrypted data. By various non-trivial statement reformations, proving the quality of encrypted data is reduced to efficient verifiable decryption, thus making decentralized HITs practical. Along the way, we rigorously define the ideal functionality of decentralized HITs and then prove the security due to the ideal-real paradigm. We further instantiate our protocol to implement a system called Dragoon, an instance of which is deployed atop Ethereum to facilitate an image annotation task used by ImageNet. Our evaluations demonstrate its practicality: the on-chain handling cost of Dragoon is even less than the handling fee of Amazon's Mechanical Turk for the same ImageNet HIT.

中文翻译：

---

Dragoon：私有去中心化 HIT 变得实用

随着区块链的迅速普及，人们提出了去中心化的人类智能任务（HIT），以在不依赖易受攻击的第三方平台的情况下众包人类知识。然而，区块链的固有局限性导致去中心化 HIT 面临一些“新”挑战。例如，请求数据的机密性被证明是必要条件，尽管它在集中设置中可以说是可有可无的属性。为了确保数据隐私的“新”要求，现有的去中心化 HIT 使用通用的零知识证明框架（例如 SNARK），但由于通用性固有的昂贵成本，在实践中几乎没有表现良好。我们为 HIT 提出了一个实用的去中心化协议，它也实现了请求者和工人之间的公平。在我们贡献的核心，我们避免使用功能强大但成本高昂的通用 zk-proof 工具，并提出一种特殊用途的方案来证明加密数据的质量。通过各种非平凡的语句改造，证明加密数据的质量被简化为有效的可验证解密，从而使去中心化的 HIT 变得可行。在此过程中，我们严格定义了去中心化 HIT 的理想功能，然后证明了理想-真实范式的安全性。我们进一步实例化我们的协议以实现一个名为 Dragoon 的系统，该系统的一个实例部署在以太坊之上，以促进 ImageNet 使用的图像注释任务。我们的评估证明了它的实用性：对于同样的 ImageNet HIT，Dragoon 的链上处理成本甚至低于亚马逊的 Mechanical Turk 的处理费用。证明加密数据的质量被简化为有效的可验证解密，从而使去中心化 HIT 变得可行。在此过程中，我们严格定义了去中心化 HIT 的理想功能，然后证明了理想-真实范式的安全性。我们进一步实例化我们的协议以实现一个名为 Dragoon 的系统，该系统的一个实例部署在以太坊之上，以促进 ImageNet 使用的图像注释任务。我们的评估证明了它的实用性：对于同样的 ImageNet HIT，Dragoon 的链上处理成本甚至低于亚马逊的 Mechanical Turk 的处理费用。证明加密数据的质量被简化为有效的可验证解密，从而使去中心化 HIT 变得可行。在此过程中，我们严格定义了去中心化 HIT 的理想功能，然后证明了理想-真实范式的安全性。我们进一步实例化我们的协议以实现一个名为 Dragoon 的系统，该系统的一个实例部署在以太坊之上，以促进 ImageNet 使用的图像注释任务。我们的评估证明了它的实用性：对于同样的 ImageNet HIT，Dragoon 的链上处理成本甚至低于亚马逊的 Mechanical Turk 的处理费用。我们进一步实例化我们的协议以实现一个名为 Dragoon 的系统，该系统的一个实例部署在以太坊之上，以促进 ImageNet 使用的图像注释任务。我们的评估证明了它的实用性：对于同样的 ImageNet HIT，Dragoon 的链上处理成本甚至低于亚马逊的 Mechanical Turk 的处理费用。我们进一步实例化我们的协议以实现一个名为 Dragoon 的系统，该系统的一个实例部署在以太坊之上，以促进 ImageNet 使用的图像注释任务。我们的评估证明了它的实用性：对于同样的 ImageNet HIT，Dragoon 的链上处理成本甚至低于亚马逊的 Mechanical Turk 的处理费用。