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

bench/proof-systems: the Mac RISC Zero rows (CPU HAL: the v1 shard 574 s at po2 20 and 10.2 GB RSS, 699 s at po2 19 and 8.0 GB; the empty shard 46 to 49 s at 7.9 GB; receipt 223,882 B, verify 0.21 s)

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-06 12:44:55 +00:00
parent 94b97c1396
commit afb59f051e
8 changed files with 203 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -5,6 +5,13 @@
| 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 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 19 | block-58927-empty-reward.json shard 0 | 278423 | 46.5 | 46.9 | 7935 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 20 | block-58927-empty-reward.json shard 0 | 278423 | 47.9 | 48.4 | 7933 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 21 | block-58927-empty-reward.json shard 0 | 278423 | 49.0 | 49.4 | 7936 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (cpu build), po2 20 | fees-v1-shards2.json shard 0 | 10049917 | 585.8 | 587.7 | 10093 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 19 | fees-v1-shards2.json shard 0 | 10049917 | 698.7 | 699.2 | 8013 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 20 | fees-v1-shards2.json shard 0 | 10049917 | 574.4 | 575.0 | 10166 | 223882 | 0.210 | yes | yes | yes | 20261006-1200 |
| r0 | MacBook-Pro, cpu, CPU HAL (metal build), po2 21 | fees-v1-shards2.json shard 0 | 10049917 | 560.9 | 561.5 | 19497 | 223882 | 0.210 | yes | yes | 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 |

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po219.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "block-58927-empty-reward.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 278423,
"wall_s": 46.91,
"prove_s": 46.465535042,
"peak_memory_mib": 7935,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 19,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/block-58927-empty-reward.json --mode compressed --shard 0 --po2 19 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 19"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po220.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "block-58927-empty-reward.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 278423,
"wall_s": 48.4,
"prove_s": 47.948946833,
"peak_memory_mib": 7933,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 20,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/block-58927-empty-reward.json --mode compressed --shard 0 --po2 20 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 20"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po221.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "block-58927-empty-reward.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 278423,
"wall_s": 49.44,
"prove_s": 48.974515,
"peak_memory_mib": 7936,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 21,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/block-58927-empty-reward.json --mode compressed --shard 0 --po2 21 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 21"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-cpu-po220.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 10049917,
"wall_s": 587.71,
"prove_s": 585.765148792,
"peak_memory_mib": 10093,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 20,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0 --po2 20 (features: cpu; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (cpu build), po2 20"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po219.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 10049917,
"wall_s": 699.24,
"prove_s": 698.704864625,
"peak_memory_mib": 8013,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 19,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0 --po2 19 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 19"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po220.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 10049917,
"wall_s": 574.95,
"prove_s": 574.4259095,
"peak_memory_mib": 10166,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.21,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 20,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0 --po2 20 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 20"
}

28
bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po221.json Normal file
View file

@ -0,0 +1,28 @@
{
"candidate": "r0",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1200",
"cycles": 10049917,
"wall_s": 561.46,
"prove_s": 560.90603875,
"peak_memory_mib": 19497,
"proof_bytes": 223882,
"verify_s": 0.21,
"verify_runs": [
0.22,
0.21,
0.21
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 2,
"image_or_program_id": "0x9ae0f416ee43e9ea8908c555d424fe23e3592677ffc42a763476623d0eb5cf72",
"po2": 21,
"command": "RISC0_PROVER=local igneum-prove-r0-host proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0 --po2 21 (features: metal; 3.0.6 selects no Metal HAL, so both builds are the CPU HAL)",
"source": "proving/igneum-prove-r0/bench/mac-2026-10-06.sh (the RISC Zero agent), bench-log \"RISC Zero as proof system 2 on the Mac\"",
"label": "CPU HAL (metal build), po2 21"
}