562c33e8e5
- docs/bench-log.md: "6 October 2026, 18:40Z to 20:41Z, the live devnet's finality pause": the timeline from the hub's own log and the hands' logs (local time +01:00: both hands stopped 18:30:28Z, returned 18:41:54Z and 18:42:07Z, relaunched under launchd 18:45:57Z and 18:46:39Z), the cause in the code (rule v3's frozen table at lock 6842, 42.7 percent of it held by 20 keys that stopped at 17:20 to 18:30Z, expiring at DAA 216,402), what was ruled out with the line that rules it out (the hands, the aggregators, the "level is 0" rejects = the Igneum Wallet app's bundled 5 October igneumd on this Mac), and what "paused" meant per tier - docs/fud-ledger.md: F27 (the incident as a critic will post it, with the fix and the operational rule) and the F19 correction: a silent 40 percent under rule v3 stalls the full window, 30 days on mainnet, not "day 19 to 20" (the v2 arithmetic) - docs/spec/03-finality.md: W7, the departure announcement, and the Q5 note - docs/plans/finality-leave.md: the 0.3.16 plan (what changes, why this candidate, the Devnet 2 gate, what it does not do, per tier) - tools/finality-attacks/leave.mjs: the harness case on the v3 runner's shape (45 percent of weight stops with leaves; --silent is the known-failed case), designed and not yet run (it needs W7 binaries on the harness host); lib/net.mjs gains the noLeave option - infra/fast-time/override-60x.json: leave_delay 10 and the leave switch at never, explicit Fork: branch finality-pause-node on 4c6b129d (vendor/igneum-node-finpause). Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| 00-overview.md | ||
| 01-lottery-hash.md | ||
| 02-consensus.md | ||
| 03-finality.md | ||
| 04-seeds-and-vdf.md | ||
| 05-fees-and-economics.md | ||
| 06-open-items.md | ||
| 07-execution.md | ||
| 08-client-security.md | ||
| 09-pool-protocol.md | ||
| 10-light-client.md | ||
| README.md | ||
Igneum protocol specification, version 0.1
3 October 2026. Written so that a stranger can reimplement a node, a miner and a verifier and reach the same bits. Conventions, number labels (Measured, Implemented, Designed, Target) and the break-submission route are in section 0.
| Section | File | Status | One line |
|---|---|---|---|
| 0 | 00-overview.md |
Designed | Scope, normative language, what is implemented and what is designed, versioning, how to submit a break |
| 1 | 01-lottery-hash.md |
Measured (construction, vectors on three GPU vendors and two CPU references); Designed (header binding, day key, growth, era schedule); Open where marked | Seed words, generator, memory-hard cache and items, 32-lane unit and the wave64 rule, CPU verifier, epoch, day and era schedules, test vectors, determinism, conformance, the prototype-value list |
| 2 | 02-consensus.md |
Designed | The ordering layer as a delta on rusty-kaspa: 1 BPS and the steps, k, merge depth, DAA, header fields, emission, duplicate inclusion |
| 3 | 03-finality.md |
Designed (simulated without a DAG, not implemented, not reviewed) | Weight W1 to W5, checkpoints C1 to C5, quorum Q1 to Q4 with the 56.7% floor and the simulation that justifies it, the eclipse case closed by the floor (3.3.2), participation from votes in blocks (Q2, 3.4.1), sortition, fork choice, equivocation, residual risks, the first month, exchange guidance |
| 4 | 04-seeds-and-vdf.md |
Measured (primitive, one machine); Designed (pipeline); Open (fallback) | Class-group Wesolowski VDF, T from a genesis reference rate, 20-minute and 2-hour leads, proof format, who evaluates, fallback options |
| 5 | 05-fees-and-economics.md |
Designed | Base fee burned, priority fee 80/20 with per-frame attribution and the factory rule, proving pool, job market 90/10, no development fund, parameter signalling at 60%, upgrades at 90%, no stake, no treasury |
| 6 | 06-open-items.md |
Open | 60 items, each with the experiment or decision that closes it and its gate; O-2.8 closed and O-3.3, O-3.7, O-5.1, O-5.2 and O-5.6 narrowed on 3 October 2026 |
| 7 | 07-execution.md |
Designed (normative extract of docs/design/execution-layer.md; nothing implemented or measured) |
EVM semantics on the DAG (number, timestamp and its monotonicity rule, blockhash, PREVRANDAO from the epoch VDF, coinbase, gas limit, chain id, the quoted gas price), shard assignment by sortition (8 provers, 10-s window, then open, no bond), bridges (none official, no bridged stablecoins at genesis, proof bridge with the consensus proof in phase two) |
| 8 | 08-client-security.md |
Decided (3 October 2026; nothing implemented) | Reproducible builds with hashes in the repository, the release key published in genesis and held in hardware, the client refuses unsigned updates and never updates silently, the client cannot change consensus (90% signalling), notarised builds, official download sources with the hash beside the button, seed shown and confirmed before mining, hardware wallet option, the permanent line "Nobody from Igneum will ever ask for your seed." |
| 9 | 09-pool-protocol.md |
Designed (nothing implemented) | Pool and member after Stratum V2's job declaration: full, commitment or member-declared templates checked against the member's own verifier, JSON over TLS, shares as partial solutions of the header-bound lottery hash (target64 << s, weight 2^-s, verified per 32-lane group at the measured CPU cost), one vote key per operator held by the member and never the pool, votes signed by the member and only relayed and carried by the pool, the chain-only test for a pool that drops votes, custodial pools visible on chain, open items O-9.1 to O-9.9 |
| 10 | 10-light-client.md |
Designed (nothing implemented) | What a phone or browser verifies without a node: trust assumptions stated per row, checkpoint headers plus BLS certificates with the voter bitmap and the wrapped segment proof at launch, the consensus proof in phase two, bytes per day per mode (3.44 MB in checkpoint mode at 1,000 voters, approximate), a pinned seed list with no DNS dependency on the phone and the stated wss dependency in a browser, the read-only node API, the homepage card's steps made true, open items O-10.1 to O-10.9 |
Prototype values (carried by the implementation today, part of the test vectors, confirmed or replaced at gate 1): seed derivation; 64 instructions x 8 iterations; 8 registers; the op weights including the 25% load weight; the output fold rotations; the 256 MiB cache, 64 lines per segment and ChaCha12; 8 item rounds and the mixer shape; the 1 GiB pack dataset against the 2 GiB genesis size; the 3,600 DAA s epoch; the era length, draw bounds and reserve list; the header binding of the init words. The full table with what fixes each is section 1.16.
Normative code: igneum-pow/. Measurements: docs/bench-log.md. Criticisms and their status: docs/fud-ledger.md. Simulations: sim/. Prototypes: proto-metal/, proto-cuda/, proto-opencl/, proto-vdf/.