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)
It verifies the fraudproof by doing a cross-reference of a header app hash from the blockchain against the contents of a fraudproof
Manav-Aggarwal
commented
2 years ago
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:
Parent issue: #245