Skip to content

Rv fuzzing setup#19484

Draft
asavienko wants to merge 10 commits intoethereum-optimism:developfrom
runtimeverification:rv-fuzzing-setup
Draft

Rv fuzzing setup#19484
asavienko wants to merge 10 commits intoethereum-optimism:developfrom
runtimeverification:rv-fuzzing-setup

Conversation

@asavienko
Copy link

Description

Tests

Additional context

Metadata

asavienko added 10 commits March 4, 2026 15:09
…LogsDB`.

These tests ensure correct functionality under varied inputs and edge cases.
Provides in-depth architecture, component, and fuzz testing insights for the OP-Supernode, focusing on verification, invalidation, and rewind mechanisms.
…d added reset/rewind coverage. Refactor mocks for sealed block tracking and refine expiry boundary tests.
…, reusable components, edge cases, and implementation strategy for OP-Supernode validation, rewind, and interop testing campaigns.
…d` with `L1Inclusion`, refine boundary and rewind logic for `Interop` and `VerifiedDB`.
…hrough.md` by removing outdated sections, adding cycle detection logic, and aligning fuzz targets with the updated implementation plan.
…reuse analysis, structural mock comparisons, and usage matrix for fuzzing campaign.
… properties, test coverage, and execution commands for `Interop`, `EngineController`, `VerifiedDB`, `LogsDB`, and `DenyList`.
@asavienko asavienko requested a review from a team as a code owner March 11, 2026 11:35
@asavienko asavienko marked this pull request as draft March 11, 2026 11:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant