Issues · runtimeverification/_audits_Ethereum-optimism_optimism_interopv2 · GitHub

Labels Milestones New issue

`l1Inclusion()` might retrieve inconsistent L1 block in the case of reorg

#75

· lucasmt opened

on Apr 20, 2026

Block invalidation may fail silently without rewinding executing engine

#74

· lucasmt opened

on Apr 20, 2026

Construction of synthetic block might fail if block execution depends on fee recipient

#73

· lucasmt opened

on Apr 20, 2026

Inaccurate debug message in `verifyCanAddTimestamp()` when `seal.Timestamp == ts`

#72

· lucasmt opened

on Apr 20, 2026

Unnecessary rewind of the executing engine in `DecisionRewind` case

#71

· lucasmt opened

on Apr 20, 2026

Rewind is triggered even if previous verified L1 is still valid

#70

· lucasmt opened

on Apr 20, 2026

Coverage Report

#69

· gtrepta opened

on Apr 17, 2026

Supernode code quality suggestions

#68

· lucasmt opened

on Apr 17, 2026

Appendix

#64

· rebeca-vacaru opened

on Apr 15, 2026

Informative Findings

#63

· rebeca-vacaru opened

on Apr 15, 2026

Findings

#62

· rebeca-vacaru opened

on Apr 15, 2026

Fuzzing

#61

· rebeca-vacaru opened

on Apr 15, 2026