More data

scroll-tech · Jan 14, 2025 · 6b2b884 · 6b2b884
1 parent 1e3b895
commit 6b2b884
Show file tree

Hide file tree

Showing 22 changed files with 616 additions and 1 deletion.
diff --git 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
@@ -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
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
@@ -0,0 +1,42 @@
+[2m2025-01-14T15:13:17.026080Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'    
+[2m2025-01-14T15:13:17.480222Z[0m [32m INFO[0m vk verification: true
+n: 11146
+[2m2025-01-14T15:13:19.830636Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T15:13:19.945636Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T15:13:20.490997Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T15:13:20.680446Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54
+[2m2025-01-14T15:13:20.680477Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-14T15:13:20.680481Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2   -> 10 
+[2m2025-01-14T15:13:20.680483Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-14T15:13:20.680484Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19  -> 19 
+[2m2025-01-14T15:13:20.680485Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-14T15:13:20.680487Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18  -> 18 
+[2m2025-01-14T15:13:20.680488Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18  -> 18 
+[2m2025-01-14T15:13:20.680490Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19  -> 19 
+[2m2025-01-14T15:13:20.680491Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13  -> 18 
+[2m2025-01-14T15:13:20.680492Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20  -> 20 
+[2m2025-01-14T15:13:20.680493Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11  -> 18 
+[2m2025-01-14T15:13:20.680494Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17  -> 18 
+[2m2025-01-14T15:13:20.680495Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14  -> 18 
+[2m2025-01-14T15:13:20.680497Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16  -> 17 
+[2m2025-01-14T15:13:20.680498Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2   -> 10 
+[2m2025-01-14T15:13:20.680499Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2   -> 10 
+[2m2025-01-14T15:13:20.680790Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61
+[2m2025-01-14T15:13:20.680795Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-14T15:13:20.680796Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-14T15:13:20.680797Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14  -> 17 
+[2m2025-01-14T15:13:20.680798Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-14T15:13:20.680800Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12  -> 17 
+[2m2025-01-14T15:13:20.680801Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17  -> 17 
+[2m2025-01-14T15:13:20.680802Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19  -> 19 
+[2m2025-01-14T15:13:20.680803Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12  -> 18 
+[2m2025-01-14T15:13:20.680805Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19  -> 19 
+[2m2025-01-14T15:13:20.680806Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12  -> 18 
+[2m2025-01-14T15:13:20.680807Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18  -> 18 
+[2m2025-01-14T15:13:20.680808Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15  -> 18 
+[2m2025-01-14T15:13:20.680809Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15  -> 17 
+[2m2025-01-14T15:13:20.680810Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5   -> 18 
+[2m2025-01-14T15:13:20.680812Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5   -> 18 
+[2m2025-01-14T15:13:20.838940Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m158ms [3mtime.idle[0m[2m=[0m2.09µs [2m[3mindex[0m[2m=[0m0[0m
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
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
@@ -0,0 +1,82 @@
+[2m2025-01-14T15:12:13.884240Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu'    
+[2m2025-01-14T15:12:14.345758Z[0m [32m INFO[0m vk verification: true
+n: 12319
+[2m2025-01-14T15:12:16.676402Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T15:12:16.803217Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04    
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T15:12:17.376667Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T15:12:17.578652Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=210
+[2m2025-01-14T15:12:17.578690Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-14T15:12:17.578693Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2   -> 10 
+[2m2025-01-14T15:12:17.578695Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-14T15:12:17.578696Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19  -> 19 
+[2m2025-01-14T15:12:17.578698Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-14T15:12:17.578699Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18  -> 18 
+[2m2025-01-14T15:12:17.578701Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18  -> 18 
+[2m2025-01-14T15:12:17.578702Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 18  -> 18 
+[2m2025-01-14T15:12:17.578703Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13  -> 18 
+[2m2025-01-14T15:12:17.578705Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20  -> 20 
+[2m2025-01-14T15:12:17.578706Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 10  -> 18 
+[2m2025-01-14T15:12:17.578707Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17  -> 18 
+[2m2025-01-14T15:12:17.578708Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14  -> 18 
+[2m2025-01-14T15:12:17.578709Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16  -> 17 
+[2m2025-01-14T15:12:17.578710Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2   -> 10 
+[2m2025-01-14T15:12:17.578712Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2   -> 10 
+[2m2025-01-14T15:12:17.578926Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=180
+[2m2025-01-14T15:12:17.578930Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21  -> 21 
+[2m2025-01-14T15:12:17.578932Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21  -> 21 
+[2m2025-01-14T15:12:17.578933Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 15  -> 17 
+[2m2025-01-14T15:12:17.578934Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10  -> 17 
+[2m2025-01-14T15:12:17.578935Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12  -> 17 
+[2m2025-01-14T15:12:17.578936Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17  -> 17 
+[2m2025-01-14T15:12:17.578938Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 20  -> 20 
+[2m2025-01-14T15:12:17.578939Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13  -> 18 
+[2m2025-01-14T15:12:17.578940Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19  -> 19 
+[2m2025-01-14T15:12:17.578941Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12  -> 18 
+[2m2025-01-14T15:12:17.578942Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 19  -> 19 
+[2m2025-01-14T15:12:17.578944Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15  -> 18 
+[2m2025-01-14T15:12:17.578945Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16  -> 17 
+[2m2025-01-14T15:12:17.578946Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5   -> 10 
+[2m2025-01-14T15:12:17.578947Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5   -> 10 
+[2m2025-01-14T15:12:17.746429Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m167ms [3mtime.idle[0m[2m=[0m2.55µs [2m[3mindex[0m[2m=[0m0[0m
+[2m2025-01-14T15:12:48.753833Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=3901049, total_syscall_cycles=20, touched_memory_addresses=45331
+[2m2025-01-14T15:12:48.753860Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T15:12:48.753869Z[0m [32m INFO[0m [1mprove_core[0m:   1209211 add
+[2m2025-01-14T15:12:48.753873Z[0m [32m INFO[0m [1mprove_core[0m:    678543 lw
+[2m2025-01-14T15:12:48.753874Z[0m [32m INFO[0m [1mprove_core[0m:    635579 sw
+[2m2025-01-14T15:12:48.753876Z[0m [32m INFO[0m [1mprove_core[0m:    327358 sll
+[2m2025-01-14T15:12:48.753877Z[0m [32m INFO[0m [1mprove_core[0m:    203154 bltu
+[2m2025-01-14T15:12:48.753879Z[0m [32m INFO[0m [1mprove_core[0m:    161646 xor
+[2m2025-01-14T15:12:48.753880Z[0m [32m INFO[0m [1mprove_core[0m:    153815 srl
+[2m2025-01-14T15:12:48.753882Z[0m [32m INFO[0m [1mprove_core[0m:    151672 sltu
+[2m2025-01-14T15:12:48.753883Z[0m [32m INFO[0m [1mprove_core[0m:    151027 or
+[2m2025-01-14T15:12:48.753884Z[0m [32m INFO[0m [1mprove_core[0m:     70329 bne
+[2m2025-01-14T15:12:48.753886Z[0m [32m INFO[0m [1mprove_core[0m:     49651 beq
+[2m2025-01-14T15:12:48.753887Z[0m [32m INFO[0m [1mprove_core[0m:     47838 bgeu
+[2m2025-01-14T15:12:48.753888Z[0m [32m INFO[0m [1mprove_core[0m:     27174 jal
+[2m2025-01-14T15:12:48.753890Z[0m [32m INFO[0m [1mprove_core[0m:     12871 sub
+[2m2025-01-14T15:12:48.753891Z[0m [32m INFO[0m [1mprove_core[0m:      7784 jalr
+[2m2025-01-14T15:12:48.753892Z[0m [32m INFO[0m [1mprove_core[0m:      6691 and
+[2m2025-01-14T15:12:48.753894Z[0m [32m INFO[0m [1mprove_core[0m:      3895 auipc
+[2m2025-01-14T15:12:48.753895Z[0m [32m INFO[0m [1mprove_core[0m:      1610 mul
+[2m2025-01-14T15:12:48.753896Z[0m [32m INFO[0m [1mprove_core[0m:       459 sb
+[2m2025-01-14T15:12:48.753897Z[0m [32m INFO[0m [1mprove_core[0m:       299 lbu
+[2m2025-01-14T15:12:48.753899Z[0m [32m INFO[0m [1mprove_core[0m:       220 mulhu
+[2m2025-01-14T15:12:48.753900Z[0m [32m INFO[0m [1mprove_core[0m:       195 blt
+[2m2025-01-14T15:12:48.753902Z[0m [32m INFO[0m [1mprove_core[0m:        20 ecall
+[2m2025-01-14T15:12:48.753903Z[0m [32m INFO[0m [1mprove_core[0m:         4 lb
+[2m2025-01-14T15:12:48.753904Z[0m [32m INFO[0m [1mprove_core[0m:         3 divu
+[2m2025-01-14T15:12:48.753906Z[0m [32m INFO[0m [1mprove_core[0m:         1 bge
+[2m2025-01-14T15:12:48.753908Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T15:12:48.753914Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit
+[2m2025-01-14T15:12:48.753915Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit_deferred_proofs
+[2m2025-01-14T15:12:48.753917Z[0m [32m INFO[0m [1mprove_core[0m:   1 halt
+[2m2025-01-14T15:12:48.753918Z[0m [32m INFO[0m [1mprove_core[0m:   1 write
+[2m2025-01-14T15:12:48.753920Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_len
+[2m2025-01-14T15:12:48.753921Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_read
+[2m2025-01-14T15:12:48.753928Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=3901049, e2e=32.078185805s, khz=121.61
+[2m2025-01-14T15:12:48.756211Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m31.1s [3mtime.idle[0m[2m=[0m949ms
+Successfully generated proof!
+[2m2025-01-14T15:12:49.284061Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m515ms [3mtime.idle[0m[2m=[0m1.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
@@ -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
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
@@ -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