748912af9c
prove-shard.sh: mode shard on block-338-shard1 (execute, core, compressed), then mode block on block-341-shards2 and block-344-shards4 (compressed proof per shard, aggregation), RESULT lines with timestamps, log uploaded after each stage. PROVE-BLOCK.bat keeps the small block (mode all; the CPU comparison is mode shard now). make-package.sh packs the aggregator crate and the simnet export too; README rewritten for the shard run. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
28 lines
1.3 KiB
Batchfile
28 lines
1.3 KiB
Batchfile
@echo off
|
|
rem Igneum proving: proves the fixture block (block-78-increment by default, one shard) inside WSL2 on the GPU
|
|
rem (SP1_PROVER=cuda: shard 0 in all three stages, then the block end to end) and then on the CPU, prints the
|
|
rem numbers and uploads the log to the Igneum log intake. For the shard fixtures at S_p use PROVE-SHARD.bat.
|
|
rem PAUSE MINING FIRST (Ctrl+C in the START-MINING window): the prover needs the whole GPU and most of the RAM.
|
|
rem Usage: PROVE-BLOCK.bat [fixture name, default block-78-increment] [cpu mode, default shard]
|
|
cd /d "%~dp0"
|
|
set "FIXTURE=%~1"
|
|
if "%FIXTURE%"=="" set "FIXTURE=block-78-increment"
|
|
set "CPU_MODES=%~2"
|
|
if "%CPU_MODES%"=="" set "CPU_MODES=shard"
|
|
set "DRIVE=%~d0"
|
|
set "DRIVE=%DRIVE:~0,1%"
|
|
set "REST=%~p0"
|
|
set "REST=%REST:\=/%"
|
|
call :lower DRIVE
|
|
set "LINUXDIR=/mnt/%DRIVE%%REST%"
|
|
echo Running prove-block.sh in Ubuntu-24.04 at %LINUXDIR% (fixture %FIXTURE%, cpu modes %CPU_MODES%)
|
|
wsl.exe -d Ubuntu-24.04 -- bash "%LINUXDIR%prove-block.sh" "%FIXTURE%" "%CPU_MODES%"
|
|
echo.
|
|
echo Finished. The log is next to this file (prove-*.log) and was uploaded to the Mac side.
|
|
pause
|
|
exit /b 0
|
|
|
|
:lower
|
|
for %%a in (A B C D E F G H I J K L M N O P Q R S T U V W X Y Z) do call set "%~1=%%%~1:%%a=%%a%%"
|
|
for %%a in (a b c d e f g h i j k l m n o p q r s t u v w x y z) do call set "%~1=%%%~1:%%a=%%a%%"
|
|
exit /b
|