From 5a0fa37bfaee87bc34c8c1490f85b407b550b7f8 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Tue, 6 Oct 2026 00:19:18 +0000 Subject: [PATCH] Prover floor: sweep 4 (beside the miner) with the 2^25 point for the mine-and-prove row Co-Authored-By: Claude Fable 5.1 --- ...{pc2-floor-sweep3-miner.ps1 => pc2-floor-sweep4-miner.ps1} | 4 ++-- tools/prover-floor/points-sweep3-miner.txt | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) rename tools/prover-floor/{pc2-floor-sweep3-miner.ps1 => pc2-floor-sweep4-miner.ps1} (95%) diff --git a/tools/prover-floor/pc2-floor-sweep3-miner.ps1 b/tools/prover-floor/pc2-floor-sweep4-miner.ps1 similarity index 95% rename from tools/prover-floor/pc2-floor-sweep3-miner.ps1 rename to tools/prover-floor/pc2-floor-sweep4-miner.ps1 index 8282cc4e4..a75809b23 100644 --- a/tools/prover-floor/pc2-floor-sweep3-miner.ps1 +++ b/tools/prover-floor/pc2-floor-sweep4-miner.ps1 @@ -1,4 +1,4 @@ -# Published WITHOUT --stop-miners: the beside-the-miner pair (the 5090 mining at full rate on the same card). +# Published WITHOUT --stop-miners: the beside-the-miner pair (the 5090 mining at full rate on the same card). Sweep 4. # Prover floor (5 October 2026): the peak GPU memory and the time of one compressed shard proof through the PATCHED # sp1-gpu-server (/opt/igneum-floor/home/.sp1/bin, reached by HOME=/opt/igneum-floor/home: the SDK spawns the # server it finds under $HOME/.sp1/bin, sp1-cuda-6.8.1/src/server.rs) on PC 2's RTX 5090, the miners STOPPED by the @@ -20,7 +20,7 @@ $job = $env:IGNEUM_JOB_DIR; if (-not $job) { $job = Join-Path $env:TEMP 'igneum- function WslPath($p) { $w = (& wsl.exe -d Ubuntu-24.04 -u root -- wslpath -a ($p -replace '\\', '/') 2>$null); if ($w) { ($w -replace "`0", '').Trim() } else { '/mnt/c' + ($p.Substring(2) -replace '\\', '/') } } $jobW = WslPath $job $emptyW = WslPath (Join-Path $env:LOCALAPPDATA 'igneum\app\jobs\chain-pc2-pv1c\block-83616.json') -$points = if ($env:FLOOR_POINTS) { $env:FLOOR_POINTS } else { 'run m12 "$EMPTY" SP1_GPU_MEMORY_BUDGET_GB=12;run m12 "$V1" SP1_GPU_MEMORY_BUDGET_GB=12;run me26 "$V1" SP1_GPU_ELEMENT_THRESHOLD=67108864;run me26 "$EMPTY" SP1_GPU_ELEMENT_THRESHOLD=67108864' } +$points = if ($env:FLOOR_POINTS) { $env:FLOOR_POINTS } else { 'run me26 "$V1" SP1_GPU_ELEMENT_THRESHOLD=67108864;run me26 "$EMPTY" SP1_GPU_ELEMENT_THRESHOLD=67108864;run me25 "$V1" SP1_GPU_ELEMENT_THRESHOLD=33554432;run m12 "$V1" SP1_GPU_MEMORY_BUDGET_GB=12' } $bash = @' set -uo pipefail export PATH="$HOME/.cargo/bin:$PATH" diff --git a/tools/prover-floor/points-sweep3-miner.txt b/tools/prover-floor/points-sweep3-miner.txt index dbd349a63..e083b5a45 100644 --- a/tools/prover-floor/points-sweep3-miner.txt +++ b/tools/prover-floor/points-sweep3-miner.txt @@ -1,4 +1,4 @@ -run m12 "$EMPTY" SP1_GPU_MEMORY_BUDGET_GB=12 -run m12 "$V1" SP1_GPU_MEMORY_BUDGET_GB=12 run me26 "$V1" SP1_GPU_ELEMENT_THRESHOLD=67108864 run me26 "$EMPTY" SP1_GPU_ELEMENT_THRESHOLD=67108864 +run me25 "$V1" SP1_GPU_ELEMENT_THRESHOLD=33554432 +run m12 "$V1" SP1_GPU_MEMORY_BUDGET_GB=12