diff --git a/plotting/ceno.data b/plotting/ceno.data index 0f612fb1..85f4e3fe 100644 --- a/plotting/ceno.data +++ b/plotting/ceno.data @@ -56,6 +56,7 @@ 1899 ceno 22.68 1927 ceno 15.24 1936 ceno 15.02 +1972 ceno 15.07 1996 ceno 14.46 2022 ceno 14.45 2026 ceno 14.61 @@ -374,9 +375,11 @@ 11836 ceno 24.81 11901 ceno 24.94 11935 ceno 24.93 +12319 ceno 25.05 14254 ceno 26.59 15097 ceno 26.79 15298 ceno 26.94 +17862 ceno 28.85 18092 ceno 28.62 18125 ceno 28.39 18506 ceno 28.77 @@ -385,6 +388,7 @@ 20998 ceno 33.36 23877 ceno 35.93 24012 ceno 35.28 +24294 ceno 36.44 26331 ceno 38.38 26451 ceno 38.32 26603 ceno 39.05 @@ -393,5 +397,5 @@ 29750 ceno 42.74 30869 ceno 42.43 31065 ceno 43.25 -32352 ceno +32352 ceno 42.57 32746 ceno 43.15 diff --git a/plotting/sp1.data b/plotting/sp1.data index e6060656..e734c3b0 100644 --- a/plotting/sp1.data +++ b/plotting/sp1.data @@ -56,6 +56,7 @@ 1899 sp1 19.77 1927 sp1 20.18 1936 sp1 20.07 +1972 sp1 19.7 1996 sp1 19.58 2022 sp1 19.36 2026 sp1 19.85 @@ -349,6 +350,7 @@ 11027 sp1 36.01 11071 sp1 36.62 11073 sp1 35.96 +11146 sp1 11193 sp1 37.05 11196 sp1 35.92 11223 sp1 36.71 @@ -374,9 +376,11 @@ 11836 sp1 37.2 11901 sp1 36.44 11935 sp1 37.57 +12319 sp1 36.51 14254 sp1 39.26 15097 sp1 41.22 15298 sp1 40.72 +17862 sp1 44.48 18092 sp1 44.43 18125 sp1 44.04 18506 sp1 44.53 @@ -385,6 +389,7 @@ 20998 sp1 46.95 23877 sp1 49.46 24012 sp1 49.39 +24294 sp1 50.43 26331 sp1 52.22 26451 sp1 52.98 26603 sp1 52.82 diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png index 5f4711b4..d201496d 100644 Binary files a/plotting/sp1_ceno_scatter.png and b/plotting/sp1_ceno_scatter.png differ 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 new file mode 100644 index 00000000..095b2001 --- /dev/null +++ b/sorting-output/11146-2025-01-14T15:13:15,713841742+00:00/sp1/log @@ -0,0 +1,42 @@ +2025-01-14T15:13:17.026080Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:13:17.480222Z  INFO vk verification: true +n: 11146 +2025-01-14T15:13:19.830636Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:13:19.945636Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:13:20.490997Z  INFO prove_core: deferred 1 records +2025-01-14T15:13:20.680446Z  INFO prove_core: Shard Lifted: Index=1, Cluster=54 +2025-01-14T15:13:20.680477Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:13:20.680481Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:13:20.680483Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:13:20.680484Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:13:20.680485Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:13:20.680487Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:13:20.680488Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:13:20.680490Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:13:20.680491Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:13:20.680492Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:13:20.680493Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:13:20.680494Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:13:20.680495Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:13:20.680497Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:13:20.680498Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:13:20.680499Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:13:20.680790Z  INFO prove_core: Shard Lifted: Index=2, Cluster=61 +2025-01-14T15:13:20.680795Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:13:20.680796Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:13:20.680797Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:13:20.680798Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:13:20.680800Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:13:20.680801Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:13:20.680802Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:13:20.680803Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:13:20.680805Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:13:20.680806Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:13:20.680807Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:13:20.680808Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:13:20.680809Z  INFO prove_core: Chip Global: 15 -> 17 +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 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 new file mode 100644 index 00000000..e69de29b diff --git a/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log new file mode 100644 index 00000000..47b45864 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/log @@ -0,0 +1,82 @@ +2025-01-14T15:12:13.884240Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:12:14.345758Z  INFO vk verification: true +n: 12319 +2025-01-14T15:12:16.676402Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:12:16.803217Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:12:17.376667Z  INFO prove_core: deferred 1 records +2025-01-14T15:12:17.578652Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:12:17.578690Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:12:17.578693Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:12:17.578695Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:12:17.578696Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:12:17.578698Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:12:17.578699Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:12:17.578701Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:12:17.578702Z  INFO prove_core: Chip Lt: 18 -> 18 +2025-01-14T15:12:17.578703Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:12:17.578705Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:12:17.578706Z  INFO prove_core: Chip Auipc: 10 -> 18 +2025-01-14T15:12:17.578707Z  INFO prove_core: Chip Branch: 17 -> 18 +2025-01-14T15:12:17.578708Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:12:17.578709Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:12:17.578710Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:12:17.578712Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:12:17.578926Z  INFO prove_core: Shard Lifted: Index=2, Cluster=180 +2025-01-14T15:12:17.578930Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:12:17.578932Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:12:17.578933Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:12:17.578934Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:12:17.578935Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:12:17.578936Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:12:17.578938Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:12:17.578939Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:12:17.578940Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:12:17.578941Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:12:17.578942Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:12:17.578944Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:12:17.578945Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:12:17.578946Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:12:17.578947Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:12:17.746429Z  INFO prove_core:generate main traces: close time.busy=167ms time.idle=2.55µs index=0 +2025-01-14T15:12:48.753833Z  INFO prove_core: execution report (totals): total_cycles=3901049, total_syscall_cycles=20, touched_memory_addresses=45331 +2025-01-14T15:12:48.753860Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:12:48.753869Z  INFO prove_core: 1209211 add +2025-01-14T15:12:48.753873Z  INFO prove_core: 678543 lw +2025-01-14T15:12:48.753874Z  INFO prove_core: 635579 sw +2025-01-14T15:12:48.753876Z  INFO prove_core: 327358 sll +2025-01-14T15:12:48.753877Z  INFO prove_core: 203154 bltu +2025-01-14T15:12:48.753879Z  INFO prove_core: 161646 xor +2025-01-14T15:12:48.753880Z  INFO prove_core: 153815 srl +2025-01-14T15:12:48.753882Z  INFO prove_core: 151672 sltu +2025-01-14T15:12:48.753883Z  INFO prove_core: 151027 or +2025-01-14T15:12:48.753884Z  INFO prove_core: 70329 bne +2025-01-14T15:12:48.753886Z  INFO prove_core: 49651 beq +2025-01-14T15:12:48.753887Z  INFO prove_core: 47838 bgeu +2025-01-14T15:12:48.753888Z  INFO prove_core: 27174 jal +2025-01-14T15:12:48.753890Z  INFO prove_core: 12871 sub +2025-01-14T15:12:48.753891Z  INFO prove_core: 7784 jalr +2025-01-14T15:12:48.753892Z  INFO prove_core: 6691 and +2025-01-14T15:12:48.753894Z  INFO prove_core: 3895 auipc +2025-01-14T15:12:48.753895Z  INFO prove_core: 1610 mul +2025-01-14T15:12:48.753896Z  INFO prove_core: 459 sb +2025-01-14T15:12:48.753897Z  INFO prove_core: 299 lbu +2025-01-14T15:12:48.753899Z  INFO prove_core: 220 mulhu +2025-01-14T15:12:48.753900Z  INFO prove_core: 195 blt +2025-01-14T15:12:48.753902Z  INFO prove_core: 20 ecall +2025-01-14T15:12:48.753903Z  INFO prove_core: 4 lb +2025-01-14T15:12:48.753904Z  INFO prove_core: 3 divu +2025-01-14T15:12:48.753906Z  INFO prove_core: 1 bge +2025-01-14T15:12:48.753908Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:12:48.753914Z  INFO prove_core: 8 commit +2025-01-14T15:12:48.753915Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:12:48.753917Z  INFO prove_core: 1 halt +2025-01-14T15:12:48.753918Z  INFO prove_core: 1 write +2025-01-14T15:12:48.753920Z  INFO prove_core: 1 hint_len +2025-01-14T15:12:48.753921Z  INFO prove_core: 1 hint_read +2025-01-14T15:12:48.753928Z  INFO prove_core: summary: cycles=3901049, e2e=32.078185805s, khz=121.61 +2025-01-14T15:12:48.756211Z  INFO prove_core: close time.busy=31.1s time.idle=949ms +Successfully generated proof! +2025-01-14T15:12:49.284061Z  INFO verify: close time.busy=515ms time.idle=1.83µs +Successfully verified proof! diff --git a/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time new file mode 100644 index 00000000..b1e00749 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:12,504607394+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=12319 --prove" + User time (seconds): 1318.88 + System time (seconds): 54.28 + Percent of CPU this job got: 3760% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.51 + 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): 21674868 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 6 + Minor (reclaiming a frame) page faults: 12606979 + Voluntary context switches: 422371 + Involuntary context switches: 85801 + 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/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints new file mode 100644 index 00000000..b77c5068 Binary files /dev/null and b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints differ diff --git a/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time b/sorting-output/12319-2025-01-14T15:12:49,993866299+00:00/ceno/output_time new file mode 100644 index 00000000..b1387777 --- /dev/null +++ b/sorting-output/12319-2025-01-14T15:12:49,993866299+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/12319-2025-01-14T15:12:49,993866299+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 765.29 + System time (seconds): 53.54 + Percent of CPU this job got: 3267% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:25.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): 8068932 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 4592604 + Voluntary context switches: 1028650 + Involuntary context switches: 182346 + 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/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log new file mode 100644 index 00000000..9b8391ff --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/log @@ -0,0 +1,96 @@ +2025-01-14T15:10:58.926057Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:10:59.383780Z  INFO vk verification: true +n: 17862 +2025-01-14T15:11:01.709177Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:11:01.893156Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:11:02.776676Z  INFO prove_core: deferred 1 records +2025-01-14T15:11:03.069705Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:11:03.069745Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.069748Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.069749Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:11:03.069751Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:11:03.069752Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:11:03.069754Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:11:03.069755Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:11:03.069757Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:11:03.069758Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:11:03.069759Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:11:03.069760Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:11:03.069761Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:11:03.069763Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:11:03.069764Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:11:03.069765Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:11:03.070030Z  INFO prove_core: Shard Lifted: Index=2, Cluster=179 +2025-01-14T15:11:03.070034Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.070036Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:11:03.070037Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.070038Z  INFO prove_core: Chip Bitwise: 16 -> 17 +2025-01-14T15:11:03.070039Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:11:03.070041Z  INFO prove_core: Chip ShiftRight: 15 -> 17 +2025-01-14T15:11:03.070042Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:11:03.070043Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:11:03.070044Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:11:03.070045Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:11:03.070046Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:11:03.070048Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:11:03.070049Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:11:03.070050Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:11:03.070224Z  INFO prove_core: Shard Lifted: Index=3, Cluster=180 +2025-01-14T15:11:03.070228Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:11:03.070229Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:11:03.070230Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:11:03.070232Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:11:03.070233Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:11:03.070234Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:11:03.070235Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:11:03.070236Z  INFO prove_core: Chip MemoryLocal: 12 -> 18 +2025-01-14T15:11:03.070237Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:11:03.070239Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:11:03.070240Z  INFO prove_core: Chip Branch: 18 -> 19 +2025-01-14T15:11:03.070241Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:11:03.070242Z  INFO prove_core: Chip Global: 15 -> 17 +2025-01-14T15:11:03.070243Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:11:03.070244Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:11:03.291116Z  INFO prove_core:generate main traces: close time.busy=221ms time.idle=2.17µs index=0 +2025-01-14T15:11:41.434622Z  INFO prove_core: execution report (totals): total_cycles=5788128, total_syscall_cycles=20, touched_memory_addresses=56419 +2025-01-14T15:11:41.434644Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:11:41.434652Z  INFO prove_core: 1814670 add +2025-01-14T15:11:41.434655Z  INFO prove_core: 1001405 lw +2025-01-14T15:11:41.434657Z  INFO prove_core: 939356 sw +2025-01-14T15:11:41.434661Z  INFO prove_core: 482796 sll +2025-01-14T15:11:41.434663Z  INFO prove_core: 304206 bltu +2025-01-14T15:11:41.434665Z  INFO prove_core: 233712 xor +2025-01-14T15:11:41.434666Z  INFO prove_core: 228802 sltu +2025-01-14T15:11:41.434668Z  INFO prove_core: 222063 srl +2025-01-14T15:11:41.434670Z  INFO prove_core: 218285 or +2025-01-14T15:11:41.434671Z  INFO prove_core: 109235 bne +2025-01-14T15:11:41.434673Z  INFO prove_core: 72529 beq +2025-01-14T15:11:41.434675Z  INFO prove_core: 71394 bgeu +2025-01-14T15:11:41.434676Z  INFO prove_core: 40879 jal +2025-01-14T15:11:41.434678Z  INFO prove_core: 18555 sub +2025-01-14T15:11:41.434680Z  INFO prove_core: 11375 jalr +2025-01-14T15:11:41.434681Z  INFO prove_core: 9492 and +2025-01-14T15:11:41.434683Z  INFO prove_core: 5691 auipc +2025-01-14T15:11:41.434685Z  INFO prove_core: 2233 mul +2025-01-14T15:11:41.434686Z  INFO prove_core: 519 sb +2025-01-14T15:11:41.434688Z  INFO prove_core: 352 lbu +2025-01-14T15:11:41.434690Z  INFO prove_core: 281 blt +2025-01-14T15:11:41.434691Z  INFO prove_core: 270 mulhu +2025-01-14T15:11:41.434693Z  INFO prove_core: 20 ecall +2025-01-14T15:11:41.434695Z  INFO prove_core: 4 lb +2025-01-14T15:11:41.434696Z  INFO prove_core: 3 divu +2025-01-14T15:11:41.434698Z  INFO prove_core: 1 bge +2025-01-14T15:11:41.434700Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:11:41.434705Z  INFO prove_core: 8 commit +2025-01-14T15:11:41.434707Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:11:41.434708Z  INFO prove_core: 1 halt +2025-01-14T15:11:41.434710Z  INFO prove_core: 1 write +2025-01-14T15:11:41.434711Z  INFO prove_core: 1 hint_len +2025-01-14T15:11:41.434713Z  INFO prove_core: 1 hint_read +2025-01-14T15:11:41.434720Z  INFO prove_core: summary: cycles=5788128, e2e=39.72620269s, khz=145.70 +2025-01-14T15:11:41.442568Z  INFO prove_core: close time.busy=38.3s time.idle=1.40s +Successfully generated proof! +2025-01-14T15:11:42.162419Z  INFO verify: close time.busy=703ms time.idle=1.50µs +Successfully verified proof! diff --git a/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time new file mode 100644 index 00000000..a6f8aabd --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:10:57,591175826+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=17862 --prove" + User time (seconds): 1935.69 + System time (seconds): 75.99 + Percent of CPU this job got: 4522% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:44.48 + 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): 33862800 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 36 + Minor (reclaiming a frame) page faults: 18195781 + Voluntary context switches: 520585 + Involuntary context switches: 97581 + 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/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints new file mode 100644 index 00000000..7dc070b6 Binary files /dev/null and b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints differ diff --git a/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time b/sorting-output/17862-2025-01-14T15:11:43,013982215+00:00/ceno/output_time new file mode 100644 index 00000000..8d125535 --- /dev/null +++ b/sorting-output/17862-2025-01-14T15:11:43,013982215+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/17862-2025-01-14T15:11:43,013982215+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 926.37 + System time (seconds): 67.63 + Percent of CPU this job got: 3445% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:28.85 + 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): 11062552 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 6605923 + Voluntary context switches: 1125560 + Involuntary context switches: 287462 + 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/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log new file mode 100644 index 00000000..8fb796e1 --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/log @@ -0,0 +1,69 @@ +2025-01-14T15:08:53.976027Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:08:54.432172Z  INFO vk verification: true +n: 1972 +2025-01-14T15:08:56.731651Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:08:56.752599Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:08:56.844711Z  INFO prove_core: deferred 0 records +2025-01-14T15:08:56.894746Z  INFO prove_core: Shard Lifted: Index=1, Cluster=2643 +2025-01-14T15:08:56.894765Z  INFO prove_core: Chip Cpu: 20 -> 20 +2025-01-14T15:08:56.894767Z  INFO prove_core: Chip DivRem: 2 -> 17 +2025-01-14T15:08:56.894769Z  INFO prove_core: Chip AddSub: 19 -> 19 +2025-01-14T15:08:56.894770Z  INFO prove_core: Chip Bitwise: 16 -> 19 +2025-01-14T15:08:56.894773Z  INFO prove_core: Chip Mul: 9 -> 17 +2025-01-14T15:08:56.894775Z  INFO prove_core: Chip ShiftRight: 15 -> 17 +2025-01-14T15:08:56.894776Z  INFO prove_core: Chip ShiftLeft: 16 -> 17 +2025-01-14T15:08:56.894777Z  INFO prove_core: Chip Lt: 17 -> 17 +2025-01-14T15:08:56.894778Z  INFO prove_core: Chip MemoryLocal: 11 -> 17 +2025-01-14T15:08:56.894780Z  INFO prove_core: Chip MemoryInstrs: 18 -> 18 +2025-01-14T15:08:56.894781Z  INFO prove_core: Chip Auipc: 10 -> 17 +2025-01-14T15:08:56.894782Z  INFO prove_core: Chip Branch: 16 -> 17 +2025-01-14T15:08:56.894783Z  INFO prove_core: Chip Jump: 13 -> 17 +2025-01-14T15:08:56.894784Z  INFO prove_core: Chip Global: 14 -> 18 +2025-01-14T15:08:56.894785Z  INFO prove_core: Chip SyscallCore: 5 -> 17 +2025-01-14T15:08:56.894786Z  INFO prove_core: Chip SyscallInstrs: 5 -> 17 +2025-01-14T15:08:56.894788Z  INFO prove_core: Chip MemoryGlobalInit: 13 -> 17 +2025-01-14T15:08:56.894789Z  INFO prove_core: Chip MemoryGlobalFinalize: 15 -> 17 +2025-01-14T15:08:56.894790Z  INFO prove_core: Chip Global: 15 -> 18 +2025-01-14T15:08:56.962880Z  INFO prove_core:generate main traces: close time.busy=68.0ms time.idle=1.46µs index=0 +2025-01-14T15:09:12.488491Z  INFO prove_core: execution report (totals): total_cycles=560449, total_syscall_cycles=20, touched_memory_addresses=24607 +2025-01-14T15:09:12.488513Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:09:12.488521Z  INFO prove_core: 163042 add +2025-01-14T15:09:12.488524Z  INFO prove_core: 99480 lw +2025-01-14T15:09:12.488526Z  INFO prove_core: 92376 sw +2025-01-14T15:09:12.488528Z  INFO prove_core: 48437 sll +2025-01-14T15:09:12.488529Z  INFO prove_core: 27264 xor +2025-01-14T15:09:12.488531Z  INFO prove_core: 26347 srl +2025-01-14T15:09:12.488533Z  INFO prove_core: 26315 bltu +2025-01-14T15:09:12.488534Z  INFO prove_core: 25608 or +2025-01-14T15:09:12.488536Z  INFO prove_core: 18846 sltu +2025-01-14T15:09:12.488538Z  INFO prove_core: 8513 bne +2025-01-14T15:09:12.488539Z  INFO prove_core: 7685 beq +2025-01-14T15:09:12.488540Z  INFO prove_core: 6409 bgeu +2025-01-14T15:09:12.488542Z  INFO prove_core: 3656 jal +2025-01-14T15:09:12.488543Z  INFO prove_core: 2175 sub +2025-01-14T15:09:12.488544Z  INFO prove_core: 1421 and +2025-01-14T15:09:12.488546Z  INFO prove_core: 1266 jalr +2025-01-14T15:09:12.488547Z  INFO prove_core: 636 auipc +2025-01-14T15:09:12.488548Z  INFO prove_core: 380 sb +2025-01-14T15:09:12.488549Z  INFO prove_core: 327 mul +2025-01-14T15:09:12.488551Z  INFO prove_core: 143 lbu +2025-01-14T15:09:12.488552Z  INFO prove_core: 62 mulhu +2025-01-14T15:09:12.488553Z  INFO prove_core: 33 blt +2025-01-14T15:09:12.488555Z  INFO prove_core: 20 ecall +2025-01-14T15:09:12.488557Z  INFO prove_core: 4 lb +2025-01-14T15:09:12.488558Z  INFO prove_core: 3 divu +2025-01-14T15:09:12.488559Z  INFO prove_core: 1 bge +2025-01-14T15:09:12.488562Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:09:12.488566Z  INFO prove_core: 8 commit +2025-01-14T15:09:12.488568Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:09:12.488570Z  INFO prove_core: 1 halt +2025-01-14T15:09:12.488571Z  INFO prove_core: 1 write +2025-01-14T15:09:12.488573Z  INFO prove_core: 1 hint_len +2025-01-14T15:09:12.488574Z  INFO prove_core: 1 hint_read +2025-01-14T15:09:12.488582Z  INFO prove_core: summary: cycles=560449, e2e=15.757580669s, khz=35.57 +2025-01-14T15:09:12.494789Z  INFO prove_core: close time.busy=15.5s time.idle=215ms +Successfully generated proof! +2025-01-14T15:09:12.735413Z  INFO verify: close time.busy=227ms time.idle=1.37µs +Successfully verified proof! diff --git a/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time new file mode 100644 index 00000000..3692458f --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:08:52,626468142+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=1972 --prove" + User time (seconds): 429.14 + System time (seconds): 28.15 + Percent of CPU this job got: 2320% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:19.70 + 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): 8250116 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 5085861 + Voluntary context switches: 216845 + Involuntary context switches: 42181 + Swaps: 0 + File system inputs: 0 + File system outputs: 848 + Socket messages sent: 0 + Socket messages received: 0 + Signals delivered: 0 + Page size (bytes): 4096 + Exit status: 0 diff --git a/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints new file mode 100644 index 00000000..5d59a7c6 Binary files /dev/null and b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints differ diff --git a/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time b/sorting-output/1972-2025-01-14T15:09:13,301988526+00:00/ceno/output_time new file mode 100644 index 00000000..dd91dde1 --- /dev/null +++ b/sorting-output/1972-2025-01-14T15:09:13,301988526+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/1972-2025-01-14T15:09:13,301988526+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 331.96 + System time (seconds): 32.84 + Percent of CPU this job got: 2419% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.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): 2100304 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 1434377 + Voluntary context switches: 712673 + Involuntary context switches: 130075 + 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/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log new file mode 100644 index 00000000..4c483e9a --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/log @@ -0,0 +1,110 @@ +2025-01-14T15:09:30.398150Z  WARN SP1_PROVER environment variable not set, defaulting to 'cpu' +2025-01-14T15:09:30.857190Z  INFO vk verification: true +n: 24294 +2025-01-14T15:09:33.189115Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:09:33.437105Z  INFO prove_core: clk = 0 pc = 0x200d04 +stdout: WARNING: Using insecure random number generator. +2025-01-14T15:09:34.662302Z  INFO prove_core: deferred 1 records +2025-01-14T15:09:35.057067Z  INFO prove_core: Shard Lifted: Index=1, Cluster=210 +2025-01-14T15:09:35.057090Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057093Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057094Z  INFO prove_core: Chip Bitwise: 19 -> 19 +2025-01-14T15:09:35.057096Z  INFO prove_core: Chip Mul: 2 -> 17 +2025-01-14T15:09:35.057099Z  INFO prove_core: Chip ShiftRight: 18 -> 18 +2025-01-14T15:09:35.057101Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057102Z  INFO prove_core: Chip Lt: 17 -> 18 +2025-01-14T15:09:35.057103Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:09:35.057105Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057106Z  INFO prove_core: Chip Auipc: 9 -> 18 +2025-01-14T15:09:35.057107Z  INFO prove_core: Chip Branch: 16 -> 18 +2025-01-14T15:09:35.057108Z  INFO prove_core: Chip Jump: 12 -> 18 +2025-01-14T15:09:35.057110Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:09:35.057111Z  INFO prove_core: Chip SyscallCore: 2 -> 10 +2025-01-14T15:09:35.057112Z  INFO prove_core: Chip SyscallInstrs: 2 -> 10 +2025-01-14T15:09:35.057495Z  INFO prove_core: Shard Lifted: Index=2, Cluster=54 +2025-01-14T15:09:35.057500Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057501Z  INFO prove_core: Chip DivRem: 2 -> 10 +2025-01-14T15:09:35.057502Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057503Z  INFO prove_core: Chip Bitwise: 18 -> 18 +2025-01-14T15:09:35.057505Z  INFO prove_core: Chip Mul: 11 -> 17 +2025-01-14T15:09:35.057506Z  INFO prove_core: Chip ShiftRight: 17 -> 17 +2025-01-14T15:09:35.057507Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057509Z  INFO prove_core: Chip Lt: 19 -> 19 +2025-01-14T15:09:35.057510Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:09:35.057511Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057512Z  INFO prove_core: Chip Auipc: 11 -> 18 +2025-01-14T15:09:35.057514Z  INFO prove_core: Chip Branch: 18 -> 18 +2025-01-14T15:09:35.057515Z  INFO prove_core: Chip Jump: 14 -> 18 +2025-01-14T15:09:35.057516Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:09:35.057716Z  INFO prove_core: Shard Lifted: Index=3, Cluster=179 +2025-01-14T15:09:35.057720Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057721Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057722Z  INFO prove_core: Chip Bitwise: 14 -> 17 +2025-01-14T15:09:35.057723Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:09:35.057725Z  INFO prove_core: Chip ShiftRight: 11 -> 17 +2025-01-14T15:09:35.057726Z  INFO prove_core: Chip ShiftLeft: 18 -> 18 +2025-01-14T15:09:35.057727Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:09:35.057728Z  INFO prove_core: Chip MemoryLocal: 14 -> 18 +2025-01-14T15:09:35.057729Z  INFO prove_core: Chip MemoryInstrs: 20 -> 20 +2025-01-14T15:09:35.057731Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:09:35.057732Z  INFO prove_core: Chip Branch: 19 -> 19 +2025-01-14T15:09:35.057733Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:09:35.057734Z  INFO prove_core: Chip Global: 17 -> 17 +2025-01-14T15:09:35.057908Z  INFO prove_core: Shard Lifted: Index=4, Cluster=180 +2025-01-14T15:09:35.057912Z  INFO prove_core: Chip Cpu: 21 -> 21 +2025-01-14T15:09:35.057913Z  INFO prove_core: Chip AddSub: 21 -> 21 +2025-01-14T15:09:35.057915Z  INFO prove_core: Chip Bitwise: 15 -> 17 +2025-01-14T15:09:35.057916Z  INFO prove_core: Chip Mul: 10 -> 17 +2025-01-14T15:09:35.057917Z  INFO prove_core: Chip ShiftRight: 12 -> 17 +2025-01-14T15:09:35.057919Z  INFO prove_core: Chip ShiftLeft: 17 -> 17 +2025-01-14T15:09:35.057920Z  INFO prove_core: Chip Lt: 20 -> 20 +2025-01-14T15:09:35.057921Z  INFO prove_core: Chip MemoryLocal: 13 -> 18 +2025-01-14T15:09:35.057922Z  INFO prove_core: Chip MemoryInstrs: 19 -> 19 +2025-01-14T15:09:35.057923Z  INFO prove_core: Chip Auipc: 12 -> 18 +2025-01-14T15:09:35.057925Z  INFO prove_core: Chip Branch: 18 -> 19 +2025-01-14T15:09:35.057926Z  INFO prove_core: Chip Jump: 15 -> 18 +2025-01-14T15:09:35.057927Z  INFO prove_core: Chip Global: 16 -> 17 +2025-01-14T15:09:35.057928Z  INFO prove_core: Chip SyscallCore: 5 -> 10 +2025-01-14T15:09:35.057929Z  INFO prove_core: Chip SyscallInstrs: 5 -> 10 +2025-01-14T15:09:35.370143Z  INFO prove_core:generate main traces: close time.busy=312ms time.idle=1.48µs index=0 +2025-01-14T15:10:18.680505Z  INFO prove_core: execution report (totals): total_cycles=8041862, total_syscall_cycles=20, touched_memory_addresses=69313 +2025-01-14T15:10:18.680535Z  INFO prove_core: execution report (opcode counts): +2025-01-14T15:10:18.680545Z  INFO prove_core: 2541563 add +2025-01-14T15:10:18.680548Z  INFO prove_core: 1386798 lw +2025-01-14T15:10:18.680550Z  INFO prove_core: 1302425 sw +2025-01-14T15:10:18.680552Z  INFO prove_core: 668484 sll +2025-01-14T15:10:18.680554Z  INFO prove_core: 428745 bltu +2025-01-14T15:10:18.680556Z  INFO prove_core: 324410 sltu +2025-01-14T15:10:18.680557Z  INFO prove_core: 316717 xor +2025-01-14T15:10:18.680559Z  INFO prove_core: 300385 srl +2025-01-14T15:10:18.680561Z  INFO prove_core: 295532 or +2025-01-14T15:10:18.680562Z  INFO prove_core: 154441 bne +2025-01-14T15:10:18.680564Z  INFO prove_core: 100089 bgeu +2025-01-14T15:10:18.680566Z  INFO prove_core: 99140 beq +2025-01-14T15:10:18.680568Z  INFO prove_core: 57198 jal +2025-01-14T15:10:18.680569Z  INFO prove_core: 25232 sub +2025-01-14T15:10:18.680571Z  INFO prove_core: 15677 jalr +2025-01-14T15:10:18.680572Z  INFO prove_core: 12621 and +2025-01-14T15:10:18.680574Z  INFO prove_core: 7842 auipc +2025-01-14T15:10:18.680576Z  INFO prove_core: 2918 mul +2025-01-14T15:10:18.680577Z  INFO prove_core: 538 sb +2025-01-14T15:10:18.680579Z  INFO prove_core: 390 lbu +2025-01-14T15:10:18.680581Z  INFO prove_core: 381 blt +2025-01-14T15:10:18.680582Z  INFO prove_core: 308 mulhu +2025-01-14T15:10:18.680584Z  INFO prove_core: 20 ecall +2025-01-14T15:10:18.680586Z  INFO prove_core: 4 lb +2025-01-14T15:10:18.680587Z  INFO prove_core: 3 divu +2025-01-14T15:10:18.680589Z  INFO prove_core: 1 bge +2025-01-14T15:10:18.680592Z  INFO prove_core: execution report (syscall counts): +2025-01-14T15:10:18.680598Z  INFO prove_core: 8 commit +2025-01-14T15:10:18.680600Z  INFO prove_core: 8 commit_deferred_proofs +2025-01-14T15:10:18.680602Z  INFO prove_core: 1 halt +2025-01-14T15:10:18.680604Z  INFO prove_core: 1 write +2025-01-14T15:10:18.680605Z  INFO prove_core: 1 hint_len +2025-01-14T15:10:18.680607Z  INFO prove_core: 1 hint_read +2025-01-14T15:10:18.680614Z  INFO prove_core: summary: cycles=8041862, e2e=45.492180165s, khz=176.77 +2025-01-14T15:10:18.686790Z  INFO prove_core: close time.busy=43.6s time.idle=1.94s +Successfully generated proof! +2025-01-14T15:10:19.580933Z  INFO verify: close time.busy=886ms time.idle=1.73µs +Successfully verified proof! diff --git a/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time new file mode 100644 index 00000000..a5b1270a --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:09:29,042509401+00:00/sp1/output_time @@ -0,0 +1,23 @@ + Command being timed: "cargo run --release -- --n=24294 --prove" + User time (seconds): 2534.95 + System time (seconds): 89.33 + Percent of CPU this job got: 5203% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:50.43 + 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): 41810004 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 23293104 + Voluntary context switches: 628242 + Involuntary context switches: 127128 + 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/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints new file mode 100644 index 00000000..a24ffa39 Binary files /dev/null and b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints differ diff --git a/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time b/sorting-output/24294-2025-01-14T15:10:20,437255607+00:00/ceno/output_time new file mode 100644 index 00000000..ea6a7432 --- /dev/null +++ b/sorting-output/24294-2025-01-14T15:10:20,437255607+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/24294-2025-01-14T15:10:20,437255607+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1228.28 + System time (seconds): 81.66 + Percent of CPU this job got: 3593% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.44 + 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): 14553036 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 9498594 + Voluntary context switches: 1154737 + Involuntary context switches: 208784 + 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/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time b/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time index e69de29b..7de8920b 100644 --- a/sorting-output/32352-2025-01-14T15:08:09,430264855+00:00/ceno/output_time +++ b/sorting-output/32352-2025-01-14T15:08:09,430264855+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/32352-2025-01-14T15:08:09,430264855+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" + User time (seconds): 1484.84 + System time (seconds): 103.16 + Percent of CPU this job got: 3729% + Elapsed (wall clock) time (h:mm:ss or m:ss): 0:42.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): 19594312 + Average resident set size (kbytes): 0 + Major (requiring I/O) page faults: 0 + Minor (reclaiming a frame) page faults: 13770510 + Voluntary context switches: 1238629 + Involuntary context switches: 258067 + 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