From cd7ab8545695ee3a701321ed9380d45b8e4f74ea Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 18:56:49 +0000 Subject: [PATCH] adv-mixer: two clock labels to London time (the box clock is CEST) Co-Authored-By: Claude Fable 5.1 --- docs/analysis/cryptanalysis/report-mixer.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/analysis/cryptanalysis/report-mixer.md b/docs/analysis/cryptanalysis/report-mixer.md index f8ce03809..e03294cdb 100644 --- a/docs/analysis/cryptanalysis/report-mixer.md +++ b/docs/analysis/cryptanalysis/report-mixer.md @@ -132,7 +132,7 @@ above does not depend on the choice. Reconciling the median is handed to adv-mix 1.17x FPGA-datapath gain the chip model does not credit as hash rate (the chip is bound by the 8 cache reads and the fixed op count, not by one day's multiply-adder count), and a weak day is a public calendar. -## Q1 deepening (from 20:4x BST): more days, all key pairs, exact relations, the address bits, a SAT model +## Q1 deepening (from 19:4x BST): more days, all key pairs, exact relations, the address bits, a SAT model Main's re-scope asked for the probes at full 32-bit width over more days and more rk pairs, a SAT model of two keyed applications for an algebraic relation, and a relation search in the s[0] line-index bits. Binary sha256 @@ -228,7 +228,7 @@ claimed and ran the following. The results belong to the owning lane and are not | File | Owner | Claimed | Run on | Result | |---|---|---|---|---| -| 07-adv-mixer-3-days.sh | adv-mixer-3 | 20:54 BST | box 1, nice 10, cores 8-95 | RUNNING; the owner's logs land in /srv/builds/_adv-mixer-3/logs; the wrapper log is queue-07-adv-mixer-3-days.sh.log under this lane's logs | +| 07-adv-mixer-3-days.sh | adv-mixer-3 | 19:54 BST | box 1, nice 10, cores 8-95 | RUNNING; the owner's logs land in /srv/builds/_adv-mixer-3/logs; the wrapper log is queue-07-adv-mixer-3-days.sh.log under this lane's logs | ## Confirmation across the stale and frozen trees