Igneum: the GPU-mined zkEVM L1. Node, miner, app, spec and site.
07c8380002
docs/design/key-succession.md (the enforced-proving lane, 8 October 2026): the object names the prior pair, a next pair, an activation height H and a window W; the node embeds both pairs and verifies under the pair a proof claims when that pair is accepted at the carrier's DAA (the node branch key-succession-node on the fork carries that side). The pin tool (igneum-prove-pin): a pin over an existing elf/ moves the four files it holds to elf/prior/ and writes the manifest's `prior` block (the same per-program fields plus the pinned_at of that pair) and a `succession` block naming both pairs' ids; the top-level shard and aggregator stay the newest pair; at most two pairs live (a pin over an elf/ that already carries prior/ replaces prior/); `--no-prior` keeps today's shape. The host (pinned.rs) embeds elf/prior/'s four files, checks them against the `prior` block when the manifest carries one and derives the prior ids from the keys (Pinned::prior, PriorKeys), checks the `succession` block's four ids against both pairs, and builds unchanged on a tree whose manifest names no `prior` (every tree now carries elf/prior/ as a copy of the current pair, so the include_bytes compile; the in-process verifier reads `prior` as absent). The release manifest check refuses a served manifest whose `prior`, `succession`, succession_daa or succession_window_daa differ from elf/manifest.json's, and a `prior` present on one side only. The node reads H, W and the next ids from its object, never from the manifest; `succession` is for the served manifest and its check. The first real pin (the live pair 0x2b1a81cb…/0x474678f3… into prior/, the re-pinned 0x282dcfce…/0x3fd721e8… on top) runs when main names H. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> |
||
|---|---|---|
| .claude/agents | ||
| .forgejo/issue_template | ||
| .github/workflows | ||
| app | ||
| brand | ||
| contracts | ||
| docs | ||
| igneum-census | ||
| igneum-pow | ||
| infra | ||
| packaging | ||
| pool | ||
| proto-cuda | ||
| proto-metal | ||
| proto-newpow | ||
| proto-opencl | ||
| proto-vdf | ||
| proving | ||
| relay | ||
| scene | ||
| sim | ||
| site | ||
| tools | ||
| .gitignore | ||
| .vercelignore | ||
| CLAUDE.md | ||
| rust-toolchain.toml | ||