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

Jump to bottom

Export minimal pre-execution state from a fraudulent block instead of a post-execution state #257

Closed
Tracked by #245
, #514
...
Manav-Aggarwal opened this issue Aug 10, 2022 · 1 comment
Closed
Tracked by #245
, #514
...

Export minimal pre-execution state from a fraudulent block instead of a post-execution state #257

Manav-Aggarwal opened this issue Aug 10, 2022 · 1 comment
Assignees
@Manav-Aggarwal
Labels
block-fraud-proofs Block Fraud Proofs (Generation and verification) C: Cevmos Changes related to the cevmos branches C:Store

Comments

@Manav-Aggarwal
Copy link
Member

Manav-Aggarwal commented Aug 10, 2022 •
edited
Loading

We'd like to be able to revert to a previous state of a cosmos-sdk baseapp and use logs from a trace to filter down to the minimal set of state needed in a fraudproof.

Parts covered from the cycle of a fraudproof:

Optimint Full Node (Producer of fraudproof)
3. The cosmos-sdk will simply execute the fraudulent block while logging all the states touched by the transaction. Then, it will revert to a previous state again, and then snapshot the state while using the contents of the log to filter down to the minimal set of state needed. This minimial snapshot will be packaged as a fraudproof and passed back to optimint.

Parent issue: #245
@Manav-Aggarwal Manav-Aggarwal mentioned this issue Aug 10, 2022
Closed
5 tasks
@Manav-Aggarwal Manav-Aggarwal added C: Cevmos Changes related to the cevmos branches block-fraud-proofs Block Fraud Proofs (Generation and verification) C:Store labels Aug 10, 2022
@Manav-Aggarwal Manav-Aggarwal self-assigned this Aug 11, 2022
@Manav-Aggarwal Manav-Aggarwal mentioned this issue Aug 11, 2022
Closed
19 tasks
@Manav-Aggarwal Manav-Aggarwal linked a pull request Aug 11, 2022 that will close this issue
feat: Export minimal pre-execution state from a fraudulent block instead of a post-execution state #260
Closed
19 tasks
@tzdybal tzdybal moved this to TODO in Celestia Node Sep 13, 2022
@tzdybal tzdybal moved this from TODO to In Review in Celestia Node Sep 13, 2022
@Manav-Aggarwal
Copy link
Member Author

Closed by: rollkit#1

Repository owner moved this from In Review to Done in Celestia Node Nov 17, 2022
@tzdybal tzdybal mentioned this issue Nov 17, 2022
Closed
38 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Manav-Aggarwal Manav-Aggarwal

Labels
block-fraud-proofs Block Fraud Proofs (Generation and verification) C: Cevmos Changes related to the cevmos branches C:Store
Projects
No open projects
Celestia Node
Archived in project
Milestone
No milestone
1 participant
@Manav-Aggarwal