More data

scroll-tech · Jan 14, 2025 · fc15717 · fc15717
1 parent 69ef5b4
commit fc15717
Show file tree

Hide file tree

Showing 18 changed files with 572 additions and 1 deletion.
diff --git a/run_sorting b/run_sorting
@@ -9,6 +9,5 @@ for N in $(shuf --input-range=1-${MAX}); do
     output="$(realpath --canonicalize-missing "sorting-output/${N}-$(date --iso-8601=ns --utc)/${system}")"
     mkdir --parents "${output}"
     ./run_${system}_sorting "${N}" "${output}"
-
   done
 done
diff --git a/sorting-output/2657-2025-01-14T08:52:13,243150256+00:00/sp1/log b/sorting-output/2657-2025-01-14T08:52:13,243150256+00:00/sp1/log
@@ -0,0 +1,97 @@
+[2m2025-01-14T08:52:14.900400Z[0m [32m INFO[0m vk verification: true
+n: 2657
+[2m2025-01-14T08:52:16.031309Z[0m [32m INFO[0m [1mprove_core[0m:[1mclone[0m: close [3mtime.busy[0m[2m=[0m98.3µs [3mtime.idle[0m[2m=[0m2.17µs
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:52:16.089104Z[0m [32m INFO[0m [1mprove_core[0m:[1mexecute[0m: close [3mtime.busy[0m[2m=[0m57.8ms [3mtime.idle[0m[2m=[0m691ns
+[2m2025-01-14T08:52:16.090187Z[0m [32m INFO[0m [1mprove_core[0m:[1mcreate memory checkpoint[0m: close [3mtime.busy[0m[2m=[0m1.07ms [3mtime.idle[0m[2m=[0m750ns
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:52:16.428343Z[0m [32m INFO[0m [1mprove_core[0m: generated 1 records    
+[2m2025-01-14T08:52:16.428368Z[0m [32m INFO[0m [1mprove_core[0m: waiting for turn 0    
+[2m2025-01-14T08:52:16.428514Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T08:52:16.428523Z[0m [32m INFO[0m [1mprove_core[0m: collecting checkpoints    
+[2m2025-01-14T08:52:16.428528Z[0m [32m INFO[0m [1mprove_core[0m: fixing shape
+[2m2025-01-14T08:52:16.428574Z[0m [32m INFO[0m [1mprove_core[0m: fixing shape
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:52:17.105660Z[0m [32m INFO[0m [1mprove_core[0m: generated 1 records    
+[2m2025-01-14T08:52:17.105845Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T08:52:40.477709Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=779642, total_syscall_cycles=20, touched_memory_addresses=25998
+[2m2025-01-14T08:52:40.477737Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T08:52:40.477746Z[0m [32m INFO[0m [1mprove_core[0m:   232079 add
+[2m2025-01-14T08:52:40.477748Z[0m [32m INFO[0m [1mprove_core[0m:   137080 lw
+[2m2025-01-14T08:52:40.477750Z[0m [32m INFO[0m [1mprove_core[0m:   127634 sw
+[2m2025-01-14T08:52:40.477752Z[0m [32m INFO[0m [1mprove_core[0m:    66476 sll
+[2m2025-01-14T08:52:40.477754Z[0m [32m INFO[0m [1mprove_core[0m:    37267 bltu
+[2m2025-01-14T08:52:40.477755Z[0m [32m INFO[0m [1mprove_core[0m:    36346 xor
+[2m2025-01-14T08:52:40.477757Z[0m [32m INFO[0m [1mprove_core[0m:    35083 srl
+[2m2025-01-14T08:52:40.477758Z[0m [32m INFO[0m [1mprove_core[0m:    34159 or
+[2m2025-01-14T08:52:40.477760Z[0m [32m INFO[0m [1mprove_core[0m:    26991 sltu
+[2m2025-01-14T08:52:40.477762Z[0m [32m INFO[0m [1mprove_core[0m:    13130 bne
+[2m2025-01-14T08:52:40.477765Z[0m [32m INFO[0m [1mprove_core[0m:    10615 beq
+[2m2025-01-14T08:52:40.477767Z[0m [32m INFO[0m [1mprove_core[0m:     9022 bgeu
+[2m2025-01-14T08:52:40.477769Z[0m [32m INFO[0m [1mprove_core[0m:     5387 jal
+[2m2025-01-14T08:52:40.477771Z[0m [32m INFO[0m [1mprove_core[0m:     2870 sub
+[2m2025-01-14T08:52:40.477774Z[0m [32m INFO[0m [1mprove_core[0m:     1829 and
+[2m2025-01-14T08:52:40.477776Z[0m [32m INFO[0m [1mprove_core[0m:     1678 jalr
+[2m2025-01-14T08:52:40.477779Z[0m [32m INFO[0m [1mprove_core[0m:      842 auipc
+[2m2025-01-14T08:52:40.477781Z[0m [32m INFO[0m [1mprove_core[0m:      442 mul
+[2m2025-01-14T08:52:40.477783Z[0m [32m INFO[0m [1mprove_core[0m:      391 sb
+[2m2025-01-14T08:52:40.477785Z[0m [32m INFO[0m [1mprove_core[0m:      165 lbu
+[2m2025-01-14T08:52:40.477787Z[0m [32m INFO[0m [1mprove_core[0m:       84 mulhu
+[2m2025-01-14T08:52:40.477789Z[0m [32m INFO[0m [1mprove_core[0m:       44 blt
+[2m2025-01-14T08:52:40.477791Z[0m [32m INFO[0m [1mprove_core[0m:       20 ecall
+[2m2025-01-14T08:52:40.477793Z[0m [32m INFO[0m [1mprove_core[0m:        4 lb
+[2m2025-01-14T08:52:40.477795Z[0m [32m INFO[0m [1mprove_core[0m:        3 divu
+[2m2025-01-14T08:52:40.477797Z[0m [32m INFO[0m [1mprove_core[0m:        1 bge
+[2m2025-01-14T08:52:40.477799Z[0m [32m INFO[0m [1mprove_core[0m:        0 sra
+[2m2025-01-14T08:52:40.477801Z[0m [32m INFO[0m [1mprove_core[0m:        0 slt
+[2m2025-01-14T08:52:40.477803Z[0m [32m INFO[0m [1mprove_core[0m:        0 lh
+[2m2025-01-14T08:52:40.477805Z[0m [32m INFO[0m [1mprove_core[0m:        0 lhu
+[2m2025-01-14T08:52:40.477807Z[0m [32m INFO[0m [1mprove_core[0m:        0 sh
+[2m2025-01-14T08:52:40.477809Z[0m [32m INFO[0m [1mprove_core[0m:        0 ebreak
+[2m2025-01-14T08:52:40.477811Z[0m [32m INFO[0m [1mprove_core[0m:        0 mulh
+[2m2025-01-14T08:52:40.477813Z[0m [32m INFO[0m [1mprove_core[0m:        0 mulhsu
+[2m2025-01-14T08:52:40.477815Z[0m [32m INFO[0m [1mprove_core[0m:        0 div
+[2m2025-01-14T08:52:40.477818Z[0m [32m INFO[0m [1mprove_core[0m:        0 rem
+[2m2025-01-14T08:52:40.477821Z[0m [32m INFO[0m [1mprove_core[0m:        0 remu
+[2m2025-01-14T08:52:40.477822Z[0m [32m INFO[0m [1mprove_core[0m:        0 unimp
+[2m2025-01-14T08:52:40.477824Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T08:52:40.477831Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit
+[2m2025-01-14T08:52:40.477833Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit_deferred_proofs
+[2m2025-01-14T08:52:40.477835Z[0m [32m INFO[0m [1mprove_core[0m:   1 halt
+[2m2025-01-14T08:52:40.477836Z[0m [32m INFO[0m [1mprove_core[0m:   1 write
+[2m2025-01-14T08:52:40.477838Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_len
+[2m2025-01-14T08:52:40.477841Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_read
+[2m2025-01-14T08:52:40.477843Z[0m [32m INFO[0m [1mprove_core[0m:   0 enter_unconstrained
+[2m2025-01-14T08:52:40.477845Z[0m [32m INFO[0m [1mprove_core[0m:   0 exit_unconstrained
+[2m2025-01-14T08:52:40.477847Z[0m [32m INFO[0m [1mprove_core[0m:   0 verify_sp1_proof
+[2m2025-01-14T08:52:40.477850Z[0m [32m INFO[0m [1mprove_core[0m:   0 ed_decompress
+[2m2025-01-14T08:52:40.477853Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_double
+[2m2025-01-14T08:52:40.477855Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_decompress
+[2m2025-01-14T08:52:40.477857Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_double
+[2m2025-01-14T08:52:40.477860Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_decompress
+[2m2025-01-14T08:52:40.477862Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_double
+[2m2025-01-14T08:52:40.477864Z[0m [32m INFO[0m [1mprove_core[0m:   0 sha_compress
+[2m2025-01-14T08:52:40.477867Z[0m [32m INFO[0m [1mprove_core[0m:   0 ed_add
+[2m2025-01-14T08:52:40.477869Z[0m [32m INFO[0m [1mprove_core[0m:   0 keccak_permute
+[2m2025-01-14T08:52:40.477871Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_add
+[2m2025-01-14T08:52:40.477873Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_add
+[2m2025-01-14T08:52:40.477876Z[0m [32m INFO[0m [1mprove_core[0m:   0 uint256_mul
+[2m2025-01-14T08:52:40.477878Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_add
+[2m2025-01-14T08:52:40.477880Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_add
+[2m2025-01-14T08:52:40.477883Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_sub
+[2m2025-01-14T08:52:40.477885Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_mul
+[2m2025-01-14T08:52:40.477890Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_add
+[2m2025-01-14T08:52:40.477893Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_sub
+[2m2025-01-14T08:52:40.477895Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_mul
+[2m2025-01-14T08:52:40.477896Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_add
+[2m2025-01-14T08:52:40.477898Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_sub
+[2m2025-01-14T08:52:40.477899Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_mul
+[2m2025-01-14T08:52:40.477901Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_add
+[2m2025-01-14T08:52:40.477904Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_sub
+[2m2025-01-14T08:52:40.477906Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_mul
+[2m2025-01-14T08:52:40.477908Z[0m [32m INFO[0m [1mprove_core[0m:   0 sha_extend
+[2m2025-01-14T08:52:40.759004Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=779642, gas=923022, e2e=24.446966895s, khz=31.89, proofSize=2812176
+[2m2025-01-14T08:52:40.779681Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m23.9s [3mtime.idle[0m[2m=[0m988ms
+Successfully generated proof!
+[2m2025-01-14T08:52:41.004296Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m223ms [3mtime.idle[0m[2m=[0m1.98µs
+Successfully verified proof!
diff --git a/sorting-output/2657-2025-01-14T08:52:13,243150256+00:00/sp1/output_time b/sorting-output/2657-2025-01-14T08:52:13,243150256+00:00/sp1/output_time
@@ -0,0 +1,23 @@
+	Command being timed: "cargo run --release -- --n=2657 --prove"
+	User time (seconds): 770.35
+	System time (seconds): 31.34
+	Percent of CPU this job got: 2970%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:26.99
+	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): 10574912
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 5349938
+	Voluntary context switches: 304869
+	Involuntary context switches: 42758
+	Swaps: 0
+	File system inputs: 0
+	File system outputs: 1152
+	Socket messages sent: 0
+	Socket messages received: 0
+	Signals delivered: 0
+	Page size (bytes): 4096
+	Exit status: 0
diff --git a/sorting-output/2657-2025-01-14T08:52:41,177189813+00:00/ceno/hints b/sorting-output/2657-2025-01-14T08:52:41,177189813+00:00/ceno/hints
diff --git a/sorting-output/2657-2025-01-14T08:52:41,177189813+00:00/ceno/output_time b/sorting-output/2657-2025-01-14T08:52:41,177189813+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/2657-2025-01-14T08:52:41,177189813+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting"
+	User time (seconds): 370.55
+	System time (seconds): 31.24
+	Percent of CPU this job got: 2521%
+	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:15.93
+	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): 2622040
+	Average resident set size (kbytes): 0
+	Major (requiring I/O) page faults: 0
+	Minor (reclaiming a frame) page faults: 1558586
+	Voluntary context switches: 757923
+	Involuntary context switches: 126445
+	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/5529-2025-01-14T08:54:16,003203650+00:00/sp1/log b/sorting-output/5529-2025-01-14T08:54:16,003203650+00:00/sp1/log
@@ -0,0 +1,97 @@
+[2m2025-01-14T08:54:17.639320Z[0m [32m INFO[0m vk verification: true
+n: 5529
+[2m2025-01-14T08:54:18.807733Z[0m [32m INFO[0m [1mprove_core[0m:[1mclone[0m: close [3mtime.busy[0m[2m=[0m113µs [3mtime.idle[0m[2m=[0m2.58µs
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:54:18.930891Z[0m [32m INFO[0m [1mprove_core[0m:[1mexecute[0m: close [3mtime.busy[0m[2m=[0m123ms [3mtime.idle[0m[2m=[0m1.58µs
+[2m2025-01-14T08:54:18.932393Z[0m [32m INFO[0m [1mprove_core[0m:[1mcreate memory checkpoint[0m: close [3mtime.busy[0m[2m=[0m1.47ms [3mtime.idle[0m[2m=[0m1.54µs
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:54:19.635418Z[0m [32m INFO[0m [1mprove_core[0m: generated 1 records    
+[2m2025-01-14T08:54:19.635448Z[0m [32m INFO[0m [1mprove_core[0m: waiting for turn 0    
+[2m2025-01-14T08:54:19.635662Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T08:54:19.635672Z[0m [32m INFO[0m [1mprove_core[0m: collecting checkpoints    
+[2m2025-01-14T08:54:19.635677Z[0m [32m INFO[0m [1mprove_core[0m: fixing shape
+[2m2025-01-14T08:54:19.635751Z[0m [32m INFO[0m [1mprove_core[0m: fixing shape
+stdout: WARNING: Using insecure random number generator.
+[2m2025-01-14T08:54:20.692164Z[0m [32m INFO[0m [1mprove_core[0m: generated 1 records    
+[2m2025-01-14T08:54:20.692405Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records    
+[2m2025-01-14T08:54:45.687369Z[0m [32m INFO[0m [1mprove_core[0m: execution report (totals): total_cycles=1675895, total_syscall_cycles=20, touched_memory_addresses=31757
+[2m2025-01-14T08:54:45.687410Z[0m [32m INFO[0m [1mprove_core[0m: execution report (opcode counts):
+[2m2025-01-14T08:54:45.687423Z[0m [32m INFO[0m [1mprove_core[0m:   508187 add
+[2m2025-01-14T08:54:45.687425Z[0m [32m INFO[0m [1mprove_core[0m:   293831 lw
+[2m2025-01-14T08:54:45.687427Z[0m [32m INFO[0m [1mprove_core[0m:   274086 sw
+[2m2025-01-14T08:54:45.687428Z[0m [32m INFO[0m [1mprove_core[0m:   141818 sll
+[2m2025-01-14T08:54:45.687430Z[0m [32m INFO[0m [1mprove_core[0m:    84049 bltu
+[2m2025-01-14T08:54:45.687431Z[0m [32m INFO[0m [1mprove_core[0m:    73751 xor
+[2m2025-01-14T08:54:45.687433Z[0m [32m INFO[0m [1mprove_core[0m:    70644 srl
+[2m2025-01-14T08:54:45.687434Z[0m [32m INFO[0m [1mprove_core[0m:    69060 or
+[2m2025-01-14T08:54:45.687435Z[0m [32m INFO[0m [1mprove_core[0m:    61789 sltu
+[2m2025-01-14T08:54:45.687436Z[0m [32m INFO[0m [1mprove_core[0m:    28715 bne
+[2m2025-01-14T08:54:45.687437Z[0m [32m INFO[0m [1mprove_core[0m:    22019 beq
+[2m2025-01-14T08:54:45.687439Z[0m [32m INFO[0m [1mprove_core[0m:    19957 bgeu
+[2m2025-01-14T08:54:45.687440Z[0m [32m INFO[0m [1mprove_core[0m:    11562 jal
+[2m2025-01-14T08:54:45.687441Z[0m [32m INFO[0m [1mprove_core[0m:     5929 sub
+[2m2025-01-14T08:54:45.687443Z[0m [32m INFO[0m [1mprove_core[0m:     3578 jalr
+[2m2025-01-14T08:54:45.687444Z[0m [32m INFO[0m [1mprove_core[0m:     3355 and
+[2m2025-01-14T08:54:45.687445Z[0m [32m INFO[0m [1mprove_core[0m:     1792 auipc
+[2m2025-01-14T08:54:45.687446Z[0m [32m INFO[0m [1mprove_core[0m:      857 mul
+[2m2025-01-14T08:54:45.687448Z[0m [32m INFO[0m [1mprove_core[0m:      423 sb
+[2m2025-01-14T08:54:45.687449Z[0m [32m INFO[0m [1mprove_core[0m:      228 lbu
+[2m2025-01-14T08:54:45.687450Z[0m [32m INFO[0m [1mprove_core[0m:      148 mulhu
+[2m2025-01-14T08:54:45.687452Z[0m [32m INFO[0m [1mprove_core[0m:       89 blt
+[2m2025-01-14T08:54:45.687454Z[0m [32m INFO[0m [1mprove_core[0m:       20 ecall
+[2m2025-01-14T08:54:45.687455Z[0m [32m INFO[0m [1mprove_core[0m:        4 lb
+[2m2025-01-14T08:54:45.687456Z[0m [32m INFO[0m [1mprove_core[0m:        3 divu
+[2m2025-01-14T08:54:45.687458Z[0m [32m INFO[0m [1mprove_core[0m:        1 bge
+[2m2025-01-14T08:54:45.687459Z[0m [32m INFO[0m [1mprove_core[0m:        0 sra
+[2m2025-01-14T08:54:45.687460Z[0m [32m INFO[0m [1mprove_core[0m:        0 slt
+[2m2025-01-14T08:54:45.687461Z[0m [32m INFO[0m [1mprove_core[0m:        0 lh
+[2m2025-01-14T08:54:45.687462Z[0m [32m INFO[0m [1mprove_core[0m:        0 lhu
+[2m2025-01-14T08:54:45.687464Z[0m [32m INFO[0m [1mprove_core[0m:        0 sh
+[2m2025-01-14T08:54:45.687465Z[0m [32m INFO[0m [1mprove_core[0m:        0 ebreak
+[2m2025-01-14T08:54:45.687466Z[0m [32m INFO[0m [1mprove_core[0m:        0 mulh
+[2m2025-01-14T08:54:45.687468Z[0m [32m INFO[0m [1mprove_core[0m:        0 mulhsu
+[2m2025-01-14T08:54:45.687469Z[0m [32m INFO[0m [1mprove_core[0m:        0 div
+[2m2025-01-14T08:54:45.687470Z[0m [32m INFO[0m [1mprove_core[0m:        0 rem
+[2m2025-01-14T08:54:45.687471Z[0m [32m INFO[0m [1mprove_core[0m:        0 remu
+[2m2025-01-14T08:54:45.687473Z[0m [32m INFO[0m [1mprove_core[0m:        0 unimp
+[2m2025-01-14T08:54:45.687474Z[0m [32m INFO[0m [1mprove_core[0m: execution report (syscall counts):
+[2m2025-01-14T08:54:45.687483Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit
+[2m2025-01-14T08:54:45.687485Z[0m [32m INFO[0m [1mprove_core[0m:   8 commit_deferred_proofs
+[2m2025-01-14T08:54:45.687486Z[0m [32m INFO[0m [1mprove_core[0m:   1 halt
+[2m2025-01-14T08:54:45.687488Z[0m [32m INFO[0m [1mprove_core[0m:   1 write
+[2m2025-01-14T08:54:45.687489Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_len
+[2m2025-01-14T08:54:45.687491Z[0m [32m INFO[0m [1mprove_core[0m:   1 hint_read
+[2m2025-01-14T08:54:45.687492Z[0m [32m INFO[0m [1mprove_core[0m:   0 enter_unconstrained
+[2m2025-01-14T08:54:45.687493Z[0m [32m INFO[0m [1mprove_core[0m:   0 exit_unconstrained
+[2m2025-01-14T08:54:45.687495Z[0m [32m INFO[0m [1mprove_core[0m:   0 verify_sp1_proof
+[2m2025-01-14T08:54:45.687496Z[0m [32m INFO[0m [1mprove_core[0m:   0 ed_decompress
+[2m2025-01-14T08:54:45.687498Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_double
+[2m2025-01-14T08:54:45.687500Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_decompress
+[2m2025-01-14T08:54:45.687501Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_double
+[2m2025-01-14T08:54:45.687503Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_decompress
+[2m2025-01-14T08:54:45.687504Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_double
+[2m2025-01-14T08:54:45.687505Z[0m [32m INFO[0m [1mprove_core[0m:   0 sha_compress
+[2m2025-01-14T08:54:45.687507Z[0m [32m INFO[0m [1mprove_core[0m:   0 ed_add
+[2m2025-01-14T08:54:45.687508Z[0m [32m INFO[0m [1mprove_core[0m:   0 keccak_permute
+[2m2025-01-14T08:54:45.687510Z[0m [32m INFO[0m [1mprove_core[0m:   0 secp256k1_add
+[2m2025-01-14T08:54:45.687511Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_add
+[2m2025-01-14T08:54:45.687512Z[0m [32m INFO[0m [1mprove_core[0m:   0 uint256_mul
+[2m2025-01-14T08:54:45.687514Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_add
+[2m2025-01-14T08:54:45.687515Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_add
+[2m2025-01-14T08:54:45.687517Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_sub
+[2m2025-01-14T08:54:45.687518Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp_mul
+[2m2025-01-14T08:54:45.687519Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_add
+[2m2025-01-14T08:54:45.687521Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_sub
+[2m2025-01-14T08:54:45.687522Z[0m [32m INFO[0m [1mprove_core[0m:   0 bls12381_fp2_mul
+[2m2025-01-14T08:54:45.687523Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_add
+[2m2025-01-14T08:54:45.687525Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_sub
+[2m2025-01-14T08:54:45.687526Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp_mul
+[2m2025-01-14T08:54:45.687528Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_add
+[2m2025-01-14T08:54:45.687529Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_sub
+[2m2025-01-14T08:54:45.687530Z[0m [32m INFO[0m [1mprove_core[0m:   0 bn254_fp2_mul
+[2m2025-01-14T08:54:45.687532Z[0m [32m INFO[0m [1mprove_core[0m:   0 sha_extend
+[2m2025-01-14T08:54:45.977516Z[0m [32m INFO[0m [1mprove_core[0m: summary: cycles=1675895, gas=1943892, e2e=26.880196606s, khz=62.35, proofSize=2812176
+[2m2025-01-14T08:54:45.995293Z[0m [32m INFO[0m [1mprove_core[0m: close [3mtime.busy[0m[2m=[0m26.0s [3mtime.idle[0m[2m=[0m1.34s
+Successfully generated proof!
+[2m2025-01-14T08:54:46.218698Z[0m [32m INFO[0m [1mverify[0m: close [3mtime.busy[0m[2m=[0m222ms [3mtime.idle[0m[2m=[0m1.46µs
+Successfully verified proof!