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.

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

feat: Add fraudproof verification on a substore level #256

Conversation

Manav-Aggarwal
Copy link
Member

@Manav-Aggarwal Manav-Aggarwal commented Aug 9, 2022

Description

After a fraudproof is verified on store level, and before it is used to load a baseapp with its contents, it should first verify all the inclusion proofs embedded for each key/value on a substore level.

Parts covered from the cycle of a fraudproof:

Optimint Full/Light Node (Verifier of fraudproof)
2. It verifies the fraudproof by doing a cross-reference of a header app hash from the blockchain against the contents of a fraudproof

Parent issue: #245

Builds on top of #254

Closes: #255


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...

  • included the correct type prefix in the PR title
  • added ! to the type prefix if API or client breaking change
  • targeted the correct branch (see PR Targeting)
  • provided a link to the relevant issue or specification
  • followed the guidelines for building modules
  • included the necessary unit and integration tests
  • added a changelog entry to CHANGELOG.md
  • included comments for documenting Go code
  • 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
  • reviewed state machine logic
  • reviewed API design and naming
  • reviewed documentation is accurate
  • reviewed tests and test coverage
  • manually tested (if applicable)

@Manav-Aggarwal Manav-Aggarwal changed the base branch from v0.46.0-with-smt to manav/add-store-level-fp-verification August 11, 2022 17:09
@Manav-Aggarwal Manav-Aggarwal force-pushed the manav/add-substore-level-fp-verification branch from 41c96f1 to a746788 Compare August 12, 2022 01:28
@Manav-Aggarwal Manav-Aggarwal force-pushed the manav/add-store-level-fp-verification branch from b2af66b to 78022b8 Compare August 12, 2022 01:56
@Manav-Aggarwal Manav-Aggarwal force-pushed the manav/add-store-level-fp-verification branch from 30f5065 to 3c5cd63 Compare August 16, 2022 19:58
@Manav-Aggarwal
Copy link
Member Author

everything is moved to cosmos-sdk-rollmint repo

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
block-fraud-proofs Block Fraud Proofs (Generation and verification) C: Cevmos Changes related to the cevmos branches C:Store
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add fraudproof verification on a substore level
2 participants