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

in-house-pass.md: the Devnet 3 epoch-0 pack joins the lanes' inputs; the 24 box-hour budget approved, ask before 48

Browse source 
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 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 18:05:08 +00:00
parent 7f077c3622
commit ce1a28afd6
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
docs/plans/cryptanalysis/in-house-pass.md
View file

@ -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-<lane>/adv/`; killed by pid file only. No GPU tonight: a GPU measurement is BLOCKED and says so. Nothing runs on the Mac.