From afb59f051eef20a8c0d581db9f47406d62941d15 Mon Sep 17 00:00:00 2001 From: igneum-labs <337424239+igneum-labs@users.noreply.github.com> Date: Tue, 6 Oct 2026 12:44:55 +0000 Subject: [PATCH] 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) Co-Authored-By: Claude Fable 5.1 --- bench/proof-systems/TABLE.md | 7 +++++ ...-block-58927-empty-reward-metal-po219.json | 28 +++++++++++++++++++ ...-block-58927-empty-reward-metal-po220.json | 28 +++++++++++++++++++ ...-block-58927-empty-reward-metal-po221.json | 28 +++++++++++++++++++ ...Book-Pro-r0-fees-v1-shards2-cpu-po220.json | 28 +++++++++++++++++++ ...ok-Pro-r0-fees-v1-shards2-metal-po219.json | 28 +++++++++++++++++++ ...ok-Pro-r0-fees-v1-shards2-metal-po220.json | 28 +++++++++++++++++++ ...ok-Pro-r0-fees-v1-shards2-metal-po221.json | 28 +++++++++++++++++++ 8 files changed, 203 insertions(+) create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po219.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po220.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po221.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-cpu-po220.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po219.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po220.json create mode 100644 bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po221.json diff --git a/bench/proof-systems/TABLE.md b/bench/proof-systems/TABLE.md index 173d23ab0..bc9fcab15 100644 --- a/bench/proof-systems/TABLE.md +++ b/bench/proof-systems/TABLE.md @@ -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 | diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po219.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po219.json new file mode 100644 index 000000000..2891ae35d --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po219.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po220.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po220.json new file mode 100644 index 000000000..c43451818 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po220.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po221.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po221.json new file mode 100644 index 000000000..82cfc03f2 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-block-58927-empty-reward-metal-po221.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-cpu-po220.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-cpu-po220.json new file mode 100644 index 000000000..922b724c6 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-cpu-po220.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po219.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po219.json new file mode 100644 index 000000000..93e73430b --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po219.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po220.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po220.json new file mode 100644 index 000000000..3599b3f3f --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po220.json @@ -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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po221.json b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po221.json new file mode 100644 index 000000000..3453f4fcc --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-MacBook-Pro-r0-fees-v1-shards2-metal-po221.json @@ -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" +} \ No newline at end of file