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