From ce1a28afd6b81d4daaaaef93d18d0de8c982018d Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Wed, 7 Oct 2026 18:05:08 +0000 Subject: [PATCH] in-house-pass.md: the Devnet 3 epoch-0 pack joins the lanes' inputs; the 24 box-hour budget approved, ask before 48 Main's correction (19:1x BST): v4-devnet3-epoch0 is cut and public-kit class (zip sha256 e025750f..., program.json 0xfce15bf61030be57 at attempt 0, fingerprint e510ad92b4d24846, exported under igneum-pow 6bb52c50, byte-identical to c3d32437); verified on build-1 by this lane and handed to the three lanes. Co-Authored-By: Claude Fable 5.1 --- docs/plans/cryptanalysis/in-house-pass.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/docs/plans/cryptanalysis/in-house-pass.md b/docs/plans/cryptanalysis/in-house-pass.md index bbb6a809f..ca2310fb2 100644 --- a/docs/plans/cryptanalysis/in-house-pass.md +++ b/docs/plans/cryptanalysis/in-house-pass.md @@ -21,8 +21,9 @@ | The frozen object | `igneum-pow` at commit `017e70376489251e18564c0abce7e466e606c8b3` on branch `ca3-v4-amend` (tag `audit-freeze-2026-10-07`); byte-identical on `master` since `cf7d6ccb` | | The class | Class v4 sub-version 3: `PROGRAM_SUBVERSION_V4 = 3`, object byte 7 | | The rules in the object | (a') dataflow freshness to a fixpoint; the shared-operand rule in the draw; (c'') the per-site distinct-index ratio at 0.98 over 2^20 evaluations; the 256-attempt cap and the deterministic last-resort draw | -| Program ids | The shared devnet's epoch-0 id `a785001687d8688a` (the kaspa-pow pairing pin); Devnet 3's epoch-0 id `fce15bf61030be57` (no pack cut for it) | +| Program ids | The shared devnet's epoch-0 id `a785001687d8688a` (the kaspa-pow pairing pin); Devnet 3's epoch-0 id `fce15bf61030be57` (attempt 0, sub-version 3) | | The kit | `packs-ca3-v4-sub3` zip, sha256 `4f2445c50c58d76a5544023492d8b858d0b07c5e372d31f9c90c4ce51f829154`, eight packs: the contents of `proto-cuda/packs-ca3-v4/` at the frozen commit (`mx8-devnet-epoch0` the class v3 control, `v4-devnet-epoch0`, `v4-era-0` to `v4-era-5`) | +| The Devnet 3 pack | `v4-devnet3-epoch0` (zip sha256 `e025750f71175ed14d6e2a24e387ebbf1979b1cd0faee9139c41a7671165b334`, 12 files, program.json `0xfce15bf61030be57` at attempt 0), on build-1 at `/srv/artefacts/packs/v4-devnet3-epoch0/` and `.zip`; Metal and Apple OpenCL fingerprint `e510ad92b4d24846` at 2^24 from base 0; exported under igneum-pow `874e945d` (byte-identical to `017e7037`) over Devnet 3's genesis with day bytes le64(20733); public-kit class, verified by this lane on build-1 at 19:1x BST | | The dataset under attack | Spec `docs/spec/01-lottery-hash.md` 1.8: ChaCha12 cache fill in 2^16 segments of 64 chained lines; the ARX-multiply mixer with per-day `ROT`, `MUL`, `RC` from a 64-bit SplitMix64 seed; `m = 8`, 72 applications per item, 8 dependent cache reads | | The acceptance rule under attack | Spec 1.4.6 as the code `igneum-pow/src/accept.rs` implements it at the frozen commit (the code is the truth where the spec lags it) | @@ -46,7 +47,7 @@ Each lane's branch starts from the build mirror's `master` (`3f0afcd5`) and is p | The spec `docs/spec/01-lottery-hash.md` at the frozen commit | `git show 017e7037:docs/spec/01-lottery-hash.md` | | The chip model `docs/analysis/chip-model-v3.md` sections 1, 2, 5 and 6 | the worktree's HEAD | | The public kit: the eight packs | `proto-cuda/packs-ca3-v4/` at the frozen commit; the zip sha256 above | -| The two program ids | stated in the lane's prompt | +| The two program ids and the Devnet 3 pack | stated in the lane's prompt; the pack read from build-1 (`/srv/artefacts/packs/v4-devnet3-epoch0/`, sha256 above), handed to the lanes at 19:1x BST after their start | | The attack harnesses `tools/attack/f8-uniform` and the F4 census `tools/attack/f4-weakday` | f4-weakday from `build/attack-pass`; f8-uniform from the Mac worktree `igneum-wt-attack-regate` (that branch is not on the mirror); copied, never edited in place | | The operating files needed to run anything | `tools/build-remote.sh`, `infra/build-server/lib.sh`, `infra/build-server/remote-run.sh` | @@ -76,7 +77,7 @@ Box 2 (`igneum-build-2`) at 18:5x BST: load 23 on 96 cores, 3 slots, all three f | adv-mixer | 64 to 95 | 8 box-hours | 16 | SAT and MILP searches on reduced rounds; the 2^24 day-key census | | adv-cache | 32 to 63 | 8 box-hours | 16 | one 256 MiB cache fill per day key; the 2^28 line-index census | | adv-accept | 0 to 31 | 8 box-hours | 16 | the 10^6-seed passing-program search; the stand-in against the live dataset | -| Total | 3 slots | 24 box-hours | 48 | a box-hour is one slot for one hour (32 cores); 24 box-hours = 768 core-hours | +| Total | 3 slots | 24 box-hours (APPROVED by main, 19:1x BST) | 48 (ask main before crossing 24) | a box-hour is one slot for one hour (32 cores); 24 box-hours = 768 core-hours | A lane holds one slot at a time. A run over 10 minutes is built through `tools/build-remote.sh --box 2` and started on the box with `nohup`, `nice -n 10`, `taskset` to the lane's band, a pid file beside its log under `/srv/builds/igneum-wt-adv-/adv/`; killed by pid file only. No GPU tonight: a GPU measurement is BLOCKED and says so. Nothing runs on the Mac.