Validation Pool: Difference between revisions
m (→Pseudocode) |
m (→Pseudocode) |
||
Line 85: | Line 85: | ||
** [[Executive governance]] | ** [[Executive governance]] | ||
** [[Legislative governance]] | ** [[Legislative governance]] | ||
* [[Roll ups]] | |||
==Notes & references== | ==Notes & references== |
Revision as of 18:10, 26 February 2024
The Validation Pool is the mechanism for minting new REP tokens and holding REP-weighted votes to determine their distribution in the DAO. The Validation Pool smart contract (VPSC) is the primary mechanism for governing a DAO under DGF. VPSC and the Forum smart contract (FSC) form the core of the back-end software of DGF. A new instantiation of the Validation Pool is called to register consensus on each assertion made in the DAO.
A Validation Pool is analogous to a betting pool, in that members may register their votes with REP tokens, then, in a binding vote, those voting for the losing side have their REP tokens redistributed to the winners, proportionally. Most Validation Pools result in unanimous agreement and are held merely to motivate and demonstrate consensus in a decentralized organization.
The Validation Pool is the mechanism which institutes weighted-democratic governance in DGF. The will of the DAO membership is registered through votes weighted by REP tokens. A member with twice as many REP tokens has twice as much power to influence the outcome of a vote. In executive governance the Validation Pool is used to police posts in the Forum with binding votes. In legislative governance the Validation Pool registers the will of the group on proposals posted to the Forum in a sequence of votes that move from non-binding to binding. In judicial governance an older post in the Forum can have its REP value reviewed and changed by adding a new post which references it positively or negatively, as long as the new post is successfully validated by the Validation Pool smart contract.
Specification
Overview
The VPSC is the primary component of the DGF workflow. An instantiation of the VPSC is called a Validation Pool. A Validation Pool takes as initial input a new post's address in the Forum, a cash fee, and a type of REP token to be minted. VPSC returns newly minted REP tokens. In addition each owner of REP tokens specific to the domain of the post may encumber their tokens and vote up or down on the post. VPSC redistributes the new REP and the encumbered REP as described below.
Let denote the total number of reputation tokens in a DAO with experts for . An expert is defined as anyone who owns a REP token. Let denote the number of tokens owned by expert . So
Mint new REP
When VPSC is called, the fee is encumbered, and new REP tokens are minted of the type specified. The parameter is called the minting ratio, which determines the proportional number of REP minted to the fee, as set by the DAO.
Vote
VPSC then encumbers default of the newly minted tokens in the poster's name as an upvote, and encumbers of the newly minted tokens as a downvote, left unassigned to any owner until the completion of the smart contract. The fraction of the new tokens is thus given to the worker who put their evidence of work in the post. The remaining fraction of the new REP tokens is given as a reward for participating in policing.
VPSC then allows each expert to encumber any of their REP tokens (of the proper type) with an input of upvote () or downvote () or default abstention (). Once the voting period is finished, VPSC counts the votes by calculating the vote total If that means the total REP used to upvote outweighs the total REP used to downvote This means Therefore if the post is validated. If then the downvote wins and the post is invalidated. (The fact that results in validation reflects the almost arbitrary decision that ties will always favor the upvotes.)
Redistribution: binding vs. non-binding
The newly minted tokens on the losing side are distributed to the winning side proportionally. I.e., if upvotes win, each expert voter with receives of the new tokens. If downvotes win, each voter with receives of the new tokens. In that case, those tokens were taken from the poster whose post was invalidated. This proportional arithmetic ensures that someone who risks twice as many REP tokens on an assertion earns twice as much reward if they win.
A VPSC can be binding or non-binding. If an instantiation of the VPSC is binding, that means the REP tokens of all those who voted against the winning side will lose the tokens they encumbered to those who won, proportionally. E.g., if the post is validated, then all the REP used to downvote is redistributed to those who upvoted, meaning each voter with receives new tokens.
Further, a VPSC can be -binding for any . A -binding VPSC redistributes the fraction of the losers' tokens to the winners.
REP salary
Finally, the Validation Pool takes the fee encumbered from the beginning and distributes it to all DAO members in proportion to their REP token holdings. The proportionate REP salary means someone who owns twice as many REP tokens gets twice as much cash reward from the fee. Specifically, expert who owns tokens gets a reward of .
Pseudocode
An instantiation of VPSC flow on Ethereum is described as follows:
1. Accept three initial inputs
: #Usually the inputs come from the Work Smart Contract
Address of a Forum post
. #This address in the Forum typically holds the information that the Validation Pool is called to vote on. It also typically includes pointers to previous posts in the Forum, i.e., references. In this case the post is associated with a type of REP, which is the root post in the sub-DAG determined by the pointers. If no pointer is included, it is a root post and therefore a new expertise tag. An expertise tag is simply the address of the Ethereum transaction that is a root post, but it will also have a human readable name such as E500. If a pointer is included, the post is a new leaf on an existing expertise tree.an ether-based fee
. #The fee would ideally be denominated in a robust stable coin to give the DAO business predictability.REP
. #The REP is typically the Worker's REP which was encumbered from the ASC and sent to the WSC according to DGF workflow.
2. Mint new reputation tokens in the relevant type of REP tag in proportion to the amount of the fee
.
#For example, if the human readable name of a DAO's expertise tag is E500, the newly minted tokens in E500 will be ERC-20 tokens of the type XRP-E500.
3. Stake half the new reputation tokens in the poster’s name along with the other optional reputation tokens the poster sent as an upvote bet. Stake the other half of the newly minted tokens against the post as a downvote
. #This choice of stake is a tunable parameter in the full version, subject to governance.
4. Broadcast the opening of the betting pool to the network.
#This means the address of the post (and automatically, therefore the relevant expertise tag) is broadcast with a deadline for submitting relevant reputation tokens as upvotes or downvotes on the post. The deadline is another tunable parameter, subject to governance
5. Collect, count, and compare the upvote and downvote reputation tokens to decide the winner.
#See above specifications.
6. Publish the result and distribute the reputation stakes from the losing side to the winners, weighted according to stakes.
7. Distribute the remaining ether fee (after paying necessary gas) as the REP salary to all owners of REP tokens in the expertise tag, weighted according to their holdings.
Consequences
The Validation Pool can be set to binding or non-binding votes to serve the function of executive or legislative governance.
Binding votes and executive governance
Main article: Executive governance
A binding vote means the effects of the proposal will be automatically implemented, typically with smart contract execution. A tightly-coupled vote means the voters' REP tokens ownership will be affected by the outcome of the vote--if their assertion fails, the voter loses their tokens. For stability, a member should only lose REP when they violate the established norms of the DAO. Tightly-coupled votes, therefore, should be used only for policing previously ratified protocols.
Binding tightly-coupled votes are only used for executive governance, meaning policing. Policing should be automated as much as possible, so that the members' UIs vote correctly every time. This means that almost always, executive governance is expensive, inefficient, and extremely redundant. There is continual communication between every member of the DAO using REP-encumbered transactions in order to hold seemingly meaningless unanimous votes on every official action the DAO performs. Unfortunately, this is the necessary cost for decentralization. Since no centralized authority exists to govern the behavior of the group, everyone in the group must govern the behavior of everyone else. Unanimous votes are not meaningless in the decentralized context; they are necessary to establish consensus in an environment with no central authority. In a decentralized network there is no natural canonical view of the network. Due to latency in the gossip network different members will have different views of the order in which transactions were proposed. The Validation Pool creates an artificial canonical view of the transactions in the network that the DAO decides are important.
The only time such executive governance policing will result in a vote which is not unanimous, is when a member is not running the most current canonical version of the UI. The canonical UI holds up-to-date standards for behavior and the correct versions of the newest approved smart contracts. Executive governance policing is required to prevent Byzantine behavior. Byzantine behavior includes editing the UI to change the way the member votes in a Validation Pool, or editing a smart contract to improve the outcome for the Byzantine actor.
Policing needs to be funded by sharing of all the newly minted REP tokens that the DAO ever generates. This cost motivates maximal participation to ensure policing is decentralized. This solves the nothing-at-stake problem in distributed computing. See REP tokenomics for an analysis of the cost of policing, based on the choice of parameter . The basic idea is to choose large enough so that the cost of running the hardware is sufficiently remunerated. The second motivation for choosing is to pay members for automatic participation in the DAO to decentralize power.
Non-binding votes and legislative governance
Main article: Legislative governance
On the other hand, a non-binding vote means the DAO intends to implement the result of the proposal, but that is not hard-coded to automatically execute. A loosely-coupled[1] vote means the opposite of a tightly coupled vote--if their assertion fails, the voter will not lose their tokens. This mechanism of non-binding votes encourages authentic deliberation in the course of legislative governance. The basic idea is to encourage timely adoption of carefully considered protocol updates through a series of Validation Pools, moving from loosely-coupled votes to tightly-coupled votes, through a series of -votes as is programmed to move from 0 (loose) to 1 (tight). The loosely-coupled votes are voluntary polls of proposals intended to elicit authentic opinion. The tightly-coupled votes ensure validated protocol updates are official, since binding Validation Pools force unanimity.
By using a final vote which is binding, everyone who participates registers the same opinion by algorithmic force, since minority dissent is punished by loss of tokens. Consensus is assured even if it is merely tacit acceptance. It is obviously not ideal to stifle those with differing views. But it is occasionally necessary for the decentralized body to require a timely choice in order to react to an emergency in the changing market.
????
Table ?? holds a summary of this thinking. Binding Non-binding Rigid Non-contentious post & tightly-coupled (E.g., work-evidence post, mandatory plebiscite) Non-contentious post & loosely-coupled (E.g., poll of consensus on established precedent) Flexible Contentious post & tightly-coupled (E.g., forcing consensus on protocol development) Contentious post & loosely-coupled (E.g., protocol development poll, advisory referendum)
Domain-specific REP
One post can be reposted multiple times with separate fees in order to mint multiple types of REP. This is useful when a post is meaningful in multiple different domains. As an example, ??
Code
See also
Notes & references
- ↑ Vitalik Buterin introduced the terminology of binding and coupled votes in a blog post that is not available at the time of this writing.