V3rified：去中心化可验证计算中的揭示机制与非揭示机制
计算机科学与博弈论
2025-07-03 v2
摘要
在Web3时代，去中心化技术已成为新数字范式的基石。以去中心化区块链架构为支撑，Web3空间旨在将网络的各个方面民主化。从数据共享到学习模型，计算外包已成为一种成熟且普遍的做法。可验证计算使这一做法变得可信，因为客户端/用户现在可以高效地验证计算的完整性。当可验证计算被考虑应用于Web3空间时，去中心化对于系统可靠性至关重要，确保没有任何单一实体能够压制客户端。然而，同时去中心化需要与效率取得平衡：客户端希望其计算尽可能快地完成。出于这些问题，我们研究了在将计算任务外包给策略型、理性服务提供者时去中心化与效率之间的权衡。具体而言，我们考察了当客户端采用（1）揭示机制，即拍卖，服务提供者竞标其完成任务的期望报酬及特定截止时间，然后客户端选择由谁完成任务以及报酬多少，和（2）简单、非揭示机制，客户端承诺用于在特定时间将解映射到奖励的规则集，然后服务提供者决定是否愿意完成任务。我们完全刻画了揭示机制与非揭示机制在我们模型中的能力与局限。
引用
@article{arxiv.2408.07177,
title = {V3rified: Revelation vs Non-Revelation Mechanisms for Decentralized Verifiable Computation},
author = {Tiantian Gong and Aniket Kate and Alexandros Psomas and Athina Terzoglou},
journal= {arXiv preprint arXiv:2408.07177},
year = {2025}
}