bench/proof-systems: the rented RTX 3060 12 GB and RTX 4090 24 GB rows (SP1 stock, SP1 patched at four thresholds, RISC Zero at po2 20 and 19; the v1 shard, the empty shard, the 23.6 M-cycle shard, the prototype shard; every proof verified) and the table
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
2332ff326f
commit
9bcafc2158
45 changed files with 1204 additions and 0 deletions
|
|
@ -1,5 +1,49 @@
|
|||
| 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 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^26 | block-58927-empty-reward.json shard 0 | 257467 | 7.3 | 27.5 | 7203 | 1272897 | 0.542 | yes | no | yes | 20261006-1408 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^27 | block-58927-empty-reward.json shard 0 | 257467 | 5.6 | 25.9 | 7301 | 1272897 | 0.562 | yes | no | yes | 20261006-1408 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^25 | block-338-shard1.json shard 0 | 60415376 | 57.5 | 78.0 | 8128 | 1272897 | 0.571 | yes | no | yes | 20261006-1408 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, po2 19 | block-58927-empty-reward.json shard 0 | 278423 | 5.7 | 6.8 | 7345 | 223882 | 0.466 | yes | yes | yes | 20261006-1407 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, po2 20 | block-58927-empty-reward.json shard 0 | 278423 | 5.6 | 6.7 | 7345 | 223882 | 0.464 | yes | yes | yes | 20261006-1407 |
|
||||
| sp1 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda | n/a: the prove run failed (exit 1): /tmp/tmp.qVtcFNc806/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof } | | | | | | | | | | 20261006-1407 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched default | block-58927-empty-reward.json shard 0 | 257467 | 5.5 | 24.7 | 7205 | 1272897 | 0.537 | yes | no | yes | 20261006-1407 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^26 | block-338-shard1.json shard 0 | 60415376 | 29.2 | 51.3 | 8192 | 1272897 | 0.547 | yes | no | yes | 20261006-1407 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^27 | block-338-shard1.json shard 0 | 60415376 | 21.2 | 42.3 | 11202 | 1272897 | 0.548 | yes | no | yes | 20261006-1407 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched default | block-338-shard1.json shard 0 | 60415376 | 19.5 | 42.2 | 18344 | 1272897 | 0.546 | yes | no | yes | 20261006-1406 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 19 | block-338-shard1.json shard 0 | 89482640 | 281.4 | 286.0 | 8846 | 223882 | 0.460 | yes | yes | yes | 20261006-1401 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 20 | block-338-shard1.json shard 0 | 89482640 | 178.5 | 182.5 | 13390 | 223882 | 0.467 | yes | yes | yes | 20261006-1358 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, po2 19 | block-338-shard1.json shard 0 | 89482640 | 578.2 | 582.5 | 7285 | 223882 | 0.459 | yes | yes | yes | 20261006-1357 |
|
||||
| sp1 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone | block-338-shard1.json shard 0 | 60415376 | 19.1 | 41.8 | 20680 | 1272897 | 0.540 | yes | yes | yes | 20261006-1357 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, po2 19 | fees-v1-shards2.json shard 0 | 10049917 | 68.5 | 69.9 | 7339 | 223882 | 0.459 | yes | yes | yes | 20261006-1356 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^25 | block-72854-empty-block-first.json shard 0 | 23594943 | 50.7 | 69.5 | 8192 | 1272897 | 0.549 | yes | no | yes | 20261006-1356 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^26 | block-72854-empty-block-first.json shard 0 | 23594943 | 27.1 | 46.1 | 8160 | 1272897 | 0.545 | yes | no | yes | 20261006-1355 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^27 | block-72854-empty-block-first.json shard 0 | 23594943 | 20.0 | 40.1 | 10754 | 1272897 | 0.533 | yes | no | yes | 20261006-1354 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched default | block-72854-empty-block-first.json shard 0 | 23594943 | 16.8 | 38.5 | 17576 | 1272897 | 0.544 | yes | no | yes | 20261006-1354 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^26 | block-338-shard1.json shard 0 | 60415376 | 58.3 | 81.1 | 7555 | 1272897 | 0.547 | yes | no | yes | 20261006-1349 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^27 | block-338-shard1.json shard 0 | 60415376 | 39.6 | 61.6 | 10661 | 1272897 | 0.550 | yes | no | yes | 20261006-1348 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched default | block-338-shard1.json shard 0 | 60415376 | 39.2 | 61.1 | 10661 | 1272897 | 0.555 | yes | no | yes | 20261006-1347 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 19 | block-72854-empty-block-first.json shard 0 | 134734531 | 509.7 | 518.3 | 20484 | 223882 | 0.452 | yes | yes | yes | 20261006-1345 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone | block-338-shard1.json shard 0 | 89482640 | 427.6 | 431.7 | 10153 | 223882 | 0.460 | yes | yes | yes | 20261006-1339 |
|
||||
| sp1 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda | n/a: the prove run failed (exit 1): /tmp/tmp.bcgeLFKAkK/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof } | | | | | | | | | | 20261006-1339 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 20 | block-72854-empty-block-first.json shard 0 | 134734531 | 354.6 | 362.9 | 20468 | 223882 | 0.453 | yes | yes | yes | 20261006-1339 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^26 | block-72854-empty-block-first.json shard 0 | 23594943 | 57.4 | 77.5 | 7491 | 1272897 | 0.546 | yes | no | yes | 20261006-1338 |
|
||||
| sp1 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone | block-72854-empty-block-first.json shard 0 | 23594943 | 17.0 | 38.9 | 20136 | 1272897 | 0.531 | yes | yes | yes | 20261006-1338 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^25 | fees-v1-shards2.json shard 0 | 4717439 | 9.5 | 26.8 | 8384 | 1272897 | 0.546 | yes | no | yes | 20261006-1338 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^27 | block-72854-empty-block-first.json shard 0 | 23594943 | 39.5 | 60.7 | 10245 | 1272897 | 0.550 | yes | no | yes | 20261006-1337 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^26 | fees-v1-shards2.json shard 0 | 4717439 | 6.8 | 24.6 | 8192 | 1272897 | 0.546 | yes | no | yes | 20261006-1337 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched 2^27 | fees-v1-shards2.json shard 0 | 4717439 | 6.2 | 24.6 | 10850 | 1272897 | 0.543 | yes | no | yes | 20261006-1337 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched default | block-72854-empty-block-first.json shard 0 | 23594943 | 39.7 | 61.0 | 9957 | 1272897 | 0.556 | yes | no | yes | 20261006-1336 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 19 | fees-v1-shards2.json shard 0 | 10049917 | 32.7 | 34.2 | 8500 | 223882 | 0.460 | yes | yes | yes | 20261006-1336 |
|
||||
| sp1-patched | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, patched default | fees-v1-shards2.json shard 0 | 4717439 | 6.4 | 26.9 | 14696 | 1272897 | 0.546 | yes | no | yes | 20261006-1336 |
|
||||
| r0 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone, po2 20 | fees-v1-shards2.json shard 0 | 10049917 | 23.1 | 24.6 | 13280 | 223882 | 0.455 | yes | yes | yes | 20261006-1335 |
|
||||
| sp1 | rz-4090 (RTX 4090 24 GB, RunPod, driver 570), cuda, 4090 24 GB alone | fees-v1-shards2.json shard 0 | 4717439 | 6.4 | 127.5 | 17800 | 1272897 | 0.542 | yes | yes | yes | 20261006-1333 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone | block-72854-empty-block-first.json shard 0 | 134734531 | 773.0 | 781.3 | 10173 | 223882 | 0.478 | yes | yes | yes | 20261006-1323 |
|
||||
| sp1 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda | n/a: the prove run failed (exit 1): /tmp/tmp.tTBbwV8taM/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof } | | | | | | | | | | 20261006-1323 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^26 | fees-v1-shards2.json shard 0 | 4717439 | 13.1 | 31.6 | 7587 | 1272897 | 0.551 | yes | no | yes | 20261006-1322 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched 2^27 | fees-v1-shards2.json shard 0 | 4717439 | 9.5 | 31.5 | 10181 | 1272897 | 0.545 | yes | no | yes | 20261006-1321 |
|
||||
| sp1-patched | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone, patched default | fees-v1-shards2.json shard 0 | 4717439 | 10.0 | 32.4 | 10117 | 1272897 | 0.536 | yes | no | yes | 20261006-1321 |
|
||||
| r0 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda, 3060 12 GB alone | fees-v1-shards2.json shard 0 | 10049917 | 53.0 | 54.4 | 10071 | 223882 | 0.454 | yes | yes | yes | 20261006-1320 |
|
||||
| sp1 | rz-3060 (RTX 3060 12 GB, Vast, driver 580), cuda | n/a: the prove run failed (exit 1): /tmp/tmp.rVivH09Uqp/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof } | | | | | | | | | | 20261006-1319 |
|
||||
| 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 |
|
||||
|
|
|
|||
|
|
@ -0,0 +1,10 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"na": "the prove run failed (exit 1): /tmp/tmp.rVivH09Uqp/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof }",
|
||||
"date": "20261006-1319",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1320",
|
||||
"cycles": 10049917,
|
||||
"wall_s": 54.44,
|
||||
"prove_s": 52.998892992,
|
||||
"peak_memory_mib": 10071,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.454,
|
||||
"verify_runs": [
|
||||
0.454,
|
||||
0.468,
|
||||
0.478
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1321",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 31.47,
|
||||
"prove_s": 9.493617291,
|
||||
"peak_memory_mib": 10181,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.545,
|
||||
"verify_runs": [
|
||||
0.604,
|
||||
0.545,
|
||||
0.549
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1321",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 32.4,
|
||||
"prove_s": 10.006853318,
|
||||
"peak_memory_mib": 10117,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.536,
|
||||
"verify_runs": [
|
||||
0.591,
|
||||
0.536,
|
||||
0.554
|
||||
],
|
||||
"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> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1322",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 31.58,
|
||||
"prove_s": 13.08368216,
|
||||
"peak_memory_mib": 7587,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.551,
|
||||
"verify_runs": [
|
||||
0.57,
|
||||
0.551,
|
||||
0.56
|
||||
],
|
||||
"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> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1323",
|
||||
"cycles": 134734531,
|
||||
"wall_s": 781.32,
|
||||
"prove_s": 772.963614179,
|
||||
"peak_memory_mib": 10173,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.478,
|
||||
"verify_runs": [
|
||||
0.483,
|
||||
0.48,
|
||||
0.478
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,10 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"na": "the prove run failed (exit 1): /tmp/tmp.tTBbwV8taM/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof }",
|
||||
"date": "20261006-1323",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1333",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 127.45,
|
||||
"prove_s": 6.393928569,
|
||||
"peak_memory_mib": 17800,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.542,
|
||||
"verify_runs": [
|
||||
0.542,
|
||||
0.549,
|
||||
0.55
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 1,
|
||||
"image_or_program_id": null,
|
||||
"command": "SP1_PROVER=cuda RUST_LOG=off <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1335",
|
||||
"cycles": 10049917,
|
||||
"wall_s": 24.61,
|
||||
"prove_s": 23.113177324,
|
||||
"peak_memory_mib": 13280,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.455,
|
||||
"verify_runs": [
|
||||
0.468,
|
||||
0.455,
|
||||
0.459
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 20",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1336",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 60.95,
|
||||
"prove_s": 39.680827242,
|
||||
"peak_memory_mib": 9957,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.556,
|
||||
"verify_runs": [
|
||||
0.572,
|
||||
0.556,
|
||||
0.56
|
||||
],
|
||||
"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> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1336",
|
||||
"cycles": 10049917,
|
||||
"wall_s": 34.16,
|
||||
"prove_s": 32.691568753,
|
||||
"peak_memory_mib": 8500,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.46,
|
||||
"verify_runs": [
|
||||
0.46,
|
||||
0.467,
|
||||
0.461
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1336",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 26.94,
|
||||
"prove_s": 6.384655778,
|
||||
"peak_memory_mib": 14696,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.546,
|
||||
"verify_runs": [
|
||||
0.547,
|
||||
0.546,
|
||||
0.549
|
||||
],
|
||||
"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> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1337",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 60.74,
|
||||
"prove_s": 39.495245151,
|
||||
"peak_memory_mib": 10245,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.55,
|
||||
"verify_runs": [
|
||||
0.563,
|
||||
0.564,
|
||||
0.55
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1337",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 24.61,
|
||||
"prove_s": 6.836229234,
|
||||
"peak_memory_mib": 8192,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.546,
|
||||
"verify_runs": [
|
||||
0.546,
|
||||
0.549,
|
||||
0.553
|
||||
],
|
||||
"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> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1337",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 24.62,
|
||||
"prove_s": 6.170337728,
|
||||
"peak_memory_mib": 10850,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.543,
|
||||
"verify_runs": [
|
||||
0.545,
|
||||
0.544,
|
||||
0.543
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1338",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 77.48,
|
||||
"prove_s": 57.438826024,
|
||||
"peak_memory_mib": 7491,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.546,
|
||||
"verify_runs": [
|
||||
0.564,
|
||||
0.546,
|
||||
0.55
|
||||
],
|
||||
"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> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1338",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 38.92,
|
||||
"prove_s": 16.994292507,
|
||||
"peak_memory_mib": 20136,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.531,
|
||||
"verify_runs": [
|
||||
0.546,
|
||||
0.531,
|
||||
0.545
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 1,
|
||||
"image_or_program_id": null,
|
||||
"command": "SP1_PROVER=cuda RUST_LOG=off <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1338",
|
||||
"cycles": 4717439,
|
||||
"wall_s": 26.82,
|
||||
"prove_s": 9.515878389000001,
|
||||
"peak_memory_mib": 8384,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.546,
|
||||
"verify_runs": [
|
||||
0.546,
|
||||
0.552,
|
||||
0.546
|
||||
],
|
||||
"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=33554432 <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^25",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1339",
|
||||
"cycles": 89482640,
|
||||
"wall_s": 431.67,
|
||||
"prove_s": 427.57214824,
|
||||
"peak_memory_mib": 10153,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.46,
|
||||
"verify_runs": [
|
||||
0.485,
|
||||
0.478,
|
||||
0.46
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,10 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"na": "the prove run failed (exit 1): /tmp/tmp.bcgeLFKAkK/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof }",
|
||||
"date": "20261006-1339",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1339",
|
||||
"cycles": 134734531,
|
||||
"wall_s": 362.88,
|
||||
"prove_s": 354.600699627,
|
||||
"peak_memory_mib": 20468,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.453,
|
||||
"verify_runs": [
|
||||
0.453,
|
||||
0.457,
|
||||
0.459
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 20",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1345",
|
||||
"cycles": 134734531,
|
||||
"wall_s": 518.32,
|
||||
"prove_s": 509.708173352,
|
||||
"peak_memory_mib": 20484,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.452,
|
||||
"verify_runs": [
|
||||
0.469,
|
||||
0.461,
|
||||
0.452
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1347",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 61.1,
|
||||
"prove_s": 39.154191924,
|
||||
"peak_memory_mib": 10661,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.555,
|
||||
"verify_runs": [
|
||||
0.623,
|
||||
0.593,
|
||||
0.555
|
||||
],
|
||||
"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> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1348",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 61.64,
|
||||
"prove_s": 39.609893273,
|
||||
"peak_memory_mib": 10661,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.55,
|
||||
"verify_runs": [
|
||||
0.556,
|
||||
0.55,
|
||||
0.551
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1349",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 81.14,
|
||||
"prove_s": 58.268109996,
|
||||
"peak_memory_mib": 7555,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.547,
|
||||
"verify_runs": [
|
||||
0.564,
|
||||
0.547,
|
||||
0.59
|
||||
],
|
||||
"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> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1354",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 40.11,
|
||||
"prove_s": 20.047866011,
|
||||
"peak_memory_mib": 10754,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.533,
|
||||
"verify_runs": [
|
||||
0.533,
|
||||
0.55,
|
||||
0.544
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1354",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 38.48,
|
||||
"prove_s": 16.783101933,
|
||||
"peak_memory_mib": 17576,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.544,
|
||||
"verify_runs": [
|
||||
0.544,
|
||||
0.55,
|
||||
0.549
|
||||
],
|
||||
"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> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1355",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 46.12,
|
||||
"prove_s": 27.079176555,
|
||||
"peak_memory_mib": 8160,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.545,
|
||||
"verify_runs": [
|
||||
0.549,
|
||||
0.548,
|
||||
0.545
|
||||
],
|
||||
"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> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "fees-v1-shards2.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1356",
|
||||
"cycles": 10049917,
|
||||
"wall_s": 69.94,
|
||||
"prove_s": 68.467072761,
|
||||
"peak_memory_mib": 7339,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.459,
|
||||
"verify_runs": [
|
||||
0.463,
|
||||
0.468,
|
||||
0.459
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-72854-empty-block-first.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1356",
|
||||
"cycles": 23594943,
|
||||
"wall_s": 69.49,
|
||||
"prove_s": 50.657004593,
|
||||
"peak_memory_mib": 8192,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.549,
|
||||
"verify_runs": [
|
||||
0.549,
|
||||
0.549,
|
||||
0.55
|
||||
],
|
||||
"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=33554432 <host> /root/kit/fixtures/block-72854-empty-block-first.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^25",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1357",
|
||||
"cycles": 89482640,
|
||||
"wall_s": 582.5,
|
||||
"prove_s": 578.24987729,
|
||||
"peak_memory_mib": 7285,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.459,
|
||||
"verify_runs": [
|
||||
0.466,
|
||||
0.459,
|
||||
0.489
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1357",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 41.82,
|
||||
"prove_s": 19.117317899,
|
||||
"peak_memory_mib": 20680,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.54,
|
||||
"verify_runs": [
|
||||
0.548,
|
||||
0.55,
|
||||
0.54
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 1,
|
||||
"image_or_program_id": null,
|
||||
"command": "SP1_PROVER=cuda RUST_LOG=off <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1358",
|
||||
"cycles": 89482640,
|
||||
"wall_s": 182.52,
|
||||
"prove_s": 178.48036258,
|
||||
"peak_memory_mib": 13390,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.467,
|
||||
"verify_runs": [
|
||||
0.467,
|
||||
0.467,
|
||||
0.469
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 20",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1401",
|
||||
"cycles": 89482640,
|
||||
"wall_s": 285.98,
|
||||
"prove_s": 281.413875371,
|
||||
"peak_memory_mib": 8846,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.46,
|
||||
"verify_runs": [
|
||||
0.467,
|
||||
0.46,
|
||||
0.463
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1406",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 42.19,
|
||||
"prove_s": 19.482300341,
|
||||
"peak_memory_mib": 18344,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.546,
|
||||
"verify_runs": [
|
||||
0.565,
|
||||
0.552,
|
||||
0.546
|
||||
],
|
||||
"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> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1407",
|
||||
"cycles": 278423,
|
||||
"wall_s": 6.78,
|
||||
"prove_s": 5.700978352,
|
||||
"peak_memory_mib": 7345,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.466,
|
||||
"verify_runs": [
|
||||
0.468,
|
||||
0.466,
|
||||
0.468
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-58927-empty-reward.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, po2 19",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "r0",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1407",
|
||||
"cycles": 278423,
|
||||
"wall_s": 6.66,
|
||||
"prove_s": 5.611237802,
|
||||
"peak_memory_mib": 7345,
|
||||
"proof_bytes": 223882,
|
||||
"verify_s": 0.464,
|
||||
"verify_runs": [
|
||||
0.487,
|
||||
0.467,
|
||||
0.464
|
||||
],
|
||||
"verified": true,
|
||||
"recursion": true,
|
||||
"audit": true,
|
||||
"proof_system": 2,
|
||||
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
|
||||
"command": "RISC0_PROVER=local RUST_LOG=off <host> /root/kit/fixtures/block-58927-empty-reward.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, po2 20",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,10 @@
|
|||
{
|
||||
"candidate": "sp1",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"na": "the prove run failed (exit 1): /tmp/tmp.qVtcFNc806/time.log:Error: CudaClientError: Failed to read the response: Custom { kind: UnexpectedEof, error: early eof }",
|
||||
"date": "20261006-1407",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1407",
|
||||
"cycles": 257467,
|
||||
"wall_s": 24.73,
|
||||
"prove_s": 5.511343367,
|
||||
"peak_memory_mib": 7205,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.537,
|
||||
"verify_runs": [
|
||||
0.542,
|
||||
0.537,
|
||||
0.545
|
||||
],
|
||||
"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> /root/kit/fixtures/block-58927-empty-reward.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched default",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1407",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 51.33,
|
||||
"prove_s": 29.195983578,
|
||||
"peak_memory_mib": 8192,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.547,
|
||||
"verify_runs": [
|
||||
0.551,
|
||||
0.572,
|
||||
0.547
|
||||
],
|
||||
"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> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1407",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 42.26,
|
||||
"prove_s": 21.165209198,
|
||||
"peak_memory_mib": 11202,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.548,
|
||||
"verify_runs": [
|
||||
0.552,
|
||||
0.548,
|
||||
0.552
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1408",
|
||||
"cycles": 257467,
|
||||
"wall_s": 27.53,
|
||||
"prove_s": 7.288661415,
|
||||
"peak_memory_mib": 7203,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.542,
|
||||
"verify_runs": [
|
||||
0.561,
|
||||
0.542,
|
||||
0.571
|
||||
],
|
||||
"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> /root/kit/fixtures/block-58927-empty-reward.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^26",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-3060 (RTX 3060 12 GB, Vast, driver 580)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-58927-empty-reward.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1408",
|
||||
"cycles": 257467,
|
||||
"wall_s": 25.87,
|
||||
"prove_s": 5.564675484,
|
||||
"peak_memory_mib": 7301,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.562,
|
||||
"verify_runs": [
|
||||
0.562,
|
||||
0.592,
|
||||
0.568
|
||||
],
|
||||
"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=134217728 <host> /root/kit/fixtures/block-58927-empty-reward.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "3060 12 GB alone, patched 2^27",
|
||||
"box": "rented box"
|
||||
}
|
||||
|
|
@ -0,0 +1,28 @@
|
|||
{
|
||||
"candidate": "sp1-patched",
|
||||
"machine": "rz-4090 (RTX 4090 24 GB, RunPod, driver 570)",
|
||||
"backend": "cuda",
|
||||
"fixture": "block-338-shard1.json",
|
||||
"shard": 0,
|
||||
"date": "20261006-1408",
|
||||
"cycles": 60415376,
|
||||
"wall_s": 77.99,
|
||||
"prove_s": 57.515469927,
|
||||
"peak_memory_mib": 8128,
|
||||
"proof_bytes": 1272897,
|
||||
"verify_s": 0.571,
|
||||
"verify_runs": [
|
||||
0.571,
|
||||
0.606,
|
||||
0.608
|
||||
],
|
||||
"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=33554432 <host> /root/kit/fixtures/block-338-shard1.json --mode compressed --shard 0",
|
||||
"source": "bench/proof-systems/run.sh",
|
||||
"label": "4090 24 GB alone, patched 2^25",
|
||||
"box": "rented box"
|
||||
}
|
||||
Loading…
Reference in a new issue