Generally speaking, it allows any piece of software to retrieve the contents published at any web address at a certain point in time, with complete and verifiable proof of its integrity and without blindly trusting any third party. Witnet is a decentralized oracle network (DON) that connects smart contracts to the outer world. A remarkable property of our mechanisms is immunity (to agent misreports), namely that their outcome depends only on the reports of the truthful agents. We also show that any truthful mechanism with a constant approximation ratio needs to verify Omega(log m) agents. We obtain randomized truthful (or almost truthful) mechanisms without money that verify only O(ln m/eps) agents, where m is the number of outcomes, independently of the total number of agents, and are (1-eps)-approximate for the social welfare. Otherwise, the mechanism ignores any misreports and proceeds recursively with the remaining agents.
Having a good allocation in mind, a mechanism with verification selects few critical agents and detects, using a verification oracle, whether they have reported truthfully. We introduce a general approach based on selective verification and obtain approximate mechanisms without money for maximizing the social welfare in the general domain of Utilitarian Voting.
0 kommentar(er)
