igneum-network/igneum
1
0
Fork 0
Code Issues Pull requests Releases Activity

bench/proof-systems: PC 2 rows (job bench-a-pc2, beside the miner): SP1 stock v1 shard 14.8 s at 22,477 MiB, patched default 15.1 s at 18,637 MiB, patched 2^26 27.0 s at 12,012 MiB; the prototype full shard 37.6 s at 30,413 MiB stock, 138.0 s at 12,129 MiB patched 2^26; every proof verified in 0.32 s

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-06 12:06:56 +00:00
parent 4055c9c866
commit a10eb8a736
7 changed files with 174 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
bench/proof-systems/TABLE.md
View file

@ -1,5 +1,11 @@
| Candidate | Machine, backend, note | Fixture | Cycles | Prove s | Wall s | Peak memory MiB | Proof bytes | Verify s (one core) | Recursion | Audit | Verified | Date |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| sp1-patched | DESKTOP-KMCV30N, cuda, beside the miner, patched 2^26 | block-338-shard1.json shard 0 | 60415376 | 138.0 | 148.1 | 12129 | 1272897 | 0.323 | yes | no | yes | 20261006-1203 |
| sp1-patched | DESKTOP-KMCV30N, cuda, beside the miner, patched default | block-338-shard1.json shard 0 | 60415376 | 38.1 | 52.0 | 27501 | 1272897 | 0.327 | yes | no | yes | 20261006-1202 |
| sp1 | DESKTOP-KMCV30N, cuda, beside the miner | block-338-shard1.json shard 0 | 60415376 | 37.6 | 53.7 | 30413 | 1272897 | 0.327 | yes | yes | yes | 20261006-1201 |
| sp1-patched | DESKTOP-KMCV30N, cuda, beside the miner, patched 2^26 | fees-v1-shards2.json shard 0 | 4717439 | 27.0 | 36.2 | 12012 | 1272897 | 0.324 | yes | no | yes | 20261006-1201 |
| sp1-patched | DESKTOP-KMCV30N, cuda, beside the miner, patched default | fees-v1-shards2.json shard 0 | 4717439 | 15.1 | 28.9 | 18637 | 1272897 | 0.327 | yes | no | yes | 20261006-1200 |
| sp1 | DESKTOP-KMCV30N, cuda, beside the miner | fees-v1-shards2.json shard 0 | 4717439 | 14.8 | 31.1 | 22477 | 1272897 | 0.321 | yes | yes | yes | 20261006-1159 |
| jolt | MacBook-Pro, cpu | n/a: no guest for our shard statement and no shipped recursion (proving-methods.md route F) | | | | | | | | | | 20261006-1146 |
| sp1-patched | MacBook-Pro, cpu | n/a: the patched server exists only on PC 2 (/opt/igneum-floor/home) | | | | | | | | | | 20261006-1146 |
| sp1 | MacBook-Pro, cpu | fees-v1-shards2.json shard 0 | 4717439 | 71.7 | 80.3 | 27821 | 1272897 | 0.258 | yes | yes | yes | 20261006-1146 |

28
bench/proof-systems/rows/20261006-1159-DESKTOP-KMCV30N-sp1-beside-the-miner.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1159",
"cycles": 4717439,
"wall_s": 31.05,
"prove_s": 14.79086266,
"peak_memory_mib": 22477,
"proof_bytes": 1272897,
"verify_s": 0.321,
"verify_runs": [
0.324,
0.321,
0.401
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 1,
"image_or_program_id": null,
"command": "SP1_PROVER=cuda RUST_LOG=off <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/fees-v1-shards2.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner",
"job": "bench-a-pc2"
}

28
bench/proof-systems/rows/20261006-1200-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1-patched",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 4717439,
"wall_s": 28.95,
"prove_s": 15.114874631,
"peak_memory_mib": 18637,
"proof_bytes": 1272897,
"verify_s": 0.327,
"verify_runs": [
0.327,
0.335,
0.343
],
"verified": true,
"recursion": true,
"audit": false,
"proof_system": 1,
"image_or_program_id": null,
"command": "HOME=/opt/igneum-floor/home SP1_PROVER=cuda RUST_LOG=off <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/fees-v1-shards2.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner, patched default",
"job": "bench-a-pc2"
}

28
bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-beside-the-miner.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "block-338-shard1.json",
"shard": 0,
"date": "20261006-1201",
"cycles": 60415376,
"wall_s": 53.71,
"prove_s": 37.618382022,
"peak_memory_mib": 30413,
"proof_bytes": 1272897,
"verify_s": 0.327,
"verify_runs": [
0.33,
0.327,
0.327
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 1,
"image_or_program_id": null,
"command": "SP1_PROVER=cuda RUST_LOG=off <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/block-338-shard1.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner",
"job": "bench-a-pc2"
}

28
bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1-patched",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1201",
"cycles": 4717439,
"wall_s": 36.19,
"prove_s": 27.043475202,
"peak_memory_mib": 12012,
"proof_bytes": 1272897,
"verify_s": 0.324,
"verify_runs": [
0.332,
0.324,
0.57
],
"verified": true,
"recursion": true,
"audit": false,
"proof_system": 1,
"image_or_program_id": null,
"command": "HOME=/opt/igneum-floor/home SP1_PROVER=cuda RUST_LOG=off SP1_GPU_ELEMENT_THRESHOLD=67108864 <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/fees-v1-shards2.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner, patched 2^26",
"job": "bench-a-pc2"
}

28
bench/proof-systems/rows/20261006-1202-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1-patched",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "block-338-shard1.json",
"shard": 0,
"date": "20261006-1202",
"cycles": 60415376,
"wall_s": 51.96,
"prove_s": 38.06314695,
"peak_memory_mib": 27501,
"proof_bytes": 1272897,
"verify_s": 0.327,
"verify_runs": [
0.327,
0.331,
0.329
],
"verified": true,
"recursion": true,
"audit": false,
"proof_system": 1,
"image_or_program_id": null,
"command": "HOME=/opt/igneum-floor/home SP1_PROVER=cuda RUST_LOG=off <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/block-338-shard1.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner, patched default",
"job": "bench-a-pc2"
}

28
bench/proof-systems/rows/20261006-1203-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "sp1-patched",
"machine": "DESKTOP-KMCV30N",
"backend": "cuda",
"fixture": "block-338-shard1.json",
"shard": 0,
"date": "20261006-1203",
"cycles": 60415376,
"wall_s": 148.07,
"prove_s": 138.020570253,
"peak_memory_mib": 12129,
"proof_bytes": 1272897,
"verify_s": 0.323,
"verify_runs": [
0.323,
0.332,
0.337
],
"verified": true,
"recursion": true,
"audit": false,
"proof_system": 1,
"image_or_program_id": null,
"command": "HOME=/opt/igneum-floor/home SP1_PROVER=cuda RUST_LOG=off SP1_GPU_ELEMENT_THRESHOLD=67108864 <host> /mnt/c/Users/Admin/AppData/Local/igneum/prove/bench-ps/bench-ps/block-338-shard1.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh",
"label": "beside the miner, patched 2^26",
"job": "bench-a-pc2"
}