From 7ad99bfcbf04452755bbbb63e5ef8d61cbc9b35e Mon Sep 17 00:00:00 2001 From: Roman Date: Fri, 12 Jun 2026 14:22:12 +0800 Subject: [PATCH] fix: remove work done items --- docs/fuzzing.md | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/fuzzing.md b/docs/fuzzing.md index a714da0..5694324 100644 --- a/docs/fuzzing.md +++ b/docs/fuzzing.md @@ -693,6 +693,4 @@ from `data`; if a check doesn't depend on the input, write it as a unit test in |------|-------| | `PrivacyPreservingTransaction` coverage | Excluded from `fuzz_encoding_roundtrip` because its ZK receipt cannot be reconstructed in a fuzzing loop. A dedicated slow target with `RISC0_DEV_MODE=1` and `proptest` should be added after the current targets are stable | | `fuzz_validate_execute_consistency` new-account detection | If `execute_check_on_state` creates a brand-new account absent from both the genesis set and the diff, that state-widening will not be detected — full detection requires iterating all accounts in `V03State`, which the API does not currently expose | -| Differential testing (sequencer vs replayer) | ✅ Implemented — `fuzz_sequencer_vs_replayer` feeds the same block through the sequencer path (`validate_on_state` → `apply_state_diff`) and the replayer path (`execute_check_on_state`) and asserts identical state for all known accounts | -| AFL++ integration | ✅ Implemented — `just afl-build`, `just fuzz-afl`, `just fuzz-afl-parallel`; nightly CI in `.github/workflows/fuzz-afl.yml`; single `fuzz/Cargo.toml` covers both engines via feature flags | | LEZ version tracking | There is no submodule pin — `lez-fuzzing` reads `../logos-execution-zone` as checked out. Update that repo to a release tag or a tested commit, then run `just update-lez` (which does `git pull --ff-only`) and open a PR to bump it |