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

Node lane, plan 6.11: the proof share's first two hours on Devnet 3

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-07 20:00:17 +00:00
parent 11b9d23b0d
commit 69c3070e22
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
docs/plans/counter-asic-3-node.md
View file

@ -262,7 +262,7 @@ Pin ruling (shipper, 17:5xZ): 34a2dbaa is HELD for the crossings; the pin is the
the project lead's word on the signing bonus (17:5xZ, main's plan): do it. (1) 0.3.23 carries the bonus with c7ea1e21 silent_split so the UTXO and the EVM agree (silent 72/28, signed 80/20, fees untouched, the coinbase total unchanged), the test known-failed first on the EVM/UTXO disagreement. The 0.3.23 node line opened at 18:0xZ: release-0.3.23-node = 34a2dbaa + fd7de1b4 (8582a571, the sink tally off the request path) + 420f9305 (201b3613, vote-or-burn removed; three conflicts resolved: the OverrideParams keys stay as ignored input, the emission argument kept in CoinbaseManager::new, the digest edit list at 24) + c7ea1e21 (43360992, silent_split; the executor test's block carries both `silent` and `split`). Its suites run on build-2. Note from c7ea1e21: the shard guest's port of the executor must carry the same two inputs and the same split, so the segment statement changes and the shard program id re-pins (the testnet lane owns that on its cut) before the bonus height. (2) Before any height: the app signs by default and shows the signing state on the Overview card row (the UI lane); the hash-origin report carries the silent share per day (the fleet); one week of Devnet 3 reads that share and any silence from a bug (missing key, clock, template) is fixed first. (3) On Devnet 3 by height after that week; at 0 in the testnet and mainnet objects.
Mandatory proof verification, the 24-hour window: OPENED 17:57:05Z (dn3-x1's first paid segment 1256..1263, 0.7036 IGN, carrier block 1403, key 0x5413853a…; dn3-g1 paidShards 10 at 17:57Z). Runbook fact found on the way (the fleet, 17:52Z): a node started bare (no `IGNEUM_PROOF_VERIFIER`) logs "proof verifier: Off" and, by design (`VerifyMode::Off`: records relayed, stored and checked natively, never offered to this node's templates; the template section carries `verified == Some(true)` only), its blocks carry NO proof records, whatever finality or the window says; 72 records waited twelve minutes on Devnet 3 while every builder was bare. Every Devnet 3 block builder runs with `IGNEUM_PROOF_VERIFIER=<igneum-prove-host>` whose `--mode id` prints the node's embedded ids (shard 0x2b1a81cb…, aggregator 0x474678f3…; the 0.3.17 floor's host pairs), read back as "proof verifier: Command(…)"; `IGNEUM_PROOF_VERIFY=trust` carries unchecked and is not for the window. Peer directory announcers: dn3-g1 (64.119.209.250:21703) and dn3-g2 (154.64.230.67:27017) mine with --announce since 17:49:03Z and 17:50:32Z (pack gate PASS, id fce15bf61030be57); the window for their keys' weight runs from their first announced block after the verifier restart.
Verifier restarts on the fleet's builders, kept datadirs, one at a time (UTC): dn3-j1 17:54:37, dn3-g1 18:03:40 (first accepted block after 18:03:18.631), dn3-g2 18:06:15 (18:05:51.104), dn3-c1 18:15:27 (18:15:17.438); the announcers' weight window of 7,200 DAA runs from 18:05:51Z, so the peer-directory condition reads at the earliest about 20:06Z. The class v4 program id follows the epoch seed: epoch 0 (genesis 4020cb43) fce15bf61030be57; epoch 1 (DAA 3,600, seed f3271700…) ed21887203460356, read on dn3-c1 at 18:15:55Z and on build-1's seed node at 18:17:37Z; the pack gate's want is the node's per-epoch line, the two shared-devnet ids the only stop. Proof share at 17:59Z: 0.018 (26 of 1,456 shards due; the first thirteen minutes' segments waited on bare builders); the first full-hour line at 18:57Z. Heights rule (shipper, 18:2xZ): the 0.3.23 sweep finishes on every node by 12:00 BST 8 October; difficulty v3 at the first multiple of 7,200 DAA at or after 14:00 BST 8 October by the lock line's offset, the DAA-seconds rule 7,200 above, the leave rule 7,200 above that; a late sweep moves them by one more commit before the first crossing, never past it.
Verifier restarts on the fleet's builders, kept datadirs, one at a time (UTC): dn3-j1 17:54:37, dn3-g1 18:03:40 (first accepted block after 18:03:18.631), dn3-g2 18:06:15 (18:05:51.104), dn3-c1 18:15:27 (18:15:17.438); the announcers' weight window of 7,200 DAA runs from 18:05:51Z, so the peer-directory condition reads at the earliest about 20:06Z. The class v4 program id follows the epoch seed: epoch 0 (genesis 4020cb43) fce15bf61030be57; epoch 1 (DAA 3,600, seed f3271700…) ed21887203460356, read on dn3-c1 at 18:15:55Z and on build-1's seed node at 18:17:37Z; the pack gate's want is the node's per-epoch line, the two shared-devnet ids the only stop. Proof share at 17:59Z: 0.018 (26 of 1,456 shards due; the first thirteen minutes' segments waited on bare builders); the first full-hour line at 18:57Z. Proof share, the hash-origin read on dn3-g1 (fleet): hour 1 (17:57 to 18:57Z) 0.285 with the bare-builder minutes in it; hour 2 (18:59 to 19:59Z) 0.84 of its own segments (1,094 of 1,304 due), cumulative 0.468 (1,848 of 3,952 since DAA 0), eleven provers, 0 failed; the 34a2dbaa sweep's node restarts took part of the shortfall; the 24-hour clock for mandatory verification starts from the first hour that reads one. Heights rule (shipper, 18:2xZ): the 0.3.23 sweep finishes on every node by 12:00 BST 8 October; difficulty v3 at the first multiple of 7,200 DAA at or after 14:00 BST 8 October by the lock line's offset, the DAA-seconds rule 7,200 above, the leave rule 7,200 above that; a late sweep moves them by one more commit before the first crossing, never past it.
| Switch | State | Owner | Gate (last green, commit; in 69d1b56e?) | Earliest Devnet 3 height |
|---|---|---|---|---|