V3rified: Revelation vs Non-Revelation Mechanisms for Decentralized Verifiable Computation

Tiantian Gong,Aniket Kate,Alexandros Psomas,Athina Terzoglou

2024-08-14

Abstract:In the era of Web3, decentralized technologies have emerged as the cornerstone of a new digital paradigm. Backed by a decentralized blockchain architecture, the Web3 space aims to democratize all aspects of the web. From data-sharing to learning models, outsourcing computation is an established, prevalent practice. Verifiable computation makes this practice trustworthy as clients/users can now efficiently validate the integrity of a computation. As verifiable computation gets considered for applications in the Web3 space, decentralization is crucial for system reliability, ensuring that no single entity can suppress clients. At the same time, however, decentralization needs to be balanced with efficiency: clients want their computations done as quickly as possible. Motivated by these issues, we study the trade-off between decentralization and efficiency when outsourcing computational tasks to strategic, rational solution providers. Specifically, we examine this trade-off when the client employs (1) revelation mechanisms, i.e. auctions, where solution providers bid their desired reward for completing the task by a specific deadline and then the client selects which of them will do the task and how much they will be rewarded, and (2) simple, non-revelation mechanisms, where the client commits to the set of rules she will use to map solutions at specific times to rewards and then solution providers decide whether they want to do the task or not. We completely characterize the power and limitations of revelation and non-revelation mechanisms in our model.

Computer Science and Game Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is how to make a trade - off between decentralization and efficiency in the Web3 environment when computational tasks are outsourced to multiple rational solution providers. Specifically:

1. **Decentralization**: Ensure that no single entity can control or manipulate the verification process of computational results. This is especially important in the blockchain - based Web3 environment to avoid problems such as single - point failures and selective censorship.
2. **Efficiency**: Clients hope that their computational tasks can be completed as quickly as possible.

The paper explores this problem by studying two mechanisms:
- **Revelation Mechanisms**: Similar to an auction, solution providers will bid for the remuneration they need to complete the task, and the client selects the provider to perform the task and its remuneration according to these bids.
- **Non - Revelation Mechanisms**: The client commits in advance to a set of rules for mapping solutions submitted at a specific time to the corresponding remuneration, and solution providers decide whether to participate in the task according to these rules.

The goal of the paper is to describe the trade - offs between decentralization and efficiency of these two mechanisms and fully characterize their capabilities and limitations. For example, in the worst - case scenario, the non - revelation mechanism can only achieve at most half of the decentralization (i.e., at most only \( \frac{k^*}{2} \) agents submit solutions), while in the case of a larger \( k^* \), it can reach a decentralization level close to \( 1-\frac{1}{e} \). In addition, the paper also proves that under certain structural assumptions, decentralization and efficiency can be optimized simultaneously.

Expressed in formulas, let \( k^* \) be the maximum number of rewardable agents. Then for the non - revelation mechanism, the upper limit of its decentralization factor is:

\[ \text{Decentralization Factor} \leq \max\left(\frac{1}{2}, 1 - \frac{1}{e}-\frac{8}{k^*}\right) \]

And for efficiency, it is defined as the time guarantee \( t^*_\alpha \) for the fastest submitted solution, where \( \alpha\in(0, 1] \) represents the degree of decentralization:

\[ t^*_\alpha=\min_{S: |S| \geq \alpha k^*, \sum_{i \in S} c_i \leq 1} \min_{i \in S} t_i \]

Through the above analysis, the paper provides a theoretical basis for understanding the complex relationship between decentralization and efficiency in Web3 and proposes specific mechanism design suggestions.