igneum-labs 344cba8e8c Proving v1: the memory sweep and the miner-on peaks, the root-socket class fix (cleanup lines, tools/ci/prover-socket-check.sh in CI), the host's --budget re-plan and the S_p curve job, the RAM and aggregation-card gates, N = 8 in the fast-time file and spec 7.4 ... Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-05 20:35:13 +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	Proving v1: the memory sweep and the miner-on peaks, the root-socket class fix (cleanup lines, tools/ci/prover-socket-check.sh in CI), the host's --budget re-plan and the S_p curve job, the RAM and aggregation-card gates, N = 8 in the fast-time file and spec 7.4	2026-10-05 20:35:13 +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