diff --git a/bench/proof-systems/TABLE.md b/bench/proof-systems/TABLE.md new file mode 100644 index 000000000..1b658336f --- /dev/null +++ b/bench/proof-systems/TABLE.md @@ -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 | diff --git a/bench/proof-systems/rows/20261006-1146-MacBook-Pro-jolt.json b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-jolt.json new file mode 100644 index 000000000..68fbff750 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-jolt.json @@ -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"} diff --git a/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1-patched.json b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1-patched.json new file mode 100644 index 000000000..bc4322268 --- /dev/null +++ b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1-patched.json @@ -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"} diff --git a/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1.json b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1.json new file mode 100644 index 000000000..ba40005bf --- /dev/null +++ b/bench/proof-systems/rows/20261006-1146-MacBook-Pro-sp1.json @@ -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 - /Users/joshm/Projects/igneum-wt-proving-v2/proving/fixtures/fees-v1-shards2.json --mode compressed --shard 0", + "source": "bench/proof-systems/run.sh" +} \ No newline at end of file