@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