Igneum: the GPU-mined zkEVM L1. Node, miner, app, spec and site.
25350f254a
Spec 7.7 item 4: a node without a verifier relays proof records and never includes them. On 5 October no app node ran one. 1. src/verifier.rs decides once per node start and engine.rs passes it to the igneumd spawn. macOS and Linux: igneum-prove-host next to the engine's binaries. Windows: the new igneum-prove-verify.exe (src/bin/prove-verify.rs, a bin target of this crate, shipped by make-payload.sh) is set only when its --probe finds a host inside WSL2; it rewrites --proof with wslpath -a, runs the host in the order of src/wslhost.rs and returns its exit code, 2 when there is no host. Trust mode is never the default: the setting proof_verify_trust (Settings, "devnet only") sets IGNEUM_PROOF_VERIFY=trust only when no verifier was found; changing it restarts the node. After the WSL2 setup runs, the prover thread asks for one node restart. 2. The prover's WSL2 probe looks at the payload's wsl2/bin, ~/igneum-prove/proving/igneum-prove/target/release (what setup-wsl.sh builds), ~/igneum-prove/target/release and /opt/igneum, in that order (one list in src/wslhost.rs, shared with the wrapper); the tile's message names every path it looked at. 3. The prover thread reads igneum_getProvingStatus().verifier every 30 s, proving on or off; /api/state carries proving.verifier, verifier_mode, verifier_set, verifier_reason, verifier_note and the pool counts; the tile has a verifier row and says when this node relays proofs but does not verify them. Tests: cargo test -p igneum-app, 89 passed. The wrapper cross-compiles with --target x86_64-pc-windows-gnu on the Mac. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com> |
||
|---|---|---|
| .claude/agents | ||
| .github/workflows | ||
| app | ||
| brand | ||
| docs | ||
| igneum-census | ||
| igneum-pow | ||
| infra | ||
| packaging | ||
| proto-cuda | ||
| proto-metal | ||
| proto-opencl | ||
| proto-vdf | ||
| proving | ||
| relay | ||
| sim | ||
| site | ||
| tools | ||
| .gitignore | ||
| .vercelignore | ||
| CLAUDE.md | ||