diff --git a/bench/proof-systems/TABLE.md b/bench/proof-systems/TABLE.md index a16858ece..173d23ab0 100644 --- a/bench/proof-systems/TABLE.md +++ b/bench/proof-systems/TABLE.md @@ -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 | diff --git a/bench/proof-systems/rows/20261006-1159-DESKTOP-KMCV30N-sp1-beside-the-miner.json b/bench/proof-systems/rows/20261006-1159-DESKTOP-KMCV30N-sp1-beside-the-miner.json new file mode 100644 index 000000000..82e72beb5 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1159-DESKTOP-KMCV30N-sp1-beside-the-miner.json @@ -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 /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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1200-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json b/bench/proof-systems/rows/20261006-1200-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json new file mode 100644 index 000000000..fe055646b --- /dev/null +++ b/bench/proof-systems/rows/20261006-1200-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json @@ -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 /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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-beside-the-miner.json b/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-beside-the-miner.json new file mode 100644 index 000000000..945474506 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-beside-the-miner.json @@ -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 /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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json b/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json new file mode 100644 index 000000000..e839aa44f --- /dev/null +++ b/bench/proof-systems/rows/20261006-1201-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json @@ -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 /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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1202-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json b/bench/proof-systems/rows/20261006-1202-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json new file mode 100644 index 000000000..814063eb4 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1202-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-default.json @@ -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 /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" +} \ No newline at end of file diff --git a/bench/proof-systems/rows/20261006-1203-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json b/bench/proof-systems/rows/20261006-1203-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json new file mode 100644 index 000000000..68b74ab26 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1203-DESKTOP-KMCV30N-sp1-patched-beside-the-miner,-patched-2^26.json @@ -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 /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" +} \ No newline at end of file