-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
a2dc9b3
commit ced353b
Showing
20 changed files
with
1,244 additions
and
768 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,10 +1,10 @@ | ||
| #!/bin/bash | ||
| set -euxo pipefail | ||
|
|
||
| plotting/get_data | grep sp1 > plotting/sp1.data | ||
| plotting/get_data | grep ceno > plotting/ceno.data | ||
| nice plotting/get_data | nice grep sp1 > plotting/sp1.data | ||
| nice plotting/get_data | nice grep ceno > plotting/ceno.data | ||
|
|
||
| ( | ||
| cd plotting | ||
| gnuplot plot.gnuplot | ||
| nice gnuplot plot.gnuplot | ||
| ) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,23 @@ | ||
| Command being timed: "cargo run --release -- --n=10423 --prove" | ||
| User time (seconds): 1298.73 | ||
| System time (seconds): 50.86 | ||
| Percent of CPU this job got: 3809% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:35.42 | ||
| 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): 18804588 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 12360927 | ||
| Voluntary context switches: 404765 | ||
| Involuntary context switches: 82114 | ||
| Swaps: 0 | ||
| File system inputs: 0 | ||
| File system outputs: 880 | ||
| Socket messages sent: 0 | ||
| Socket messages received: 0 | ||
| Signals delivered: 0 | ||
| Page size (bytes): 4096 | ||
| Exit status: 0 |
Binary file not shown.
23 changes: 23 additions & 0 deletions
23
sorting-output/10423-2025-01-14T14:26:39,016702075+00:00/ceno/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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/10423-2025-01-14T14:26:39,016702075+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
| User time (seconds): 732.11 | ||
| System time (seconds): 51.06 | ||
| Percent of CPU this job got: 3251% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:24.08 | ||
| 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): 7478428 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 4431192 | ||
| Voluntary context switches: 1010246 | ||
| Involuntary context switches: 160558 | ||
| 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 |
42 changes: 42 additions & 0 deletions
42
sorting-output/11193-2025-01-14T14:29:43,583017833+00:00/sp1/log
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,42 @@ | ||
| [2m2025-01-14T14:29:44.928750Z[0m [33m WARN[0m SP1_PROVER environment variable not set, defaulting to 'cpu' | ||
| [2m2025-01-14T14:29:45.384428Z[0m [32m INFO[0m vk verification: true | ||
| n: 11193 | ||
| [2m2025-01-14T14:29:47.697606Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T14:29:47.813005Z[0m [32m INFO[0m [1mprove_core[0m: clk = 0 pc = 0x200d04 | ||
| stdout: WARNING: Using insecure random number generator. | ||
| [2m2025-01-14T14:29:48.350710Z[0m [32m INFO[0m [1mprove_core[0m: deferred 1 records | ||
| [2m2025-01-14T14:29:48.535928Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=1, Cluster=54 | ||
| [2m2025-01-14T14:29:48.535952Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T14:29:48.535954Z[0m [32m INFO[0m [1mprove_core[0m: Chip DivRem: 2 -> 10 | ||
| [2m2025-01-14T14:29:48.535956Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
| [2m2025-01-14T14:29:48.535959Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 19 -> 19 | ||
| [2m2025-01-14T14:29:48.535960Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
| [2m2025-01-14T14:29:48.535961Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 18 -> 18 | ||
| [2m2025-01-14T14:29:48.535963Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 18 -> 18 | ||
| [2m2025-01-14T14:29:48.535964Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T14:29:48.535965Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 13 -> 18 | ||
| [2m2025-01-14T14:29:48.535966Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 20 -> 20 | ||
| [2m2025-01-14T14:29:48.535968Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 11 -> 18 | ||
| [2m2025-01-14T14:29:48.535969Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 17 -> 18 | ||
| [2m2025-01-14T14:29:48.535970Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 14 -> 18 | ||
| [2m2025-01-14T14:29:48.535971Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 16 -> 17 | ||
| [2m2025-01-14T14:29:48.535972Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 2 -> 10 | ||
| [2m2025-01-14T14:29:48.535973Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 2 -> 10 | ||
| [2m2025-01-14T14:29:48.536270Z[0m [32m INFO[0m [1mprove_core[0m: Shard Lifted: Index=2, Cluster=61 | ||
| [2m2025-01-14T14:29:48.536274Z[0m [32m INFO[0m [1mprove_core[0m: Chip Cpu: 21 -> 21 | ||
| [2m2025-01-14T14:29:48.536276Z[0m [32m INFO[0m [1mprove_core[0m: Chip AddSub: 21 -> 21 | ||
| [2m2025-01-14T14:29:48.536277Z[0m [32m INFO[0m [1mprove_core[0m: Chip Bitwise: 14 -> 17 | ||
| [2m2025-01-14T14:29:48.536278Z[0m [32m INFO[0m [1mprove_core[0m: Chip Mul: 10 -> 17 | ||
| [2m2025-01-14T14:29:48.536279Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftRight: 12 -> 17 | ||
| [2m2025-01-14T14:29:48.536281Z[0m [32m INFO[0m [1mprove_core[0m: Chip ShiftLeft: 17 -> 17 | ||
| [2m2025-01-14T14:29:48.536282Z[0m [32m INFO[0m [1mprove_core[0m: Chip Lt: 19 -> 19 | ||
| [2m2025-01-14T14:29:48.536283Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryLocal: 12 -> 18 | ||
| [2m2025-01-14T14:29:48.536284Z[0m [32m INFO[0m [1mprove_core[0m: Chip MemoryInstrs: 19 -> 19 | ||
| [2m2025-01-14T14:29:48.536285Z[0m [32m INFO[0m [1mprove_core[0m: Chip Auipc: 12 -> 18 | ||
| [2m2025-01-14T14:29:48.536287Z[0m [32m INFO[0m [1mprove_core[0m: Chip Branch: 18 -> 18 | ||
| [2m2025-01-14T14:29:48.536288Z[0m [32m INFO[0m [1mprove_core[0m: Chip Jump: 15 -> 18 | ||
| [2m2025-01-14T14:29:48.536289Z[0m [32m INFO[0m [1mprove_core[0m: Chip Global: 15 -> 17 | ||
| [2m2025-01-14T14:29:48.536290Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallCore: 5 -> 18 | ||
| [2m2025-01-14T14:29:48.536291Z[0m [32m INFO[0m [1mprove_core[0m: Chip SyscallInstrs: 5 -> 18 | ||
| [2m2025-01-14T14:29:48.710256Z[0m [32m INFO[0m [1mprove_core[0m:[1mgenerate main traces[0m: close [3mtime.busy[0m[2m=[0m174ms [3mtime.idle[0m[2m=[0m2.03µs [2m[3mindex[0m[2m=[0m0[0m |
Empty file.
Binary file not shown.
23 changes: 23 additions & 0 deletions
23
sorting-output/19563-2025-01-14T14:28:26,486493098+00:00/ceno/output_time
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -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/19563-2025-01-14T14:28:26,486493098+00:00/ceno/hints /home/matthias/scroll/prog/zkVM-benchmarks/ceno/examples/target/riscv32im-ceno-zkvm-elf/release/examples/sorting" | ||
| User time (seconds): 1052.71 | ||
| System time (seconds): 65.97 | ||
| Percent of CPU this job got: 3602% | ||
| Elapsed (wall clock) time (h:mm:ss or m:ss): 0:31.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): 12229020 | ||
| Average resident set size (kbytes): 0 | ||
| Major (requiring I/O) page faults: 0 | ||
| Minor (reclaiming a frame) page faults: 7464515 | ||
| Voluntary context switches: 1122359 | ||
| Involuntary context switches: 176523 | ||
| 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 |
Oops, something went wrong.