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

Test stateless execution for cosmos-sdk baseapp using SMT-based fraudproofs #252

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

Test stateless execution for cosmos-sdk baseapp using SMT-based fraudproofs #252

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

Comments

@Manav-Aggarwal
Copy link
Member

Manav-Aggarwal commented Aug 8, 2022 •
edited
Loading

As part of the fraudproof cycle described in #245, we'd like to be able to test stateless execution for a cosmos-sdk baseapp by using fraudproofs based on the new multistore with SMTs.

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. This minimial snapshot will be packaged as a fraudproof and passed back to optimint.

Optimint Full/Light Node (Verifier of fraudproof)
3. Now, it spins up a fresh cosmos-sdk and tells it to initialize with the fraudproof which is essentially a minimal snapshot sufficient to execute the fraudulent block.

Parent issue: #245
@Manav-Aggarwal Manav-Aggarwal self-assigned this Aug 8, 2022
@Manav-Aggarwal Manav-Aggarwal added C: Cevmos Changes related to the cevmos branches block-fraud-proofs Block Fraud Proofs (Generation and verification) labels Aug 8, 2022
This was referenced Aug 8, 2022
Closed
Closed
@Manav-Aggarwal Manav-Aggarwal linked a pull request Aug 8, 2022 that will close this issue
feat: Test stateless execution for cosmos-sdk baseapp using SMT-based fraudproofs #248
Closed
18 tasks
@Manav-Aggarwal Manav-Aggarwal changed the title Test switching between a cosmos-sdk baseapp and fraudproof Test stateless execution for cosmos-sdk baseapp with loading from fraudproofs Aug 10, 2022
@Manav-Aggarwal Manav-Aggarwal changed the title Test stateless execution for cosmos-sdk baseapp with loading from fraudproofs Test stateless execution for cosmos-sdk baseapp using SMT-based fraudproofs Aug 10, 2022
@tzdybal tzdybal moved this to TODO in Celestia Node Sep 13, 2022
@tzdybal tzdybal moved this from TODO to In Progress in Celestia Node Sep 13, 2022
@tzdybal tzdybal moved this from In Progress to In Review in Celestia Node Sep 13, 2022
@tzdybal tzdybal mentioned this issue Sep 13, 2022
Closed
38 tasks
@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
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
Projects
No open projects
Celestia Node
Archived in project
Milestone
No milestone
1 participant
@Manav-Aggarwal