Given an accepted block hash, prove the occurence of an event emission from within that block. An old proof-of-concept of this can be found here: https://github.com/ava-labs/event-importer-poc/blob/main/contracts/src/EventImporter.sol#L43
Questions:
- How can this be extended for events in arbitrary blocks even if the given block's hash was not provided explicitly (i.e. chaining together finalized block hashes)
- Feasibility of gas costs
- Generality for different EVM chain (with potentially different block header formats)