More data

scroll-tech · Jan 15, 2025 · 8abd5af · 8abd5af
1 parent 49ff336
commit 8abd5af
Show file tree

Hide file tree

Showing 70 changed files with 2,808 additions and 1 deletion.
diff --git a/plotting/ceno.data b/plotting/ceno.data
@@ -148,6 +148,7 @@
 3952	ceno	16.59
 3984	ceno	17.12
 3990	ceno	16.57
+3995	ceno	17.05
 4080	ceno	17.19
 4122	ceno	17.01
 4167	ceno	16.78
@@ -262,6 +263,7 @@
 6907	ceno	19.46
 6949	ceno	20.17
 6950	ceno	19.42
+6991	ceno	20.32
 7061	ceno	19.6
 7083	ceno	19.63
 7141	ceno	19.46
@@ -283,6 +285,7 @@
 7664	ceno	19.78
 7673	ceno	20.46
 7692	ceno	20.65
+7703	ceno	9.23
 7744	ceno	20
 7749	ceno	20.67
 7759	ceno	19.72
@@ -411,6 +414,7 @@
 11258	ceno	24.28
 11301	ceno	24.26
 11307	ceno	24.62
+11327	ceno	24.78
 11333	ceno	24.29
 11352	ceno	24.4
 11420	ceno	50
@@ -442,6 +446,7 @@
 14006	ceno	25.87
 14043	ceno	26.7
 14113	ceno	26.64
+14214	ceno	25.8
 14254	ceno	26.59
 14487	ceno	26.59
 14596	ceno	25.99
@@ -452,7 +457,9 @@
 15411	ceno	26.1
 15460	ceno	26.04
 15563	ceno	26.18
+15669	ceno	26.2
 16253	ceno	28.17
+16327	ceno	28.28
 16345	ceno	27.98
 16451	ceno	49.82
 16511	ceno	28.09
@@ -481,6 +488,7 @@
 19997	ceno	33.79
 20073	ceno	33.77
 20294	ceno	34.13
+20354	ceno	33.56
 20370	ceno	33.93
 20439	ceno	34.35
 20782	ceno	34.22
@@ -502,6 +510,7 @@
 22516	ceno	35.4
 22671	ceno	35.66
 22823	ceno	35.73
+23234	ceno	35.19
 23279	ceno	36.51
 23318	ceno	35.32
 23353	ceno	35.17
@@ -525,6 +534,7 @@
 25584	ceno	38.29
 25650	ceno	38.57
 25661	ceno	38.64
+25668	ceno	38.62
 25805	ceno	37.96
 26138	ceno	38.66
 26223	ceno	38.95
@@ -534,6 +544,7 @@
 26534	ceno	38.3
 26603	ceno	39.05
 27031	ceno	39.4
+27089	ceno	37.81
 27488	ceno	38.81
 27592	ceno	37.69
 27706	ceno	38.23
@@ -552,12 +563,14 @@
 29906	ceno	42.17
 30355	ceno	42.88
 30441	ceno	42.53
+30517	ceno	42.9
 30726	ceno	42.3
 30823	ceno	42.96
 30836	ceno	43.38
 30869	ceno	42.43
 31065	ceno	43.25
 31377	ceno	41.94
+31395	ceno	42.62
 31442	ceno	42.48
 31466	ceno	42.81
 31664	ceno	42.67
@@ -620,7 +633,7 @@
 42326	ceno	54.45
 42605	ceno	54.73
 42624	ceno	54.29
-42651	ceno	
+42651	ceno	54.84
 42868	ceno	54.76
 43102	ceno	55.17
 43137	ceno	56.01
@@ -647,6 +660,7 @@
 46806	ceno	59.27
 47023	ceno	58.86
 47259	ceno	58.92
+47330	ceno	58.13
 47485	ceno	59.92
 47509	ceno	63.82
 47889	ceno	63.41
@@ -667,10 +681,12 @@
 51480	ceno	64.17
 51510	ceno	63.93
 51547	ceno	64.95
+51556	ceno	62.65
 52104	ceno	63.61
 53840	ceno	65.2
 53888	ceno	65.34
 54219	ceno	63.25
+54411	ceno	63.86
 54420	ceno	65.42
 54552	ceno	64.16
 54625	ceno	64.11
@@ -687,6 +703,7 @@
 57664	ceno	70.32
 57745	ceno	71.37
 57914	ceno	72.22
+58416	ceno	71.21
 58741	ceno	72.48
 58935	ceno	73.47
 59008	ceno	71.46

diff --git a/plotting/sp1.data b/plotting/sp1.data
@@ -148,6 +148,7 @@
 3952	sp1	32.68
 3984	sp1	32.79
 3990	sp1	32.15
+3995	sp1	32.48
 4080	sp1	31.88
 4122	sp1	32.54
 4167	sp1	31.92
@@ -262,6 +263,7 @@
 6907	sp1	30.5
 6949	sp1	31.08
 6950	sp1	29.85
+6991	sp1	31
 7061	sp1	31.54
 7083	sp1	30.36
 7141	sp1	30.84
@@ -411,6 +413,7 @@
 11258	sp1	37.06
 11301	sp1	37.1
 11307	sp1	37.76
+11327	sp1	36
 11333	sp1	37.37
 11352	sp1	37.26
 11420	sp1	37.17
@@ -442,6 +445,7 @@
 14006	sp1	39.67
 14043	sp1	39.37
 14113	sp1	39.07
+14214	sp1	38.67
 14254	sp1	39.26
 14487	sp1	40.55
 14596	sp1	39.73
@@ -452,7 +456,9 @@
 15411	sp1	40.02
 15460	sp1	40.42
 15563	sp1	39.42
+15669	sp1	39.06
 16253	sp1	39.73
+16327	sp1	42.65
 16345	sp1	42.7
 16451	sp1	43.6
 16511	sp1	42.71
@@ -481,6 +487,7 @@
 19997	sp1	46.93
 20073	sp1	45.1
 20294	sp1	45.82
+20354	sp1	45.87
 20370	sp1	45.41
 20439	sp1	46.43
 20782	sp1	46.3
@@ -502,6 +509,7 @@
 22516	sp1	49.31
 22671	sp1	50.05
 22823	sp1	49.4
+23234	sp1	50.1
 23279	sp1	48.68
 23318	sp1	49.38
 23353	sp1	48.62
@@ -525,6 +533,7 @@
 25584	sp1	52.59
 25650	sp1	51.47
 25661	sp1	51.94
+25668	sp1	50.81
 25805	sp1	52.53
 26138	sp1	53.33
 26223	sp1	51.53
@@ -534,6 +543,7 @@
 26534	sp1	51.88
 26603	sp1	52.82
 27031	sp1	54.81
+27089	sp1	51.47
 27488	sp1	52.89
 27592	sp1	55.8
 27706	sp1	54.36
@@ -553,12 +563,14 @@
 29906	sp1	57.85
 30355	sp1	57.7
 30441	sp1	59.02
+30517	sp1	57.88
 30726	sp1	58.44
 30823	sp1	58.62
 30836	sp1	59.18
 30869	sp1	60.78
 31065	sp1	58.53
 31377	sp1	59.73
+31395	sp1	59.07
 31442	sp1	60.05
 31466	sp1	59.13
 31664	sp1	59.01
@@ -647,6 +659,7 @@
 46806	sp1	83.28
 47023	sp1	84.3
 47259	sp1	83.93
+47330	sp1	85.76
 47485	sp1	84.72
 47509	sp1	84.25
 47889	sp1	84.98
@@ -667,10 +680,12 @@
 51480	sp1	91.06
 51510	sp1	92.95
 51547	sp1	92.85
+51556	sp1	91.98
 52104	sp1	102.23
 53840	sp1	103.57
 53888	sp1	102.61
 54219	sp1	104.93
+54411	sp1	105.34
 54420	sp1	102.99
 54552	sp1	106.37
 54625	sp1	105.41
@@ -687,6 +702,7 @@
 57664	sp1	108.72
 57745	sp1	109.04
 57914	sp1	109.86
+58416	sp1	109.52
 58741	sp1	109.96
 58935	sp1	109.09
 59008	sp1	109.53

diff --git a/plotting/sp1_ceno_scatter.png b/plotting/sp1_ceno_scatter.png
diff --git a/sorting-output/11327-2025-01-15T06:24:50,170254826+00:00/ceno/hints b/sorting-output/11327-2025-01-15T06:24:50,170254826+00:00/ceno/hints
diff --git a/sorting-output/11327-2025-01-15T06:24:50,170254826+00:00/ceno/output_time b/sorting-output/11327-2025-01-15T06:24:50,170254826+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/11327-2025-01-15T06:24:50,170254826+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 752.09
+	System time (seconds): 53.55
+	Percent of CPU this job got: 3250%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.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): 8082376
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 4489065
+	Voluntary context switches: 1005748
+	Involuntary context switches: 145629
+	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/11327-2025-01-15T06:25:15,615631595+00:00/sp1/log b/sorting-output/11327-2025-01-15T06:25:15,615631595+00:00/sp1/log
@@ -0,0 +1,82 @@
+[2m2025-01-15T06:25:16.964013Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'    
+[2m2025-01-15T06:25:17.418945Z[0m [32m INFO[0m vk verification: true
+n: 11327
+[2m2025-01-15T06:25:19.749453Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-15T06:25:19.866553Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-15T06:25:20.408040Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-15T06:25:20.602119Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-15T06:25:20.602151Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-15T06:25:20.602154Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2   -> 10 
+[2m2025-01-15T06:25:20.602155Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-15T06:25:20.602157Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19  -> 19 
+[2m2025-01-15T06:25:20.602159Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-15T06:25:20.602161Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18  -> 18 
+[2m2025-01-15T06:25:20.602162Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18  -> 18 
+[2m2025-01-15T06:25:20.602163Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19  -> 19 
+[2m2025-01-15T06:25:20.602164Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13  -> 18 
+[2m2025-01-15T06:25:20.602166Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20  -> 20 
+[2m2025-01-15T06:25:20.602167Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 10  -> 18 
+[2m2025-01-15T06:25:20.602168Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17  -> 18 
+[2m2025-01-15T06:25:20.602169Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14  -> 18 
+[2m2025-01-15T06:25:20.602170Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16  -> 17 
+[2m2025-01-15T06:25:20.602171Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2   -> 10 
+[2m2025-01-15T06:25:20.602173Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2   -> 10 
+[2m2025-01-15T06:25:20.602476Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61
+[2m2025-01-15T06:25:20.602477Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-15T06:25:20.602479Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-15T06:25:20.602480Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14  -> 17 
+[2m2025-01-15T06:25:20.602481Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-15T06:25:20.602482Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12  -> 17 
+[2m2025-01-15T06:25:20.602483Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17  -> 17 
+[2m2025-01-15T06:25:20.602484Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19  -> 19 
+[2m2025-01-15T06:25:20.602485Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12  -> 18 
+[2m2025-01-15T06:25:20.602487Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19  -> 19 
+[2m2025-01-15T06:25:20.602488Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12  -> 18 
+[2m2025-01-15T06:25:20.602489Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18  -> 18 
+[2m2025-01-15T06:25:20.602490Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15  -> 18 
+[2m2025-01-15T06:25:20.602491Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15  -> 17 
+[2m2025-01-15T06:25:20.602492Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5   -> 18 
+[2m2025-01-15T06:25:20.602493Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5   -> 18 
+[2m2025-01-15T06:25:20.753214Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m151ms [3mtime.idle[0m[2m=[0m2.53µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-15T06:25:50.933295Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3554405, total_syscall_cycles=20, touched_memory_addresses=43349
+[2m2025-01-15T06:25:50.933319Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-15T06:25:50.933327Z[0m [32m INFO[0m [1mprove_core[0m:   1099578 add
+[2m2025-01-15T06:25:50.933330Z[0m [32m INFO[0m [1mprove_core[0m:    618807 lw
+[2m2025-01-15T06:25:50.933332Z[0m [32m INFO[0m [1mprove_core[0m:    578529 sw
+[2m2025-01-15T06:25:50.933333Z[0m [32m INFO[0m [1mprove_core[0m:    298647 sll
+[2m2025-01-15T06:25:50.933335Z[0m [32m INFO[0m [1mprove_core[0m:    183636 bltu
+[2m2025-01-15T06:25:50.933337Z[0m [32m INFO[0m [1mprove_core[0m:    148577 xor
+[2m2025-01-15T06:25:50.933339Z[0m [32m INFO[0m [1mprove_core[0m:    141322 srl
+[2m2025-01-15T06:25:50.933340Z[0m [32m INFO[0m [1mprove_core[0m:    138669 or
+[2m2025-01-15T06:25:50.933342Z[0m [32m INFO[0m [1mprove_core[0m:    137431 sltu
+[2m2025-01-15T06:25:50.933343Z[0m [32m INFO[0m [1mprove_core[0m:     64455 bne
+[2m2025-01-15T06:25:50.933344Z[0m [32m INFO[0m [1mprove_core[0m:     44665 beq
+[2m2025-01-15T06:25:50.933346Z[0m [32m INFO[0m [1mprove_core[0m:     43291 bgeu
+[2m2025-01-15T06:25:50.933347Z[0m [32m INFO[0m [1mprove_core[0m:     24706 jal
+[2m2025-01-15T06:25:50.933348Z[0m [32m INFO[0m [1mprove_core[0m:     12024 sub
+[2m2025-01-15T06:25:50.933349Z[0m [32m INFO[0m [1mprove_core[0m:      7384 jalr
+[2m2025-01-15T06:25:50.933351Z[0m [32m INFO[0m [1mprove_core[0m:      6299 and
+[2m2025-01-15T06:25:50.933352Z[0m [32m INFO[0m [1mprove_core[0m:      3695 auipc
+[2m2025-01-15T06:25:50.933353Z[0m [32m INFO[0m [1mprove_core[0m:      1530 mul
+[2m2025-01-15T06:25:50.933355Z[0m [32m INFO[0m [1mprove_core[0m:       454 sb
+[2m2025-01-15T06:25:50.933356Z[0m [32m INFO[0m [1mprove_core[0m:       289 lbu
+[2m2025-01-15T06:25:50.933357Z[0m [32m INFO[0m [1mprove_core[0m:       210 mulhu
+[2m2025-01-15T06:25:50.933358Z[0m [32m INFO[0m [1mprove_core[0m:       179 blt
+[2m2025-01-15T06:25:50.933360Z[0m [32m INFO[0m [1mprove_core[0m:        20 ecall
+[2m2025-01-15T06:25:50.933361Z[0m [32m INFO[0m [1mprove_core[0m:         4 lb
+[2m2025-01-15T06:25:50.933362Z[0m [32m INFO[0m [1mprove_core[0m:         3 divu
+[2m2025-01-15T06:25:50.933364Z[0m [32m INFO[0m [1mprove_core[0m:         1 bge
+[2m2025-01-15T06:25:50.933366Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-15T06:25:50.933371Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit
+[2m2025-01-15T06:25:50.933373Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit_deferred_proofs
+[2m2025-01-15T06:25:50.933374Z[0m [32m INFO[0m [1mprove_core[0m:   1 halt
+[2m2025-01-15T06:25:50.933376Z[0m [32m INFO[0m [1mprove_core[0m:   1 write
+[2m2025-01-15T06:25:50.933377Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_len
+[2m2025-01-15T06:25:50.933379Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_read
+[2m2025-01-15T06:25:50.933385Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3554405, e2e=31.18459074s, khz=113.98
+[2m2025-01-15T06:25:50.937811Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m30.3s [3mtime.idle[0m[2m=[0m892ms
+Successfully generated proof!
+[2m2025-01-15T06:25:51.461627Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m518ms [3mtime.idle[0m[2m=[0m1.77µs
+Successfully verified proof!
diff --git a/sorting-output/11327-2025-01-15T06:25:15,615631595+00:00/sp1/output_time b/sorting-output/11327-2025-01-15T06:25:15,615631595+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=11327 --prove"
+	User time (seconds): 1307.70
+	System time (seconds): 54.04
+	Percent of CPU this job got: 3782%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:36.00
+	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): 21324164
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 2
+	Minor (reclaiming a frame) page faults: 12462618
+	Voluntary context switches: 387282
+	Involuntary context switches: 72693
+	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/14214-2025-01-15T06:23:44,107671424+00:00/ceno/hints b/sorting-output/14214-2025-01-15T06:23:44,107671424+00:00/ceno/hints