Mhairi
January 31, 2023, 3:47pm
1
This UMIP proposes the introduction of the OptimisticAsserter contract, which allows for the assertion of truths about the world using an optimistic escalation game. The contract utilizes the UMA Data Verification Mechanism (DVM) to arbitrate disputes, and allows for the use of Escalation Managers to define their own security properties and tradeoffs.
## Headers
| UMIP-171 | |
| ---------- | -------------------------------------- |
| UMIP Title | Add OptimisticAsserter |
| Authors | Pablo Maldonado (pablo@umaproject.org) |
| Status | Approved |
| Created | January 25, 2023 |
|Discourse Link|https://discourse.uma.xyz/t/add-optimistic-asserter/1905|
## Summary (2-5 sentences)
This UMIP proposes the introduction of the `OptimisticAsserter` contract, which allows for the assertion of truths about the world using an optimistic escalation game. The contract utilizes the UMA Data Verification Mechanism (DVM) to arbitrate disputes, and allows for the use of Escalation Managers to define their own security properties and tradeoffs.
## Motivation
The `OptimisticAsserter` is a new form of Optimisitic Oracle which existing mechanics have been streamlined in order to simplify the creation of world-truth assertions. To this end, the result of an assertion can only be true or false, and an assertion is resolved only after the liveness period has expired or, in the case of a dispute, after it has been settled in the Oracle. In addition, the `OptimisticAsserter` permits the use of Escalation Managers to provide better control and setting over the escalation game and, ultimately, to disconnect from the UMA DVM in order to arbitrate conflicts in the specified Oracle. This disconnection logic is left up to the integrating project and is disabled by default.
## Technical Specification
show original