igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

attack-pass F2 record: in-house wording

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-08 02:59:00 +01:00
parent de52c6975b
commit 9474cea85d
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/analysis/attack-pass/f2-mixer.md
View file

@ -205,8 +205,8 @@ item assumes. `mixer_mult` stays 8; the verifier measurement of F6 stands unchan
## 7. What this does not do
- It does not bound the mixer from below: the general models are trail models (Markov for the multiply's
differential, piling-up for the linear), and the family models are exact only inside their families. The firm's
job (funding.md B5 rank 1) is the effort-bounded version of the same search with their tools.
differential, piling-up for the linear), and the family models are exact only inside their families. The adversarial
lanes' job (funding.md B5 rank 1) is the effort-bounded version of the same search with their own tools.
- Three days, not a census: the ROT, MUL, RC classes over 2^24 days are F4's row. One cheap addition for F4 from
this harness: the MSB-family death at k = 2 (`model.py search --kind diff --family msb --apps 2`) runs in seconds
per day, and a day where it does not die is a weak day of the kind the gate is about.