From ced353b02769dae6e19c2868e68ccabcce354224 Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Tue, 14 Jan 2025 14:30:04 +0000 Subject: [PATCH] More data --- plotting/ceno.data | 3 + plotting/plot | 6 +- plotting/plot.gnuplot | 2 +- plotting/sp1.data | 5 +- plotting/sp1_ceno_scatter.svg | 1580 +++++++++-------- run_sorting | 4 +- .../sp1/log | 40 + .../sp1/output_time | 23 + .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 + .../sp1/log | 42 + .../sp1/output_time | 0 .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 + .../sp1/log | 110 ++ .../sp1/output_time | 23 + .../sp1/log | 82 + .../sp1/output_time | 23 + .../ceno/hints | Bin 0 -> 32 bytes .../ceno/output_time | 23 + 20 files changed, 1244 insertions(+), 768 deletions(-) create mode 100644 sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints create mode 100644 sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time create mode 100644 sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log create mode 100644 sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time create mode 100644 sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints create mode 100644 sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time create mode 100644 sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log create mode 100644 sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time create mode 100644 sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log create mode 100644 sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time create mode 100644 sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints create mode 100644 sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time diff --git a/plotting/ceno.data b/plotting/ceno.data index bd70b96..b10dd0e 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -286,6 +286,7 @@ 9459 ceno 21.25 9505 ceno 21.56 9525 ceno 21.82 +9631 ceno 22.12 9679 ceno 22.72 9691 ceno 22.4 9694 ceno 21.71 @@ -311,6 +312,7 @@ 10278 ceno 23.42 10328 ceno 24.26 10371 ceno 23.48 +10423 ceno 24.08 10439 ceno 23.21 10447 ceno 23.07 10460 ceno 23.9 @@ -360,3 +362,4 @@ 11805 ceno 24.88 11901 ceno 24.94 11935 ceno 24.93 +19563 ceno 31.05 diff --git a/plotting/plot b/plotting/plot index 8065248..9a8b908 100755 --- a/plotting/plot +++ b/plotting/plot @@ -1,10 +1,10 @@ #!/bin/bash set -euxo pipefail -plotting/get_data | grep sp1 > plotting/sp1.data -plotting/get_data | grep ceno > plotting/ceno.data +nice plotting/get_data | nice grep sp1 > plotting/sp1.data +nice plotting/get_data | nice grep ceno > plotting/ceno.data ( cd plotting - gnuplot plot.gnuplot + nice gnuplot plot.gnuplot ) diff --git a/plotting/plot.gnuplot b/plotting/plot.gnuplot index 565540a..1719560 100644 --- a/plotting/plot.gnuplot +++ b/plotting/plot.gnuplot @@ -1,7 +1,7 @@ # plot_sp1_ceno.gnu # 1) Choose SVG output -set terminal svg size 800,600 font "Helvetica,10" +set terminal svg size 1600,1200 font "Helvetica,10" set output 'sp1_ceno_scatter.svg' # 2) Basic plot settings diff --git a/plotting/sp1.data b/plotting/sp1.data index c7446a4..4a026ab 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -286,6 +286,7 @@ 9459 sp1 31.81 9505 sp1 33.82 9525 sp1 32.44 +9631 sp1 33.77 9679 sp1 32.79 9691 sp1 33.09 9694 sp1 32.11 @@ -296,7 +297,7 @@ 9781 sp1 34.4 9806 sp1 33.97 9837 sp1 33.84 -9846 sp1 +9846 sp1 33.42 9896 sp1 32.66 9930 sp1 33.53 9953 sp1 32.9 @@ -311,6 +312,7 @@ 10278 sp1 35.95 10328 sp1 35.54 10371 sp1 35.03 +10423 sp1 35.42 10439 sp1 36.47 10447 sp1 35.16 10460 sp1 35.26 @@ -360,3 +362,4 @@ 11805 sp1 37.05 11901 sp1 36.44 11935 sp1 37.57 +19563 sp1 diff --git a/plotting/sp1_ceno_scatter.svg b/plotting/sp1_ceno_scatter.svg index 5519b4e..5e247a7 100644 --- a/plotting/sp1_ceno_scatter.svg +++ b/plotting/sp1_ceno_scatter.svg @@ -1,7 +1,7 @@ @@ -11,7 +11,7 @@ - + @@ -46,11 +46,11 @@ - + - + 5 @@ -59,11 +59,11 @@ - + - + 10 @@ -72,11 +72,11 @@ - + - + 15 @@ -85,11 +85,11 @@ - + - + 20 @@ -98,11 +98,11 @@ - + - + 25 @@ -111,11 +111,11 @@ - + - + 30 @@ -124,11 +124,11 @@ - + - + 35 @@ -137,11 +137,11 @@ - + - + 40 @@ -150,11 +150,11 @@ - + - + 0 @@ -163,11 +163,11 @@ - + - + 2000 @@ -176,11 +176,11 @@ - + - + 4000 @@ -189,11 +189,11 @@ - + - + 6000 @@ -202,11 +202,11 @@ - + - + 8000 @@ -215,11 +215,11 @@ - + - + 10000 @@ -228,25 +228,77 @@ - + - + 12000 + + + + + + + + + 14000 + + + + + + + + + + + + + 16000 + + + + + + + + + + + + + 18000 + + + + + + + + + + + + + 20000 + + + + - + - + time (s) - + n @@ -261,367 +313,370 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -632,368 +687,371 @@ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1004,9 +1062,9 @@ - + - + Scatterplot of sp1 vs ceno diff --git a/run_sorting b/run_sorting index 49811a6..f69605b 100755 --- a/run_sorting +++ b/run_sorting @@ -1,8 +1,8 @@ #!/bin/bash set -euxo pipefail -export MAX=12000 -# export MAX="$((1 << 14))" +# export MAX=12000 +export MAX="$((1 << 15))" for N in $(shuf --input-range=1-${MAX}); do for system in $(shuf --echo ceno sp1); do diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log index 598fa18..18324c6 100644 --- a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log +++ b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/log @@ -40,3 +40,43 @@ stdout: WARNING: Using insecure random number generator. 2025-01-14T14:26:07.486569Z  INFO prove_core: Chip SyscallCore: 5 -> 18 2025-01-14T14:26:07.486570Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 2025-01-14T14:26:07.633550Z  INFO prove_core:generate main traces: close time.busy=147ms time.idle=1.85µs index=0 +2025-01-14T14:26:37.683343Z  INFO prove_core: execution report (totals): total_cycles=3276526, total_syscall_cycles=20, touched_memory_addresses=41524 +2025-01-14T14:26:37.683364Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:26:37.683374Z  INFO prove_core: 1015204 add +2025-01-14T14:26:37.683377Z  INFO prove_core: 569408 lw +2025-01-14T14:26:37.683379Z  INFO prove_core: 533285 sw +2025-01-14T14:26:37.683381Z  INFO prove_core: 274603 sll +2025-01-14T14:26:37.683382Z  INFO prove_core: 169102 bltu +2025-01-14T14:26:37.683384Z  INFO prove_core: 136705 xor +2025-01-14T14:26:37.683386Z  INFO prove_core: 130319 srl +2025-01-14T14:26:37.683387Z  INFO prove_core: 127844 or +2025-01-14T14:26:37.683389Z  INFO prove_core: 125899 sltu +2025-01-14T14:26:37.683391Z  INFO prove_core: 59777 bne +2025-01-14T14:26:37.683393Z  INFO prove_core: 42414 beq +2025-01-14T14:26:37.683394Z  INFO prove_core: 39826 bgeu +2025-01-14T14:26:37.683396Z  INFO prove_core: 22952 jal +2025-01-14T14:26:37.683398Z  INFO prove_core: 10905 sub +2025-01-14T14:26:37.683400Z  INFO prove_core: 6608 jalr +2025-01-14T14:26:37.683401Z  INFO prove_core: 5829 and +2025-01-14T14:26:37.683403Z  INFO prove_core: 3307 auipc +2025-01-14T14:26:37.683404Z  INFO prove_core: 1413 mul +2025-01-14T14:26:37.683406Z  INFO prove_core: 450 sb +2025-01-14T14:26:37.683407Z  INFO prove_core: 281 lbu +2025-01-14T14:26:37.683408Z  INFO prove_core: 202 mulhu +2025-01-14T14:26:37.683410Z  INFO prove_core: 165 blt +2025-01-14T14:26:37.683411Z  INFO prove_core: 20 ecall +2025-01-14T14:26:37.683412Z  INFO prove_core: 4 lb +2025-01-14T14:26:37.683414Z  INFO prove_core: 3 divu +2025-01-14T14:26:37.683415Z  INFO prove_core: 1 bge +2025-01-14T14:26:37.683419Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:26:37.683423Z  INFO prove_core: 8 commit +2025-01-14T14:26:37.683425Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:26:37.683427Z  INFO prove_core: 1 halt +2025-01-14T14:26:37.683428Z  INFO prove_core: 1 write +2025-01-14T14:26:37.683430Z  INFO prove_core: 1 hint_len +2025-01-14T14:26:37.683431Z  INFO prove_core: 1 hint_read +2025-01-14T14:26:37.683438Z  INFO prove_core: summary: cycles=3276526, e2e=30.947302241s, khz=105.87 +2025-01-14T14:26:37.692932Z  INFO prove_core: close time.busy=30.2s time.idle=802ms +Successfully generated proof! +2025-01-14T14:26:38.221272Z  INFO verify: close time.busy=515ms time.idle=1.74µs +Successfully verified proof! diff --git a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time index e69de29..a3ea843 100644 --- a/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time +++ b/sorting-output/10423-2025-01-14T14:26:02,632314328+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=10423 --prove" + User time (seconds): 1298.73 + System time (seconds): 50.86 + Percent of CPU this job got: 3809% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.42 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 18804588 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 12360927 + Voluntary context switches: 404765 + Involuntary context switches: 82114 + Swaps: 0 + File system inputs: 0 + File system outputs: 880 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..eb61d73c13502c6cb7f89a5850f656a6370ab506 GIT binary patch literal 32 OcmWe(Kn2@1Q2785XaMv8 literal 0 HcmV?d00001 diff --git a/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time new file mode 100644 index 0000000..4baced8 --- /dev/null +++ b/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 732.11 + System time (seconds): 51.06 + Percent of CPU this job got: 3251% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.08 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 7478428 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 4431192 + Voluntary context switches: 1010246 + Involuntary context switches: 160558 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log new file mode 100644 index 0000000..2f8d46b --- /dev/null +++ b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log @@ -0,0 +1,42 @@ +2025-01-14T14:29:44.928750Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:29:45.384428Z  INFO vk verification: true +n: 11193 +2025-01-14T14:29:47.697606Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:29:47.813005Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:29:48.350710Z  INFO prove_core: deferred 1 records +2025-01-14T14:29:48.535928Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54 +2025-01-14T14:29:48.535952Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:29:48.535954Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:29:48.535956Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:29:48.535959Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T14:29:48.535960Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:29:48.535961Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T14:29:48.535963Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:29:48.535964Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:29:48.535965Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:29:48.535966Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:29:48.535968Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T14:29:48.535969Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T14:29:48.535970Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T14:29:48.535971Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:29:48.535972Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:29:48.535973Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:29:48.536270Z  INFO prove_core: Shard Lifted: Index=2, Cluster=61 +2025-01-14T14:29:48.536274Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:29:48.536276Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:29:48.536277Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T14:29:48.536278Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:29:48.536279Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:29:48.536281Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T14:29:48.536282Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:29:48.536283Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T14:29:48.536284Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T14:29:48.536285Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:29:48.536287Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:29:48.536288Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:29:48.536289Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T14:29:48.536290Z  INFO prove_core: Chip SyscallCore: 5 -> 18 +2025-01-14T14:29:48.536291Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 +2025-01-14T14:29:48.710256Z  INFO prove_core:generate main traces: close time.busy=174ms time.idle=2.03µs index=0 diff --git a/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time b/sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/output_time new file mode 100644 index 0000000..e69de29 diff --git a/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..c58833dc62bfbf5201ec408c23ff3199a7aeab3b GIT binary patch literal 32 OcmWe(Kn2-8sC)no!~o0y literal 0 HcmV?d00001 diff --git a/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time new file mode 100644 index 0000000..a2129c0 --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1052.71 + System time (seconds): 65.97 + Percent of CPU this job got: 3602% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.05 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 12229020 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 7464515 + Voluntary context switches: 1122359 + Involuntary context switches: 176523 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log new file mode 100644 index 0000000..52faad5 --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/log @@ -0,0 +1,110 @@ +2025-01-14T14:28:59.549962Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:29:00.003374Z  INFO vk verification: true +n: 19563 +2025-01-14T14:29:02.352356Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:29:02.554843Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:29:03.533922Z  INFO prove_core: deferred 1 records +2025-01-14T14:29:03.861159Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T14:29:03.861187Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:29:03.861190Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:29:03.861191Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T14:29:03.861193Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T14:29:03.861195Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T14:29:03.861197Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:29:03.861198Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T14:29:03.861200Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:29:03.861201Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:29:03.861202Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T14:29:03.861203Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T14:29:03.861204Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T14:29:03.861205Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:29:03.861206Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:29:03.861208Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:29:03.861481Z  INFO prove_core: Shard Lifted: Index=2, Cluster=197 +2025-01-14T14:29:03.861485Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:29:03.861487Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:29:03.861488Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:29:03.861489Z  INFO prove_core: Chip Bitwise: 17 -> 17 +2025-01-14T14:29:03.861490Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T14:29:03.861492Z  INFO prove_core: Chip ShiftRight: 16 -> 17 +2025-01-14T14:29:03.861493Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:29:03.861494Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:29:03.861495Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T14:29:03.861496Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:29:03.861497Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:29:03.861499Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:29:03.861500Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:29:03.861501Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T14:29:03.861672Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T14:29:03.861676Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:29:03.861678Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:29:03.861679Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T14:29:03.861680Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T14:29:03.861681Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T14:29:03.861682Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:29:03.861684Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T14:29:03.861685Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:29:03.861686Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:29:03.861687Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T14:29:03.861688Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T14:29:03.861689Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T14:29:03.861691Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:29:03.865124Z  INFO prove_core: Shard Lifted: Index=4, Cluster=123 +2025-01-14T14:29:03.865132Z  INFO prove_core: Chip Cpu: 17 -> 17 +2025-01-14T14:29:03.865133Z  INFO prove_core: Chip AddSub: 16 -> 16 +2025-01-14T14:29:03.865135Z  INFO prove_core: Chip Bitwise: 12 -> 15 +2025-01-14T14:29:03.865136Z  INFO prove_core: Chip Mul: 6 -> 13 +2025-01-14T14:29:03.865137Z  INFO prove_core: Chip ShiftRight: 10 -> 13 +2025-01-14T14:29:03.865138Z  INFO prove_core: Chip ShiftLeft: 13 -> 13 +2025-01-14T14:29:03.865140Z  INFO prove_core: Chip Lt: 15 -> 15 +2025-01-14T14:29:03.865141Z  INFO prove_core: Chip MemoryLocal: 9 -> 14 +2025-01-14T14:29:03.865142Z  INFO prove_core: Chip MemoryInstrs: 15 -> 15 +2025-01-14T14:29:03.865143Z  INFO prove_core: Chip Auipc: 8 -> 14 +2025-01-14T14:29:03.865144Z  INFO prove_core: Chip Branch: 14 -> 14 +2025-01-14T14:29:03.865145Z  INFO prove_core: Chip Jump: 11 -> 14 +2025-01-14T14:29:03.865146Z  INFO prove_core: Chip Global: 12 -> 13 +2025-01-14T14:29:03.865148Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T14:29:03.865149Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T14:29:04.101562Z  INFO prove_core:generate main traces: close time.busy=236ms time.idle=1.84µs index=0 +2025-01-14T14:29:41.727003Z  INFO prove_core: execution report (totals): total_cycles=6361663, total_syscall_cycles=20, touched_memory_addresses=59821 +2025-01-14T14:29:41.727027Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:29:41.727037Z  INFO prove_core: 1989012 add +2025-01-14T14:29:41.727040Z  INFO prove_core: 1103663 lw +2025-01-14T14:29:41.727044Z  INFO prove_core: 1035594 sw +2025-01-14T14:29:41.727046Z  INFO prove_core: 532264 sll +2025-01-14T14:29:41.727048Z  INFO prove_core: 339001 bltu +2025-01-14T14:29:41.727049Z  INFO prove_core: 255373 xor +2025-01-14T14:29:41.727051Z  INFO prove_core: 254750 sltu +2025-01-14T14:29:41.727053Z  INFO prove_core: 242486 srl +2025-01-14T14:29:41.727054Z  INFO prove_core: 238386 or +2025-01-14T14:29:41.727056Z  INFO prove_core: 115240 bne +2025-01-14T14:29:41.727058Z  INFO prove_core: 79198 beq +2025-01-14T14:29:41.727059Z  INFO prove_core: 79128 bgeu +2025-01-14T14:29:41.727061Z  INFO prove_core: 43797 jal +2025-01-14T14:29:41.727063Z  INFO prove_core: 20401 sub +2025-01-14T14:29:41.727064Z  INFO prove_core: 12649 jalr +2025-01-14T14:29:41.727066Z  INFO prove_core: 10455 and +2025-01-14T14:29:41.727068Z  INFO prove_core: 6328 auipc +2025-01-14T14:29:41.727069Z  INFO prove_core: 2437 mul +2025-01-14T14:29:41.727071Z  INFO prove_core: 524 sb +2025-01-14T14:29:41.727072Z  INFO prove_core: 362 lbu +2025-01-14T14:29:41.727074Z  INFO prove_core: 307 blt +2025-01-14T14:29:41.727076Z  INFO prove_core: 280 mulhu +2025-01-14T14:29:41.727078Z  INFO prove_core: 20 ecall +2025-01-14T14:29:41.727079Z  INFO prove_core: 4 lb +2025-01-14T14:29:41.727081Z  INFO prove_core: 3 divu +2025-01-14T14:29:41.727083Z  INFO prove_core: 1 bge +2025-01-14T14:29:41.727086Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:29:41.727090Z  INFO prove_core: 8 commit +2025-01-14T14:29:41.727093Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:29:41.727094Z  INFO prove_core: 1 halt +2025-01-14T14:29:41.727096Z  INFO prove_core: 1 write +2025-01-14T14:29:41.727098Z  INFO prove_core: 1 hint_len +2025-01-14T14:29:41.727100Z  INFO prove_core: 1 hint_read +2025-01-14T14:29:41.727107Z  INFO prove_core: summary: cycles=6361663, e2e=39.375390316s, khz=161.56 +2025-01-14T14:29:41.729982Z  INFO prove_core: close time.busy=37.8s time.idle=1.55s +Successfully generated proof! +2025-01-14T14:29:42.622972Z  INFO verify: close time.busy=883ms time.idle=2.12µs +Successfully verified proof! diff --git a/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time new file mode 100644 index 0000000..a39369f --- /dev/null +++ b/sorting-output/19563-2025-01-14T14:28:58,186610760+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=19563 --prove" + User time (seconds): 2054.15 + System time (seconds): 86.49 + Percent of CPU this job got: 4820% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.41 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 30098456 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 55 + Minor (reclaiming a frame) page faults: 19182598 + Voluntary context switches: 592813 + Involuntary context switches: 125206 + Swaps: 0 + File system inputs: 0 + File system outputs: 944 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log new file mode 100644 index 0000000..c9dcb7c --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/log @@ -0,0 +1,82 @@ +2025-01-14T14:27:05.137383Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T14:27:05.589598Z  INFO vk verification: true +n: 9631 +2025-01-14T14:27:07.907961Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:27:08.002489Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T14:27:08.445524Z  INFO prove_core: deferred 1 records +2025-01-14T14:27:08.616899Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54 +2025-01-14T14:27:08.616922Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T14:27:08.616925Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T14:27:08.616927Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T14:27:08.616928Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T14:27:08.616930Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T14:27:08.616932Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T14:27:08.616934Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T14:27:08.616935Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:27:08.616937Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T14:27:08.616938Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T14:27:08.616939Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T14:27:08.616940Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:27:08.616941Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T14:27:08.616943Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T14:27:08.616944Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T14:27:08.616945Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T14:27:08.617915Z  INFO prove_core: Shard Lifted: Index=2, Cluster=165 +2025-01-14T14:27:08.617922Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T14:27:08.617924Z  INFO prove_core: Chip AddSub: 20 -> 20 +2025-01-14T14:27:08.617925Z  INFO prove_core: Chip Bitwise: 14 -> 16 +2025-01-14T14:27:08.617927Z  INFO prove_core: Chip Mul: 9 -> 16 +2025-01-14T14:27:08.617928Z  INFO prove_core: Chip ShiftRight: 11 -> 16 +2025-01-14T14:27:08.617929Z  INFO prove_core: Chip ShiftLeft: 16 -> 16 +2025-01-14T14:27:08.617930Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T14:27:08.617932Z  INFO prove_core: Chip MemoryLocal: 12 -> 17 +2025-01-14T14:27:08.617933Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T14:27:08.617934Z  INFO prove_core: Chip Auipc: 11 -> 17 +2025-01-14T14:27:08.617935Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T14:27:08.617936Z  INFO prove_core: Chip Jump: 14 -> 17 +2025-01-14T14:27:08.617937Z  INFO prove_core: Chip Global: 15 -> 16 +2025-01-14T14:27:08.617938Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T14:27:08.617940Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T14:27:08.745189Z  INFO prove_core:generate main traces: close time.busy=127ms time.idle=1.96µs index=0 +2025-01-14T14:27:37.203393Z  INFO prove_core: execution report (totals): total_cycles=3027874, total_syscall_cycles=20, touched_memory_addresses=39974 +2025-01-14T14:27:37.203421Z  INFO prove_core: execution report (opcode counts): +2025-01-14T14:27:37.203428Z  INFO prove_core: 938401 add +2025-01-14T14:27:37.203431Z  INFO prove_core: 526040 lw +2025-01-14T14:27:37.203433Z  INFO prove_core: 491936 sw +2025-01-14T14:27:37.203435Z  INFO prove_core: 253619 sll +2025-01-14T14:27:37.203437Z  INFO prove_core: 154957 bltu +2025-01-14T14:27:37.203438Z  INFO prove_core: 126858 xor +2025-01-14T14:27:37.203440Z  INFO prove_core: 120919 srl +2025-01-14T14:27:37.203442Z  INFO prove_core: 118562 or +2025-01-14T14:27:37.203443Z  INFO prove_core: 115957 sltu +2025-01-14T14:27:37.203445Z  INFO prove_core: 56320 bne +2025-01-14T14:27:37.203447Z  INFO prove_core: 38541 beq +2025-01-14T14:27:37.203448Z  INFO prove_core: 36704 bgeu +2025-01-14T14:27:37.203450Z  INFO prove_core: 21474 jal +2025-01-14T14:27:37.203452Z  INFO prove_core: 10197 sub +2025-01-14T14:27:37.203454Z  INFO prove_core: 6320 jalr +2025-01-14T14:27:37.203455Z  INFO prove_core: 5470 and +2025-01-14T14:27:37.203457Z  INFO prove_core: 3163 auipc +2025-01-14T14:27:37.203458Z  INFO prove_core: 1346 mul +2025-01-14T14:27:37.203459Z  INFO prove_core: 445 sb +2025-01-14T14:27:37.203461Z  INFO prove_core: 272 lbu +2025-01-14T14:27:37.203462Z  INFO prove_core: 192 mulhu +2025-01-14T14:27:37.203463Z  INFO prove_core: 153 blt +2025-01-14T14:27:37.203464Z  INFO prove_core: 20 ecall +2025-01-14T14:27:37.203466Z  INFO prove_core: 4 lb +2025-01-14T14:27:37.203467Z  INFO prove_core: 3 divu +2025-01-14T14:27:37.203468Z  INFO prove_core: 1 bge +2025-01-14T14:27:37.203470Z  INFO prove_core: execution report (syscall counts): +2025-01-14T14:27:37.203475Z  INFO prove_core: 8 commit +2025-01-14T14:27:37.203477Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T14:27:37.203478Z  INFO prove_core: 1 halt +2025-01-14T14:27:37.203479Z  INFO prove_core: 1 write +2025-01-14T14:27:37.203481Z  INFO prove_core: 1 hint_len +2025-01-14T14:27:37.203482Z  INFO prove_core: 1 hint_read +2025-01-14T14:27:37.203490Z  INFO prove_core: summary: cycles=3027874, e2e=29.29617094s, khz=103.35 +2025-01-14T14:27:37.205867Z  INFO prove_core: close time.busy=28.6s time.idle=748ms +Successfully generated proof! +2025-01-14T14:27:37.730422Z  INFO verify: close time.busy=512ms time.idle=2.30µs +Successfully verified proof! diff --git a/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time new file mode 100644 index 0000000..3f49b63 --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:03,775393131+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=9631 --prove" + User time (seconds): 1053.62 + System time (seconds): 51.48 + Percent of CPU this job got: 3272% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:33.77 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 16817880 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 1 + Minor (reclaiming a frame) page faults: 11275889 + Voluntary context switches: 387871 + Involuntary context switches: 66037 + Swaps: 0 + File system inputs: 0 + File system outputs: 912 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints new file mode 100644 index 0000000000000000000000000000000000000000..84c8fac758465820ca1079a12ac648a893c5e854 GIT binary patch literal 32 OcmWe(Kn3$vQTYH4y8zh$ literal 0 HcmV?d00001 diff --git a/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time new file mode 100644 index 0000000..26c2138 --- /dev/null +++ b/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --package=ceno_zkvm --bin=e2e --profile=release -- --hints=/home/matthias/scroll/prog/zkVM-benchmarks/sorting-output/9631-2025-01-14T14:27:38,513180867+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 670.25 + System time (seconds): 46.92 + Percent of CPU this job got: 3241% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:22.12 + Average shared text size (kbytes): 0 + Average unshared data size (kbytes): 0 + Average stack size (kbytes): 0 + Average total size (kbytes): 0 + Maximum resident set size (kbytes): 6906392 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 3680187 + Voluntary context switches: 969593 + Involuntary context switches: 151514 + Swaps: 0 + File system inputs: 0 + File system outputs: 32 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0