igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

Prover floor: sweep 4 (beside the miner) with the 2^25 point for the mine-and-prove row

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-06 00:19:18 +00:00
parent a78ee4a979
commit 5a0fa37bfa
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
tools/prover-floor/pc2-floor-sweep3-miner.ps1 → tools/prover-floor/pc2-floor-sweep4-miner.ps1
View file

@ -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"

4
tools/prover-floor/points-sweep3-miner.txt
View file

@ -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