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

bench/proof-systems: the first Mac rows (SP1 stock on the M5 Max CPU: 4,717,439 cycles, 71.7 s, 27,821 MiB RSS, 1,272,897 B, verify 0.258 s; sp1-patched and jolt n/a with the reason) and the table

Browse source 
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs 2026-10-06 11:55:11 +00:00
parent 29bc922422
commit 3e48415e5f
4 changed files with 33 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
bench/proof-systems/TABLE.md Normal file
View file

@ -0,0 +1,5 @@
| Candidate | Machine, backend | Fixture | Cycles | Prove s | Wall s | Peak memory MiB | Proof bytes | Verify s (one core) | Recursion | Audit | Verified | Date |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 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 |

1
bench/proof-systems/rows/20261006-1146-MacBook-Pro-jolt.json Normal file
View file

@ -0,0 +1 @@
{"candidate":"jolt","machine":"MacBook-Pro","backend":"cpu","na":"no guest for our shard statement and no shipped recursion (proving-methods.md route F)","date":"20261006-1146"}

1
bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1-patched.json Normal file
View file

@ -0,0 +1 @@
{"candidate":"sp1-patched","machine":"MacBook-Pro","backend":"cpu","na":"the patched server exists only on PC 2 (/opt/igneum-floor/home)","date":"20261006-1146"}

26
bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1.json Normal file
View file

@ -0,0 +1,26 @@
{
"candidate": "sp1",
"machine": "MacBook-Pro",
"backend": "cpu",
"fixture": "fees-v1-shards2.json",
"shard": 0,
"date": "20261006-1146",
"cycles": 4717439,
"wall_s": 80.25,
"prove_s": 71.749146208,
"peak_memory_mib": 27821,
"proof_bytes": 1272897,
"verify_s": 0.258,
"verify_runs": [
0.258,
0.258,
0.258
],
"verified": true,
"recursion": true,
"audit": true,
"proof_system": 1,
"image_or_program_id": null,
"command": "SP1_PROVER=cpu RUST_LOG=off - <host> /Users/joshm/Projects/igneum-wt-proving-v2/proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0",
"source": "bench/proof-systems/run.sh"
}