Bad actors are able to push incorrect claims by spaming EMO and frontrunning.
The cost is one stake. Create unit tests that demonstrates such cases. Make such behaviour impossible or find another solution, that reduces potential risks to lose stake for good actors.
Scope
Write unit test for a specific case that demonstrates how prosecutors can be frontrunned with fake dispute, lose stake and have forever stuck dispute. System is still safe (no incorrect results are recognized as true claims).
Write unit test for a specific case that demonstrates how bad actor is able with the help of
fake claim create disputes that will reject all next legal attempts to falsify next incorrect claim. System is vulnerable (by paying one stake incorrect results can be recognized as true claim).
Timing logic: after STEP_TIMEOUT is expired noone is able to act, dispute can be timeout only after DISPUTE_TIMEOUT.
Have ability to remove stuck disputes.
Create workaround in _prosecutorWins function to avoid loses for good actors.
Deliverables
Unit tests that demonstrates vulnerable cases.
Disputes are not not stuck in a ClaimFalsifier forever.
Prosecutors stakes are not stuck in a ClaimFalsifier forever.
Bounty
Bad actors are able to push incorrect claims by spaming EMO and frontrunning. The cost is one stake. Create unit tests that demonstrates such cases. Make such behaviour impossible or find another solution, that reduces potential risks to lose stake for good actors.
Scope
Deliverables
Funding Circle
General
Bounty Owner/Gardener
@roleengineer as EMO developer
Gain for the Role
Roadmap progress
Roles
bounty gardener: @roleengineer / 0 DAI bounty worker: @roleengineer / 80% bounty reviewer: @unknown / 20%
Gardener checklist
size-S
labels to this bounty