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.4 KiB
Batchfile
28 lines
1.4 KiB
Batchfile
@echo off
|
|
rem Igneum proving, devnet v4 shards: proves one full shard at its proving-gas budget on the GPU (execute, core,
|
|
rem compressed), then the two-shard and four-shard blocks end to end (shard proofs plus aggregation), prints the
|
|
rem RESULT lines with a timestamp per stage and uploads the log to the Igneum log intake.
|
|
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-SHARD.bat [shard fixture, default block-338-shard1] [block fixtures, default "block-341-shards2 block-344-shards4"]
|
|
cd /d "%~dp0"
|
|
set "SHARD=%~1"
|
|
if "%SHARD%"=="" set "SHARD=block-338-shard1"
|
|
set "BLOCKS=%~2"
|
|
if "%BLOCKS%"=="" set "BLOCKS=block-341-shards2 block-344-shards4"
|
|
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-shard.sh in Ubuntu-24.04 at %LINUXDIR% (shard fixture %SHARD%, block fixtures %BLOCKS%)
|
|
wsl.exe -d Ubuntu-24.04 -- bash "%LINUXDIR%prove-shard.sh" "%SHARD%" "%BLOCKS%"
|
|
echo.
|
|
echo Finished. The log is next to this file (prove-shards-*.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
|