igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity
igneum/proving
History
igneum-labs 5cce9d3db2 Prover package: PROVE-SHARD.bat runs the shard at S_p and the two- and four-shard blocks on the GPU 
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>
2026-10-04 10:09:33 +00:00
..
fixtures Proving fixtures: blocks of one, two and four shards at S_p from a private simnet, plus the v1 cut of the v0 blocks 2026-10-04 10:05:05 +00:00
igneum-prove Proving: aggregator guest, host modes shard and block with per-stage timestamps, exporter with shard plans 2026-10-04 10:05:05 +00:00
windows-wsl2 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
README.md 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

README.md

proving

Igneum proving v0 (3 October 2026): the first SP1 proof of an Igneum block. Plan and scope: docs/plans/proving-v0.md.

  • igneum-prove/: Cargo workspace. core (the block statement, a port of the execution layer's executor), program (the SP1 guest), host (execute, core, compressed modes; the versioned ProofSystem trait with the stub and the SP1 implementation in host/src/proof_system.rs), export (cuts a real block out of an igneum_exportSegments dump and checks the port against the node's state roots).
  • fixtures/: real simnet blocks, block-78-increment.json (the Counter increment(5) call) and block-56-transfers.json (three transfers).
  • windows-wsl2/: SETUP-PROVER.bat, PROVE-BLOCK.bat and the Linux scripts for the project lead's PC; make-package.sh builds the zip.

Build and run on a machine with the SP1 toolchain (curl -L https://sp1up.succinct.xyz | bash && sp1up):

cd proving/igneum-prove
cargo build --release -p igneum-prove-export
./target/release/igneum-prove-export ../../tools/evm-smoke/seq.json 78 ../fixtures/block-78-increment.json
cargo build --release -p igneum-prove-host            # add --features igneum-prove-host/cuda on Linux x86_64 with an NVIDIA card
./target/release/igneum-prove-host ../fixtures/block-78-increment.json --mode execute   # native check + cycle count
SP1_PROVER=cuda ./target/release/igneum-prove-host ../fixtures/block-78-increment.json --mode all --out results.json