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

adv-mixer-3 report: day 20730 sac rows from queue 07, Q7 board row

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 19:33:27 +00:00
parent c1a7897a0b
commit 9a3aeb9e8f
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/analysis/cryptanalysis/report-mixer-3.md
View file

@ -32,7 +32,7 @@ Plant rule: a tool is trusted once it has fired on a known-failed shape. Which s
| Q4b | t-bit linear correlations on the round-0 input, 2^26 samples | k = 0 (fired: c = 1.0, t bit 0 to s[8] bit 0) | no cell beyond 6 sigma | both days, k = 1..8: worst c 0.00046 to 0.00059 (z 3.7 to 4.9 over 16,384 cells), 0 cells beyond 6 sigma | PASS from k = 1 (BOUND) |
| Q5 | rotational-XOR, rotations 1, 8, 16, 2^22 samples | `weak0` at k = 1 (fired: 740 zero-difference words of 2^20 at r = 1, 245 at r = 16) | no zero-difference word above 2 of N, no repeated difference above 3 | both days, k = 1, 2, 3, 4 at 2^22 samples: 0 zero-difference words at every rotation (random expects about 0.001), most frequent per-word difference multiplicity 3 (the birthday expectation at 2^22 draws of 32 bits) | PASS from k = 1 (BOUND: the XOR constants and the odd multiply kill the rotational property inside one application) |
| Q6 | SAT (CaDiCaL) on the round-0 input: find t with a given 22-bit index after k applications | k = 1 solved and verified | solve inside one hour per k, time against the honest 2^10 x k x 130 ops | k = 1: SATISFIABLE in 137 s wall on build-1 (load about 160) and 1,593 s on build-2 (load about 500), the same model t = 0x49880000 both times, verified to the target 0x20eb79 through the real code. Honest: 2^10 trials of one application is under a millisecond. The solver is five orders slower than brute force at k = 1 | PASS at k = 1 (BOUND); k = 2..4 RUNNING (one-hour cap each) |
| Q7 | days: 20733 on every row, 8 fixed day indices on Q1 and Q2 | as above | as above | day 20733 rows land below | RUNNING |
| Q7 | days: 20733 on every row, 8 fixed day indices on Q1 and Q2 (queue 07, run by the sibling adv-mixer from the shared queue) | as above | as above | day 20733: every row above; day 20730: index uniform at k = 2, 3, 4, 8, sac clean at k = 2, 3; the other seven days pending in queue 07 | RUNNING |
| GPU | any GPU row | n/a | n/a | no GPU on either box | BLOCKED |
The round margin so far (internal adversarial pass, not an independent review): every single-bit statistic that
@ -89,6 +89,8 @@ run at k = 1 fired it too: 14,364 holes). The `one` plant is the firing check of
| 20733 | 2 | 2^24 | 0 | 0 | in 260 (word 8) to out 450 (word 14) | 0.49944 (z -4.59) | 0 | inside |
| 20733 | 3 | 2^24 | 0 | 0 | in 61 (word 1) to out 495 (word 15) | 0.50056 (z 4.61) | 0 | inside |
| 20733 | 4 | 2^24 | 0 | 0 | in 350 (word 10) to out 23 (word 0) | 0.50057 (z 4.67) | 0 | inside |
| 20730 | 2 | 2^24 | 0 | 0 | queue 07, run by adv-mixer | mean flip 0.50000 | pending | inside |
| 20730 | 3 | 2^24 | 0 | 0 | queue 07, run by adv-mixer | mean flip 0.50000 | pending | inside |
Reading: one application on a random 512-bit state leaves 354 deterministic cells (an input bit that always
or never flips a given output bit) and 129,726 of 262,144 cells beyond 6 sigma; 7,930 of the 11,264 cells that