igneum-labs 3671918fb4 prover: segment-aligned work (proving v1): a free prover claims a whole segment, proves every shard from one export in one chain run, submits the shard records and the segment record; the host's chain mode takes --prev and writes per-shard records with --save-shards ... One prover at 2.2% coverage never had 8 consecutive proven blocks (C47, 6 October 2026); claiming whole segments makes it complete about 1 segment in 75 instead of none. The choice is deterministic per key (FNV of first block and key hash) over the untouched whole segments inside their deadline by a margin (240 DAA or 1.5x the last segment's time); the per-block path stays as the fallback. Unit tests for the grid, the grouping, the margin, the attempted set and the per-key order; 120 app tests, 8 core and 9 host tests pass. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-06 07:12:23 +00:00
..
aggregator	Proving: aggregator guest, host modes shard and block with per-stage timestamps, exporter with shard plans	2026-10-04 10:05:05 +00:00
core	Prover mirrors the fee switch: both tables and fees_v1_activation_daa in the shard input, guest re-pinned, devnet runbook for H = 210,000	2026-10-05 16:24:35 +00:00
elf	Prover mirrors the fee switch: both tables and fees_v1_activation_daa in the shard input, guest re-pinned, devnet runbook for H = 210,000	2026-10-05 16:24:35 +00:00
export	Merge fee-switch into release-0.3.9: the prover mirrors both fee tables and fees_v1_activation_daa (new pinned guest), the devnet runbook for H = 210,000	2026-10-05 16:28:21 +00:00
host	prover: segment-aligned work (proving v1): a free prover claims a whole segment, proves every shard from one export in one chain run, submits the shard records and the segment record; the host's chain mode takes --prev and writes per-shard records with --save-shards	2026-10-06 07:12:23 +00:00
program	Proving: aggregator guest, host modes shard and block with per-stage timestamps, exporter with shard plans	2026-10-04 10:05:05 +00:00
.gitignore	Proving v0: SP1 guest and host for one Igneum block, real-block fixtures, versioned ProofSystem trait, WSL2 package for the RTX 5090 run	2026-10-03 22:30:12 +00:00
Cargo.lock	Prover mirrors the fee switch: both tables and fees_v1_activation_daa in the shard input, guest re-pinned, devnet runbook for H = 210,000	2026-10-05 16:24:35 +00:00
Cargo.toml	Proving: shard cutter, MPT witnesses, shard and block statements in igneum-prove-core	2026-10-04 10:05:04 +00:00
pin-guests.sh	Proving: pinned guest programs, the verifier on SP1's light verifier	2026-10-05 12:54:31 +00:00