Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add notes about disputes #75

Merged
merged 7 commits into from
Nov 14, 2023
Merged

Add notes about disputes #75

Show file tree
Hide file tree
Changes from 4 commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
b47dfa4
Add note about dispute resolution by the AC
maltekliemann Dec 18, 2022
6fecda8
Add some details about dispute mechanisms
maltekliemann Dec 18, 2022
92b3855
Add link to section about dispute mechanisms
maltekliemann Dec 18, 2022
3c68a57
Fix formatting
maltekliemann Dec 18, 2022
f723dba
Apply suggestions from code review
maltekliemann Nov 1, 2023
e14f0b2
Merge branch 'main' into mkl-ac-disputes
maltekliemann Nov 10, 2023
c7b1a67
Fix formatting
maltekliemann Nov 10, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
5 changes: 5 additions & 0 deletions docs/learn/governance.md
View file
Open in desktop
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I mean we still offer authorized markets on the polkadot js and ultimately in our protocol for main-net. However the decentralised court system should be fully controlling the dispute resolution by the time it is applied to the main-net. So, I think this deprecated functionality shouldn't be mentioned in the documentation.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we mention here that the advisory committee can close markets early?

I am also currently wondering if we need this, if we have the more advanced feature of closing markets early (with fat finger protection).

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I mean we still offer authorized markets on the polkadot js and ultimately in our protocol for main-net. However the decentralised court system should be fully controlling the dispute resolution by the time it is applied to the main-net. So, I think this deprecated functionality shouldn't be mentioned in the documentation.

Authorized is not deprecated though.

Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,11 @@ platform. It is allowed to make the following decisions:
- Reject advised markets if they are deemed valid (requires majority approval)
- Close markets (requires two-thirds approval) or destroy markets (requires full
approval) which are in gross violation of our rules of conduct
- Resolve disputes for markets with the [Authorized] dispute mechanism
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- Resolve disputes for markets with the [Authorized] dispute mechanism


The rules that the Advisory Committee enforces may be found in
[Rules for Market Creation](market-rules.md).

<!-- Links -->

[authorized]: ./using-zeitgeist-markets.md#disputes
Comment on lines +28 to +31
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
<!-- Links -->
[authorized]: ./using-zeitgeist-markets.md#disputes

51 changes: 23 additions & 28 deletions docs/learn/using-zeitgeist-markets.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -239,43 +239,35 @@ within a fixed frame of time. If the oracle fails to submit the report in time,
the market creators stake will be slashed, and all addresses will be able to
submit their report.

<!-- prettier-ignore -->
:::important
In the Zeitgeist Beta, the oracle has 24 hours to report the outcome.
:::

Once the report is submitted, the status of the market changes from inactive to
Once the report is submitted, the status of the market changes from _closed_ to
_reported_.

### Disputes

Every time a report is submitted (by the oracle or a stand-in), the market is
not resolved for another 24 hours. During this period of time, other users can
submit a _dispute_ if they believe that the report is incorrect.
When a report is submitted (by the oracle or a stand-in), the market is not
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is the stand-in the outsider? Can we avoid naming conflicts here?

maltekliemann marked this conversation as resolved.
Show resolved Hide resolved
resolved for a certain window of time called the _dispute period_. During this
period of time, other users can submit a _dispute_ if they believe that the
maltekliemann marked this conversation as resolved.
Show resolved Hide resolved
report is incorrect. To do so, they stake a certain amount of ZTG, the _dispute
bond_ and report the outcome they believe to be correct (the _suggestion_).
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
bond_ and report the outcome they believe to be correct (the _suggestion_).
bond_.


To do so, they stake some ZTG and report the outcome they believe to be correct.
The 24 hour window for disputes is then reset, and other users (including the
oracle) can dispute the new report.
How the dispute is resolved depends on what _dispute mechanism_ was selected
during market creation. The currently available dispute mechanisms are:
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
How the dispute is resolved depends on what _dispute mechanism_ was selected
during market creation. The currently available dispute mechanisms are:
How the dispute is resolved depends on the [decentralized court] _dispute mechanism_.


If the dispute cannot be resolved, it is escalated to the
[Decentralized Court](./court.md).
- _Authorized_: After the market has been disputed, the [Advisory Committee]
decides which outcome the market will resolve to.
- _[Decentralized Court]_ (currently disabled): A group of randomly selected
jurors vote secretly to find a [Schelling point] among the market's outcomes,
which is then used as the resolved outcome.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
- _Authorized_: After the market has been disputed, the [Advisory Committee]
decides which outcome the market will resolve to.
- _[Decentralized Court]_ (currently disabled): A group of randomly selected
jurors vote secretly to find a [Schelling point] among the market's outcomes,
which is then used as the resolved outcome.
In short: A group of randomly selected jurors vote secretly to find a [Schelling point] among the market's outcomes, which is then used as the resolved outcome.


<!-- prettier-ignore -->
:::important
During the Beta campaign, only _simple disputes_ are enabled. This means that
the outcome of a market can be disputed a maximum of six times (with a 24h
window, except the last one), each time with a higher stake. The report of the
sixth dispute will be used to resolve the market. There is no decentralized
court in the beta.
:::
If the dispute is found to have been justified in the sense that the market
resolves to the outcome suggested by the disputant, the dispute bond is returned
to the disputant. If this is not the case, the dispute bond is slashed.
maltekliemann marked this conversation as resolved.
Show resolved Hide resolved

For example, suppose that the oracle of the JSWT market reports JWSTYES at
8:00AM, December 19. If no disputes are opened until 8:00AM, December 20, the
market is resolved to JWSTYES. If Alice is convinced that this is incorrect, she
may stake ZTG to dispute the outcome and report JWSTNO. If she does this at,
say, 16:00 PM, December 19, then a new window for disputes opens, and other
users could dispute the new report until 16:00 PM, December 20. If no other
disputes are opened, the market will resolve to JWSTNO at 16:00 PM, December 20.
8:00AM, December 19 and that the dispute period is 24h. If no disputes are
opened until 8:00AM, December 20, the market is resolved to JWSTYES. If Alice is
convinced that this is incorrect, she may stake ZTG to dispute the outcome and
report JWSTNO.

### Resolving Markets and Redeeming Tokens

Expand Down Expand Up @@ -343,6 +335,9 @@ outcome assets and ZTG) or other individual assets to any existing pool.

<!-- Links -->

[advisory committee]: ./governance.md#advisory-committee
[decentralized court]: ./court
[schelling point]: https://en.wikipedia.org/wiki/Focal_point_(game_theory)
maltekliemann marked this conversation as resolved.
Show resolved Hide resolved
[trading on zeitgeist]: #trading-on-zeitgeist
[resolving markets and redeeming tokens]:
#resolving-markets-and-redeeming-tokens
Expand Down