Before: When an optimint full node finds a fraudulent block, it tells cosmos-sdk to go into fraudproof generation mode.
After: optimint can supply cosmos-sdk with a fraudulent block and tell it to actually generate a fraudproof.
In the fraudproof generation mode, a cosmos-sdk app reverts its state to a previous state before the fraudulent block was applied and enables tracing for modules specified by optimint.
Parts covered from the cycle of a fraudproof:
Optimint Full Node (Producer of fraudproof)
In the fraudproof generation mode, a cosmos-sdk app reverts its state to a previous state before the fraudulent block is applied and enables tracing.
Builds on top of #256
Closes: #249
Author Checklist
All items are required. Please add a note to the item if the item is not applicable and
please add links to any relevant follow up issues.
I have...
[x] included the correct type prefix in the PR title
[ x added ! to the type prefix if API or client breaking change
[x] targeted the correct branch (see PR Targeting)
[x] provided a link to the relevant issue or specification
[ ] updated the relevant documentation or specification
[ ] reviewed "Files changed" and left comments if necessary
[ ] confirmed all CI checks have passed
Reviewers Checklist
All items are required. Please add a note if the item is not applicable and please add
your handle next to the items reviewed if you only reviewed selected items.
I have...
[ ] confirmed the correct type prefix in the PR title
[ ] confirmed ! in the type prefix if API or client breaking change
[ ] confirmed all author checklist items have been addressed
Description
Before: When an optimint full node finds a fraudulent block, it tells cosmos-sdk to go into
fraudproof generation mode
.After: optimint can supply cosmos-sdk with a fraudulent block and tell it to actually generate a fraudproof.
In the
fraudproof generation mode
, a cosmos-sdk app reverts its state to a previous state before the fraudulent block was applied and enables tracing for modules specified by optimint.Parts covered from the cycle of a fraudproof:
Builds on top of #256
Closes: #249
Author Checklist
All items are required. Please add a note to the item if the item is not applicable and please add links to any relevant follow up issues.
I have...
!
to the type prefix if API or client breaking changeCHANGELOG.md
Reviewers Checklist
All items are required. Please add a note if the item is not applicable and please add your handle next to the items reviewed if you only reviewed selected items.
I have...
!
in the type prefix if API or client breaking change