igneum

History

igneum-labs a36ea68b45 Jobs reader: the app's closing report counts as final and error lines are collected; prove-shard.sh fails the job when a stage fails Three watchers never saw a job finish because the closing upload starts with the app header, not the SUMMARY line, and a shard run whose stages failed still exited 0. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-04 18:59:13 +00:00
..
make-package.sh	Prove package: a build gate executes the shard fixture and every block fixture on the Mac before any zip exists	2026-10-04 18:49:25 +00:00
PROVE-BLOCK.bat	Prover package: PROVE-SHARD.bat runs the shard at S_p and the two- and four-shard blocks on the GPU	2026-10-04 10:09:33 +00:00
prove-block.sh	Prover package: PROVE-SHARD.bat runs the shard at S_p and the two- and four-shard blocks on the GPU	2026-10-04 10:09:33 +00:00
PROVE-SHARD.bat	Prover package: PROVE-SHARD.bat runs the shard at S_p and the two- and four-shard blocks on the GPU	2026-10-04 10:09:33 +00:00
prove-shard.sh	Jobs reader: the app's closing report counts as final and error lines are collected; prove-shard.sh fails the job when a stage fails	2026-10-04 18:59:13 +00:00
README.txt	Prover package: PROVE-SHARD.bat runs the shard at S_p and the two- and four-shard blocks on the GPU	2026-10-04 10:09:33 +00:00
SETUP-PROVER.bat	Proving v0: SP1 guest and host for one Igneum block, real-block fixtures, versioned ProofSystem trait, WSL2 package for the RTX 5090 run	2026-10-03 22:30:12 +00:00
setup-prover.ps1	Prover package: strip the UTF-16 nulls from the WSL distro list so an installed Ubuntu is detected	2026-10-04 08:28:39 +00:00
setup-wsl.sh	Prover package: protobuf-compiler in the apt list (the host build's prost crate needs protoc)	2026-10-04 08:46:32 +00:00

README.txt

Igneum proving on a Windows 11 PC with an NVIDIA card (RTX 5090), through WSL2 Ubuntu 24.04. Devnet v4 shards (4 October 2026).
1. Double-click SETUP-PROVER.bat. First run: it enables WSL2 and installs Ubuntu 24.04 (about 400 MB), then asks you to REBOOT.
2. After the reboot Ubuntu opens once and asks for a username and password (any, e.g. igneum). Close it. Double-click SETUP-PROVER.bat again:
   it installs the CUDA toolkit for WSL (about 3 GB), Rust (about 500 MB), sp1up and the SP1 toolchain (about 300 MB download, 1 GB on disk), then pre-builds the prover.
   Downloads in total: about 4 to 5 GB (approximate). Time: 15 to 40 minutes depending on the connection and the CPU (approximate). The NVIDIA driver is NOT installed inside Ubuntu: Windows provides it. Docker is not needed (SP1 v6 runs a native sp1-gpu-server, which the SDK downloads on first use, about 134 MB).
3. PAUSE MINING (Ctrl+C in the START-MINING window). The prover needs the whole GPU (24 GB of VRAM or more) and most of the RAM.
4. Double-click PROVE-SHARD.bat. This is the phase 2 measurement: it proves one full shard at its proving-gas budget S_p (block-338-shard1, 6.75 M pgas: execute, core proof, compressed proof, each verified), then the two-shard block (block-341-shards2) and the four-shard block near the block budget B_p (block-344-shards4) end to end: a compressed proof per shard and the aggregated block proof by recursion, verified. Every stage prints a STAGE line and a RESULT line with a UTC timestamp. The log is uploaded to the Igneum log intake (run_id shards-<PC name>-<stamp>).
   First run: 10 to 30 minutes of compiling before the first proof (approximate). The proofs: unknown on this card, that is what this run measures (the 4 October morning run proved a 1,488-pgas block in 1.4 s core and 2.7 s compressed; a shard here carries 4,500x the pgas).
5. PROVE-BLOCK.bat still proves the small block-78-increment (mode all: shard 0 in all three stages, then the block end to end), then a shard on the CPU for comparison.
6. Resume mining afterwards. Results also land next to this file in results/*.json. Each line marked RESULT in the log is a number for docs/bench-log.md.
Everything version-specific (CUDA 12.8 package name, SP1 v6.8.1, the server asset name) was read from the SP1 and NVIDIA documentation on 3 October 2026 and is approximate from that date on.