diff --git a/plotting/ceno.data b/plotting/ceno.data index 85f4e3f..cd53dc3 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -282,6 +282,7 @@ 8979 ceno 21.66 8981 ceno 20.69 8992 ceno 21.13 +8997 ceno 21.74 9010 ceno 21.72 9019 ceno 21.29 9050 ceno 20.95 @@ -350,6 +351,7 @@ 11027 ceno 24.17 11071 ceno 23.82 11073 ceno 23.69 +11146 ceno 24.57 11193 ceno 25.2 11196 ceno 24.12 11223 ceno 24.74 @@ -386,12 +388,14 @@ 19264 ceno 31.6 19563 ceno 31.05 20998 ceno 33.36 +23353 ceno 23877 ceno 35.93 24012 ceno 35.28 24294 ceno 36.44 26331 ceno 38.38 26451 ceno 38.32 26603 ceno 39.05 +27031 ceno 39.4 27592 ceno 37.69 29328 ceno 39.19 29750 ceno 42.74 diff --git a/plotting/sp1.data b/plotting/sp1.data index e734c3b..e4d707e 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -282,6 +282,7 @@ 8979 sp1 33.27 8981 sp1 32.4 8992 sp1 33.52 +8997 sp1 33.07 9010 sp1 33.11 9019 sp1 33.46 9050 sp1 32.51 @@ -350,7 +351,7 @@ 11027 sp1 36.01 11071 sp1 36.62 11073 sp1 35.96 -11146 sp1 +11146 sp1 36.78 11193 sp1 37.05 11196 sp1 35.92 11223 sp1 36.71 @@ -393,7 +394,9 @@ 26331 sp1 52.22 26451 sp1 52.98 26603 sp1 52.82 +27031 sp1 54.81 27592 sp1 55.8 +29062 sp1 27.68 29328 sp1 56.88 29750 sp1 58.3 30869 sp1 60.78 diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png index d201496..a8bf599 100644 Binary files a/plotting/sp1_ceno_scatter.png and b/plotting/sp1_ceno_scatter.png differ diff --git a/run_sorting b/run_sorting index f69605b..fefe2ab 100755 --- a/run_sorting +++ b/run_sorting @@ -2,7 +2,7 @@ set -euxo pipefail # export MAX=12000 -export MAX="$((1 << 15))" +export MAX="$((1 << 16))" for N in $(shuf --input-range=1-${MAX}); do for system in $(shuf --echo ceno sp1); do diff --git a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log index 095b200..e7b0df0 100644 --- a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log +++ b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log @@ -40,3 +40,43 @@ stdout: WARNING: Using insecure random number generator. 2025-01-14T15:13:20.680810Z  INFO prove_core: Chip SyscallCore: 5 -> 18 2025-01-14T15:13:20.680812Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 2025-01-14T15:13:20.838940Z  INFO prove_core:generate main traces: close time.busy=158ms time.idle=2.09µs index=0 +2025-01-14T15:13:51.798211Z  INFO prove_core: execution report (totals): total_cycles=3517382, total_syscall_cycles=20, touched_memory_addresses=43000 +2025-01-14T15:13:51.798235Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:13:51.798245Z  INFO prove_core: 1088843 add +2025-01-14T15:13:51.798248Z  INFO prove_core: 611827 lw +2025-01-14T15:13:51.798250Z  INFO prove_core: 572829 sw +2025-01-14T15:13:51.798252Z  INFO prove_core: 295065 sll +2025-01-14T15:13:51.798254Z  INFO prove_core: 181691 bltu +2025-01-14T15:13:51.798256Z  INFO prove_core: 146645 xor +2025-01-14T15:13:51.798258Z  INFO prove_core: 139774 srl +2025-01-14T15:13:51.798259Z  INFO prove_core: 137132 or +2025-01-14T15:13:51.798261Z  INFO prove_core: 135793 sltu +2025-01-14T15:13:51.798263Z  INFO prove_core: 63876 bne +2025-01-14T15:13:51.798265Z  INFO prove_core: 44764 beq +2025-01-14T15:13:51.798266Z  INFO prove_core: 43059 bgeu +2025-01-14T15:13:51.798268Z  INFO prove_core: 24661 jal +2025-01-14T15:13:51.798270Z  INFO prove_core: 11671 sub +2025-01-14T15:13:51.798272Z  INFO prove_core: 7190 jalr +2025-01-14T15:13:51.798273Z  INFO prove_core: 6286 and +2025-01-14T15:13:51.798274Z  INFO prove_core: 3598 auipc +2025-01-14T15:13:51.798275Z  INFO prove_core: 1520 mul +2025-01-14T15:13:51.798277Z  INFO prove_core: 454 sb +2025-01-14T15:13:51.798278Z  INFO prove_core: 289 lbu +2025-01-14T15:13:51.798279Z  INFO prove_core: 210 mulhu +2025-01-14T15:13:51.798281Z  INFO prove_core: 177 blt +2025-01-14T15:13:51.798282Z  INFO prove_core: 20 ecall +2025-01-14T15:13:51.798283Z  INFO prove_core: 4 lb +2025-01-14T15:13:51.798285Z  INFO prove_core: 3 divu +2025-01-14T15:13:51.798286Z  INFO prove_core: 1 bge +2025-01-14T15:13:51.798288Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:13:51.798294Z  INFO prove_core: 8 commit +2025-01-14T15:13:51.798296Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:13:51.798298Z  INFO prove_core: 1 halt +2025-01-14T15:13:51.798299Z  INFO prove_core: 1 write +2025-01-14T15:13:51.798301Z  INFO prove_core: 1 hint_len +2025-01-14T15:13:51.798302Z  INFO prove_core: 1 hint_read +2025-01-14T15:13:51.798310Z  INFO prove_core: summary: cycles=3517382, e2e=31.968330667s, khz=110.03 +2025-01-14T15:13:51.801094Z  INFO prove_core: close time.busy=31.1s time.idle=899ms +Successfully generated proof! +2025-01-14T15:13:52.320864Z  INFO verify: close time.busy=514ms time.idle=2.13µs +Successfully verified proof! diff --git a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time index e69de29..82d24dd 100644 --- a/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time +++ b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=11146 --prove" + User time (seconds): 1309.30 + System time (seconds): 56.31 + Percent of CPU this job got: 3712% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.78 + 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): 19568832 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 30 + Minor (reclaiming a frame) page faults: 12431970 + Voluntary context switches: 432543 + Involuntary context switches: 84810 + 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/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints b/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints new file mode 100644 index 0000000..3ff2a8c Binary files /dev/null and b/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints differ diff --git a/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/output_time b/sorting-output/11146-2025-01-14T15:13:53,418474099+00:00/ceno/output_time new file mode 100644 index 0000000..7b98ca6 --- /dev/null +++ b/sorting-output/11146-2025-01-14T15:13:53,418474099+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/11146-2025-01-14T15:13:53,418474099+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 760.82 + System time (seconds): 49.89 + Percent of CPU this job got: 3298% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.57 + 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): 7969084 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 2 + Minor (reclaiming a frame) page faults: 4257349 + Voluntary context switches: 1018759 + Involuntary context switches: 166934 + 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/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints b/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints new file mode 100644 index 0000000..5179394 Binary files /dev/null and b/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/hints differ diff --git a/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/output_time b/sorting-output/23353-2025-01-14T15:17:29,046220116+00:00/ceno/output_time new file mode 100644 index 0000000..e69de29 diff --git a/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints b/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints new file mode 100644 index 0000000..bd0b497 Binary files /dev/null and b/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints differ diff --git a/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/output_time b/sorting-output/27031-2025-01-14T15:15:15,009493607+00:00/ceno/output_time new file mode 100644 index 0000000..65202bc --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:15,009493607+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/27031-2025-01-14T15:15:15,009493607+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1335.89 + System time (seconds): 90.47 + Percent of CPU this job got: 3619% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:39.40 + 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): 15058784 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 29 + Minor (reclaiming a frame) page faults: 11673999 + Voluntary context switches: 1224165 + Involuntary context switches: 217077 + 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/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log new file mode 100644 index 0000000..4c7fc60 --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/log @@ -0,0 +1,124 @@ +2025-01-14T15:15:56.402645Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:15:56.861804Z  INFO vk verification: true +n: 27031 +2025-01-14T15:15:59.188074Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:15:59.465502Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:00.838766Z  INFO prove_core: deferred 1 records +2025-01-14T15:16:01.273305Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:16:01.273325Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273327Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273329Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:01.273331Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:16:01.273333Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:01.273334Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273335Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:16:01.273337Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:01.273338Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273339Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:01.273340Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:16:01.273341Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:16:01.273342Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:01.273344Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:16:01.273345Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:16:01.273729Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T15:16:01.273733Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273735Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:16:01.273736Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273737Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:16:01.273738Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:16:01.273739Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:16:01.273741Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273742Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:16:01.273743Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:01.273744Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273745Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T15:16:01.273747Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:16:01.273748Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:16:01.273749Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:01.273978Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:16:01.273981Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.273983Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.273984Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:01.273985Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:01.273986Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:01.273988Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.273989Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:01.273990Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:01.273991Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.273992Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:01.273993Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:01.273995Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:01.273996Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:01.274171Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T15:16:01.274175Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:01.274176Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:01.274177Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:16:01.274178Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:01.274179Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:16:01.274181Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:01.274182Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:01.274183Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:01.274184Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:01.274185Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:01.274187Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:01.274188Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:01.274189Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:01.275210Z  INFO prove_core: Shard Lifted: Index=5, Cluster=313 +2025-01-14T15:16:01.275218Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:16:01.275219Z  INFO prove_core: Chip AddSub: 19 -> 20 +2025-01-14T15:16:01.275221Z  INFO prove_core: Chip Bitwise: 13 -> 16 +2025-01-14T15:16:01.275222Z  INFO prove_core: Chip Mul: 9 -> 16 +2025-01-14T15:16:01.275223Z  INFO prove_core: Chip ShiftRight: 11 -> 16 +2025-01-14T15:16:01.275224Z  INFO prove_core: Chip ShiftLeft: 16 -> 16 +2025-01-14T15:16:01.275225Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:16:01.275227Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:16:01.275228Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:16:01.275229Z  INFO prove_core: Chip Auipc: 11 -> 17 +2025-01-14T15:16:01.275230Z  INFO prove_core: Chip Branch: 17 -> 17 +2025-01-14T15:16:01.275231Z  INFO prove_core: Chip Jump: 14 -> 17 +2025-01-14T15:16:01.275232Z  INFO prove_core: Chip Global: 14 -> 16 +2025-01-14T15:16:01.275233Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:16:01.275235Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:16:01.605803Z  INFO prove_core:generate main traces: close time.busy=330ms time.idle=2.14µs index=0 +2025-01-14T15:16:48.305853Z  INFO prove_core: execution report (totals): total_cycles=8949065, total_syscall_cycles=20, touched_memory_addresses=74772 +2025-01-14T15:16:48.305879Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:16:48.305887Z  INFO prove_core: 2817335 add +2025-01-14T15:16:48.305891Z  INFO prove_core: 1548384 lw +2025-01-14T15:16:48.305892Z  INFO prove_core: 1454447 sw +2025-01-14T15:16:48.305894Z  INFO prove_core: 747084 sll +2025-01-14T15:16:48.305896Z  INFO prove_core: 481512 bltu +2025-01-14T15:16:48.305897Z  INFO prove_core: 364511 sltu +2025-01-14T15:16:48.305898Z  INFO prove_core: 352345 xor +2025-01-14T15:16:48.305899Z  INFO prove_core: 334024 srl +2025-01-14T15:16:48.305901Z  INFO prove_core: 328733 or +2025-01-14T15:16:48.305902Z  INFO prove_core: 165247 bne +2025-01-14T15:16:48.305903Z  INFO prove_core: 112132 bgeu +2025-01-14T15:16:48.305904Z  INFO prove_core: 108253 beq +2025-01-14T15:16:48.305906Z  INFO prove_core: 61989 jal +2025-01-14T15:16:48.305907Z  INFO prove_core: 27983 sub +2025-01-14T15:16:48.305908Z  INFO prove_core: 17491 jalr +2025-01-14T15:16:48.305909Z  INFO prove_core: 13931 and +2025-01-14T15:16:48.305911Z  INFO prove_core: 8749 auipc +2025-01-14T15:16:48.305912Z  INFO prove_core: 3197 mul +2025-01-14T15:16:48.305913Z  INFO prove_core: 544 sb +2025-01-14T15:16:48.305914Z  INFO prove_core: 424 blt +2025-01-14T15:16:48.305916Z  INFO prove_core: 402 lbu +2025-01-14T15:16:48.305917Z  INFO prove_core: 320 mulhu +2025-01-14T15:16:48.305918Z  INFO prove_core: 20 ecall +2025-01-14T15:16:48.305920Z  INFO prove_core: 4 lb +2025-01-14T15:16:48.305921Z  INFO prove_core: 3 divu +2025-01-14T15:16:48.305922Z  INFO prove_core: 1 bge +2025-01-14T15:16:48.305925Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:16:48.305933Z  INFO prove_core: 8 commit +2025-01-14T15:16:48.305935Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:16:48.305937Z  INFO prove_core: 1 halt +2025-01-14T15:16:48.305938Z  INFO prove_core: 1 write +2025-01-14T15:16:48.305940Z  INFO prove_core: 1 hint_len +2025-01-14T15:16:48.305941Z  INFO prove_core: 1 hint_read +2025-01-14T15:16:48.305949Z  INFO prove_core: summary: cycles=8949065, e2e=49.118547412s, khz=182.19 +2025-01-14T15:16:48.309626Z  INFO prove_core: close time.busy=47.0s time.idle=2.15s +Successfully generated proof! +2025-01-14T15:16:49.378559Z  INFO verify: close time.busy=1.04s time.idle=2.27µs +Successfully verified proof! diff --git a/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time new file mode 100644 index 0000000..ad7d435 --- /dev/null +++ b/sorting-output/27031-2025-01-14T15:15:55,063010107+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=27031 --prove" + User time (seconds): 2884.51 + System time (seconds): 111.38 + Percent of CPU this job got: 5465% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:54.81 + 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): 46258812 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 26349703 + Voluntary context switches: 1846621 + Involuntary context switches: 88352 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log new file mode 100644 index 0000000..7b3f828 --- /dev/null +++ b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/log @@ -0,0 +1,84 @@ +2025-01-14T15:16:52.145315Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:16:52.607896Z  INFO vk verification: true +n: 29062 +2025-01-14T15:16:54.968142Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:55.275752Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:16:56.774756Z  INFO prove_core: deferred 1 records +2025-01-14T15:16:57.227655Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:16:57.227680Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.227682Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.227684Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:57.227685Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:16:57.227687Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:57.227688Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.227691Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:16:57.227693Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:57.227694Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.227695Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:57.227696Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:16:57.227698Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:16:57.227699Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:57.227700Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:16:57.227701Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:16:57.227949Z  INFO prove_core: Shard Lifted: Index=2, Cluster=210 +2025-01-14T15:16:57.227953Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.227954Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:16:57.227956Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.227957Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:16:57.227958Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:16:57.227959Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:16:57.227960Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.227962Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:16:57.227963Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:57.227964Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.227965Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:16:57.227966Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:16:57.227967Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:16:57.227969Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:57.228203Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:16:57.228207Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228209Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.228210Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228211Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228212Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:57.228213Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.228214Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:57.228216Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:16:57.228217Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.228218Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228219Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:57.228220Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228221Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:16:57.228413Z  INFO prove_core: Shard Lifted: Index=4, Cluster=179 +2025-01-14T15:16:57.228417Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228418Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:16:57.228420Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228421Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228422Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:16:57.228423Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:16:57.228424Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:16:57.228426Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:16:57.228427Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:16:57.228428Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228429Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:16:57.228430Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228432Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:16:57.228671Z  INFO prove_core: Shard Lifted: Index=5, Cluster=61 +2025-01-14T15:16:57.228675Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:16:57.228677Z  INFO prove_core: Chip AddSub: 20 -> 21 +2025-01-14T15:16:57.228678Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:16:57.228679Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:16:57.228680Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:16:57.228681Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:16:57.228682Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:16:57.228684Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:16:57.228685Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:16:57.228686Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:16:57.228687Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:16:57.228688Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:16:57.228689Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T15:16:57.228691Z  INFO prove_core: Chip SyscallCore: 5 -> 18 +2025-01-14T15:16:57.228692Z  INFO prove_core: Chip SyscallInstrs: 5 -> 18 +2025-01-14T15:16:57.622096Z  INFO prove_core:generate main traces: close time.busy=393ms time.idle=2.91µs index=0 diff --git a/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time new file mode 100644 index 0000000..aa3b9f6 --- /dev/null +++ b/sorting-output/29062-2025-01-14T15:16:50,810086125+00:00/sp1/output_time @@ -0,0 +1,24 @@ +Command terminated by signal 2 + Command being timed: "cargo run --release -- --n=29062 --prove" + User time (seconds): 1586.93 + System time (seconds): 66.52 + Percent of CPU this job got: 5972% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:27.68 + 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): 38015092 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 4 + Minor (reclaiming a frame) page faults: 17987521 + Voluntary context switches: 189273 + Involuntary context switches: 75614 + Swaps: 0 + File system inputs: 0 + File system outputs: 976 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints b/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints new file mode 100644 index 0000000..cac8150 Binary files /dev/null and b/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints differ diff --git a/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/output_time b/sorting-output/8997-2025-01-14T15:14:18,626143567+00:00/ceno/output_time new file mode 100644 index 0000000..7cee64b --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:18,626143567+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/8997-2025-01-14T15:14:18,626143567+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 609.57 + System time (seconds): 50.43 + Percent of CPU this job got: 3035% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:21.74 + 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): 6180984 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 81 + Minor (reclaiming a frame) page faults: 3554751 + Voluntary context switches: 964849 + Involuntary context switches: 182456 + 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/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log new file mode 100644 index 0000000..a254008 --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/log @@ -0,0 +1,82 @@ +2025-01-14T15:14:42.325222Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:14:42.783157Z  INFO vk verification: true +n: 8997 +2025-01-14T15:14:45.099043Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:14:45.186203Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:14:45.595801Z  INFO prove_core: deferred 1 records +2025-01-14T15:14:45.756112Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54 +2025-01-14T15:14:45.756134Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:14:45.756138Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:14:45.756140Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:14:45.756141Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:14:45.756143Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:14:45.756144Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:14:45.756145Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:14:45.756147Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:14:45.756148Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:14:45.756149Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:14:45.756150Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:14:45.756151Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:14:45.756152Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:14:45.756154Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:14:45.756155Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:14:45.756156Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:14:45.757168Z  INFO prove_core: Shard Lifted: Index=2, Cluster=313 +2025-01-14T15:14:45.757177Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:14:45.757178Z  INFO prove_core: Chip AddSub: 20 -> 20 +2025-01-14T15:14:45.757179Z  INFO prove_core: Chip Bitwise: 14 -> 16 +2025-01-14T15:14:45.757181Z  INFO prove_core: Chip Mul: 9 -> 16 +2025-01-14T15:14:45.757182Z  INFO prove_core: Chip ShiftRight: 11 -> 16 +2025-01-14T15:14:45.757183Z  INFO prove_core: Chip ShiftLeft: 16 -> 16 +2025-01-14T15:14:45.757185Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:14:45.757186Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:14:45.757187Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:14:45.757188Z  INFO prove_core: Chip Auipc: 11 -> 17 +2025-01-14T15:14:45.757189Z  INFO prove_core: Chip Branch: 17 -> 17 +2025-01-14T15:14:45.757191Z  INFO prove_core: Chip Jump: 14 -> 17 +2025-01-14T15:14:45.757192Z  INFO prove_core: Chip Global: 14 -> 16 +2025-01-14T15:14:45.757193Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:14:45.757194Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:14:45.882381Z  INFO prove_core:generate main traces: close time.busy=125ms time.idle=1.75µs index=0 +2025-01-14T15:15:13.723814Z  INFO prove_core: execution report (totals): total_cycles=2800771, total_syscall_cycles=20, touched_memory_addresses=38702 +2025-01-14T15:15:13.723838Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:15:13.723845Z  INFO prove_core: 859232 add +2025-01-14T15:15:13.723847Z  INFO prove_core: 489674 lw +2025-01-14T15:15:13.723849Z  INFO prove_core: 457802 sw +2025-01-14T15:15:13.723851Z  INFO prove_core: 236373 sll +2025-01-14T15:15:13.723853Z  INFO prove_core: 144687 bltu +2025-01-14T15:15:13.723854Z  INFO prove_core: 118571 xor +2025-01-14T15:15:13.723856Z  INFO prove_core: 113040 srl +2025-01-14T15:15:13.723857Z  INFO prove_core: 110820 or +2025-01-14T15:15:13.723858Z  INFO prove_core: 107701 sltu +2025-01-14T15:15:13.723860Z  INFO prove_core: 48369 bne +2025-01-14T15:15:13.723861Z  INFO prove_core: 35507 beq +2025-01-14T15:15:13.723862Z  INFO prove_core: 34292 bgeu +2025-01-14T15:15:13.723864Z  INFO prove_core: 18961 jal +2025-01-14T15:15:13.723865Z  INFO prove_core: 9528 sub +2025-01-14T15:15:13.723866Z  INFO prove_core: 5836 jalr +2025-01-14T15:15:13.723868Z  INFO prove_core: 5146 and +2025-01-14T15:15:13.723869Z  INFO prove_core: 2921 auipc +2025-01-14T15:15:13.723870Z  INFO prove_core: 1256 mul +2025-01-14T15:15:13.723871Z  INFO prove_core: 440 sb +2025-01-14T15:15:13.723873Z  INFO prove_core: 262 lbu +2025-01-14T15:15:13.723874Z  INFO prove_core: 182 mulhu +2025-01-14T15:15:13.723875Z  INFO prove_core: 143 blt +2025-01-14T15:15:13.723876Z  INFO prove_core: 20 ecall +2025-01-14T15:15:13.723878Z  INFO prove_core: 4 lb +2025-01-14T15:15:13.723879Z  INFO prove_core: 3 divu +2025-01-14T15:15:13.723880Z  INFO prove_core: 1 bge +2025-01-14T15:15:13.723883Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:15:13.723887Z  INFO prove_core: 8 commit +2025-01-14T15:15:13.723889Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:15:13.723890Z  INFO prove_core: 1 halt +2025-01-14T15:15:13.723892Z  INFO prove_core: 1 write +2025-01-14T15:15:13.723893Z  INFO prove_core: 1 hint_len +2025-01-14T15:15:13.723895Z  INFO prove_core: 1 hint_read +2025-01-14T15:15:13.723901Z  INFO prove_core: summary: cycles=2800771, e2e=28.62551874s, khz=97.84 +2025-01-14T15:15:13.729837Z  INFO prove_core: close time.busy=27.9s time.idle=702ms +Successfully generated proof! +2025-01-14T15:15:14.250293Z  INFO verify: close time.busy=511ms time.idle=1.24µs +Successfully verified proof! diff --git a/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time new file mode 100644 index 0000000..d711eeb --- /dev/null +++ b/sorting-output/8997-2025-01-14T15:14:40,969777275+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=8997 --prove" + User time (seconds): 1016.97 + System time (seconds): 47.16 + Percent of CPU this job got: 3217% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:33.07 + 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): 16157912 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 1 + Minor (reclaiming a frame) page faults: 9694370 + Voluntary context switches: 452229 + Involuntary context switches: 76866 + 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