326953e0ac
proving/igneum-prove: core (port of igneum-exec at fb33069 as the block statement), program (SP1 v6.8.1 guest), host (execute, core, compressed; ProofSystem trait with the stub and the SP1 implementation), export (cuts a block out of igneum_exportSegments and checks every state root against the node's). Fixtures block-78-increment and block-56-transfers from the 3-node simnet. proving/windows-wsl2: SETUP-PROVER.bat, setup-wsl.sh, PROVE-BLOCK.bat, make-package.sh. docs/plans/proving-v0.md: the devnet v4 shard plan, what tonight's proof shows and does not, the morning acceptance line. Mac CPU baseline (block 78: 626 k cycles, core 22.0 s and 7.3 MB, compressed 55.7 s and 1.27 MB, both verified) appended to docs/bench-log.md, left uncommitted because that file carries another agent's pending changes. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
9 lines
488 B
Batchfile
9 lines
488 B
Batchfile
@echo off
|
|
rem Igneum proving v0, Windows 11 setup. Double-click this file (it asks for administrator rights).
|
|
rem Run 1: enables WSL2 and installs Ubuntu 24.04, then asks you to reboot.
|
|
rem Run 2 (after the reboot): creates the Ubuntu user if needed, then runs setup-wsl.sh inside Ubuntu
|
|
rem (build tools, CUDA toolkit for WSL, Rust, sp1up and the SP1 toolchain). Then PROVE-BLOCK.bat.
|
|
cd /d "%~dp0"
|
|
powershell -NoProfile -ExecutionPolicy Bypass -File "%~dp0setup-prover.ps1"
|
|
echo.
|
|
pause
|