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

Prover package: define the log upload before the build step uses it

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-josh 2026-10-04 09:25:58 +01:00
parent ff42c4b5e3
commit 3308de6839
1 changed files with 13 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
proving/windows-wsl2/prove-block.sh
View file

@ -18,18 +18,6 @@ echo "igneum proving v0, run $RUN_ID, $(date -u +%FT%TZ), host $(hostname), fixt
nvidia-smi --query-gpu=name,memory.total,driver_version --format=csv,noheader 2>/dev/null || echo "nvidia-smi not available in WSL"
echo "cpu: $(nproc) cores, ram: $(free -g | awk '/Mem:/ {print $2}') GB visible to WSL"
# Fresh sources from the package (edits on the Windows side are picked up), build with the cuda feature.
mkdir -p "$DEST"
rsync -a --delete --exclude target "$HERE/package/" "$DEST/" 2>/dev/null || cp -r "$HERE/package/." "$DEST/"
cd "$DEST/proving/igneum-prove"
echo "building (first time: 10 to 30 minutes, approximate; the guest is compiled by cargo-prove inside the host build)"
if ! cargo build --release -p igneum-prove-host --features igneum-prove-host/cuda 2>&1 | tail -3; then
echo "BUILD FAILED"; upload; exit 1
fi
HOST="$DEST/proving/igneum-prove/target/release/igneum-prove-host"
FIX="$DEST/proving/fixtures/$FIXTURE.json"
mkdir -p "$HERE/results"
upload() {
# Last 256 KB of the log to the intake, same URL and key as upload-log.bat (log uploads only).
python3 - "$LOG" "$RUN_ID" <<'PY'
@ -46,6 +34,19 @@ except Exception as e:
PY
}
# Fresh sources from the package (edits on the Windows side are picked up), build with the cuda feature.
mkdir -p "$DEST"
rsync -a --delete --exclude target "$HERE/package/" "$DEST/" 2>/dev/null || cp -r "$HERE/package/." "$DEST/"
cd "$DEST/proving/igneum-prove"
echo "building (first time: 10 to 30 minutes, approximate; the guest is compiled by cargo-prove inside the host build)"
if ! cargo build --release -p igneum-prove-host --features igneum-prove-host/cuda 2>&1 | tail -3; then
echo "BUILD FAILED"; upload; exit 1
fi
HOST="$DEST/proving/igneum-prove/target/release/igneum-prove-host"
FIX="$DEST/proving/fixtures/$FIXTURE.json"
mkdir -p "$HERE/results"
echo "=== GPU run: SP1_PROVER=cuda, modes execute + core + compressed (the first run downloads sp1-gpu-server, about 134 MB) ==="
SP1_PROVER=cuda RUST_LOG=info "$HOST" "$FIX" --mode all --out "$HERE/results/$FIXTURE-cuda-$STAMP.json"
echo "gpu run exit $?"