igneum

History

igneum-labs ec0ede62b9 Relay: run and task posts need the console token (round 4, X23); prove host saves proofs buffered (ledger P20, second gap) The intake key sits in every miner package, so the relay now lets it report only (drop text and files, ack, done, register, upload). Posting a run or task, or renaming and re-roling a machine, needs the console token. The prove host wrote proofs through SP1's unbuffered save: on WSL2 under /mnt/c the 18 MB core proof of a shard took longer to save than to prove. Proofs now go through a 4 MB buffer with a timed 'saved' line, and prove-shard.sh keeps results on the Linux side and copies them per stage. Ledger P20 updated. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>		2026-10-04 18:14:10 +00:00
..
make-package.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-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	Relay: run and task posts need the console token (round 4, X23); prove host saves proofs buffered (ledger P20, second gap)	2026-10-04 18:14:10 +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.