dymensionxyz/dymension

Get fraud proofs working in full

Closed this issue 3 months ago · 1 comments

danwt commented 6 months ago

#787
dymensionxyz/rollapp-evm#131
dymensionxyz/dymint#621
dymensionxyz/cosmos-sdk#2
dymensionxyz/iavl#1 (see here for diff with celestia's work)
dymensionxyz/cometbft#2

old stuff for reference

Michaels EVM changes dymensionxyz/rollapp-evm@main...feat/fraudproofs (see diff)
Michaels comet changes https://github.com/dymensionxyz/cometbft/pull/1/files
Michaels SDK changes https://github.com/dymensionxyz/cosmos-sdk/pull/1/files

Celestia mega issue

IAVL stuff

fast storage explained cosmos/iavl#468
must implement a subset of https://github.com/dymensionxyz/cosmos-sdk/blob/2a46ef352bd25da6ae1e419fe0508f8a1cb971ea/store/iavl/tree.go#L20-L37
in particular https://github.com/dymensionxyz/cosmos-sdk/blob/70589eb845a4c8c471429fc832e2922f8631eb81/store/types/store.go#L223-L234
eth research article https://ethresear.ch/t/data-availability-proof-friendly-state-tree-transitions/1453/23

## Other resources

rollkit/rollkit#132

danwt commented 3 months ago

moved to research repo https://github.com/dymensionxyz/research/issues/332