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

Create new base-app instead of setting it in existing base-app #572

Closed
Tracked by #571
nashqueue opened this issue Nov 4, 2022 · 1 comment
Closed
Tracked by #571

Create new base-app instead of setting it in existing base-app #572

nashqueue opened this issue Nov 4, 2022 · 1 comment
Labels
blocked C:light-client C:state-fraud-proofs Component: State Fraud Proofs (generation and validation)

Comments

@nashqueue
Copy link
Member

nashqueue commented Nov 4, 2022

A rollmint light client does not start with a Cosmos-SDK app. In server/start.go, there is a notion of an appCreator which is how a cosmos-sdk app is initially initialized. We'd like to combine SetupBaseAppFromFraudProof described in the fraudproof prototype here with this appCreator.

After this is done, a rollmint light client should be able to spin up a new Cosmos SDK app and initialize its store with Deep Subtrees constructed using merkle inclusion proofs in the FraudProof. After this initialization, the app hash representing the state of the app should match the appHash inside the FraudProof. Also, this store should now contain all the key/value pairs and underlying tree structure necessary to execute the fraudulent state transition contained in the FraudProof.

This issue should also resolve this comment: https://github.com/celestiaorg/cosmos-sdk-rollmint/pull/1/files#r997083032

@Manav-Aggarwal
Copy link
Member

#1632 (comment)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
blocked C:light-client C:state-fraud-proofs Component: State Fraud Proofs (generation and validation)
Projects
None yet
Development

No branches or pull requests

2 participants