Created
February 29, 2024 14:26
-
-
Save huitseeker/4854258399e06a7fe271bd3d67c454f8 to your computer and use it in GitHub Desktop.
This file contains hidden or 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
Finished release [optimized] target(s) in 0.09s | |
Running `target/release/fibonacci-script` | |
[1;32mINFO [0m runtime.run(...) [ 17.4ms | 93.92% / 100.00% ] | |
[1;32mINFO [0m ┝━ load memory [ 217µs | 1.24% ] | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴403 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┝━ i [info]: ┌╴fibo | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 42 | |
[1;32mINFO [0m ┝━ i [info]: └╴405 cycles | log.target: "sp1_core::syscall::write" | log.module_path: "sp1_core::syscall::write" | log.file: "/Users/huitseeker/tmp/sp1/core/src/syscall/write.rs" | log.line: 53 | |
[1;32mINFO [0m ┕━ postprocess [ 844µs | 4.84% ] | |
[1;32mINFO [0m generate sr trace [ 4.17µs | 100.00% ] | |
[1;32mINFO [0m generate mul trace [ 35.6µs | 100.00% ] | |
[1;32mINFO [0m generate sub trace [ 96.3µs | 100.00% ] | |
[1;32mINFO [0m generate sll trace [ 75.1µs | 100.00% ] | |
[1;32mINFO [0m generate bitwise trace [ 359µs | 100.00% ] | |
[1;32mINFO [0m generate lt trace [ 4.05ms | 100.00% ] | |
[1;32mINFO [0m generate add trace [ 9.72ms | 100.00% ] | |
[1;32mINFO [0m generate FieldLTU trace [ 19.4ms | 100.00% ] | |
[1;32mINFO [0m generate CPU trace [ 94.9ms | 100.00% ] | |
[1;32mINFO [0m generate sll trace [ 26.6µs | 100.00% ] | |
[1;32mINFO [0m generate mul trace [ 100µs | 100.00% ] | |
[1;32mINFO [0m generate sub trace [ 224µs | 100.00% ] | |
[1;32mINFO [0m generate bitwise trace [ 876µs | 100.00% ] | |
[1;32mINFO [0m generate sr trace [ 4.29µs | 100.00% ] | |
[1;32mINFO [0m generate lt trace [ 2.53ms | 100.00% ] | |
[1;32mINFO [0m generate add trace [ 6.55ms | 100.00% ] | |
[1;32mINFO [0m generate FieldLTU trace [ 20.0ms | 100.00% ] | |
[1;32mINFO [0m generate CPU trace [ 94.4ms | 100.00% ] | |
[1;32mINFO [0m runtime.prove(...) [ 2.64s | 7.64% / 100.00% ] | |
[1;32mINFO [0m ┝━ i [info]: Sharding the execution record. | |
[1;32mINFO [0m ┝━ i [info]: Generating trace for each chip. | |
[1;32mINFO [0m ┝━ i [info]: Record stats before generate_trace (incomplete): ShardStats { | |
nb_cpu_events: 77489, | |
nb_add_events: 24435, | |
nb_mul_events: 99, | |
nb_sub_events: 1293, | |
nb_bitwise_events: 2779, | |
nb_shift_left_events: 198, | |
nb_shift_right_events: 4, | |
nb_divrem_events: 0, | |
nb_lt_events: 946, | |
nb_field_events: 0, | |
nb_sha_extend_events: 0, | |
nb_sha_compress_events: 0, | |
nb_keccak_permute_events: 0, | |
nb_ed_add_events: 0, | |
nb_ed_decompress_events: 0, | |
nb_weierstrass_add_events: 0, | |
nb_weierstrass_double_events: 0, | |
nb_k256_decompress_events: 0, | |
} | |
[1;32mINFO [0m ┝━ generate CPU dependencies [ 14.1ms | 0.53% ] | |
[1;32mINFO [0m ┝━ generate Ed Add trace [ 347µs | 0.01% ] | |
[1;32mINFO [0m ┝━ generate Keccak trace [ 840µs | 0.03% ] | |
[1;32mINFO [0m ┝━ generate add trace [ 4.96ms | 0.19% ] | |
[1;32mINFO [0m ┝━ generate sub trace [ 103µs | 0.00% ] | |
[1;32mINFO [0m ┝━ generate bitwise trace [ 358µs | 0.01% ] | |
[1;32mINFO [0m ┝━ generate divrem trace [ 1.71µs | 0.00% ] | |
[1;32mINFO [0m ┝━ generate mul trace [ 136µs | 0.01% ] | |
[1;32mINFO [0m ┝━ generate sr trace [ 3.12µs | 0.00% ] | |
[1;32mINFO [0m ┝━ generate sll trace [ 27.0µs | 0.00% ] | |
[1;32mINFO [0m ┝━ generate lt trace [ 1.76ms | 0.07% ] | |
[1;32mINFO [0m ┝━ generate FieldLTU trace [ 17.0ms | 0.64% ] | |
[1;32mINFO [0m ┝━ i [info]: Record stats finalized ShardStats { | |
nb_cpu_events: 77489, | |
nb_add_events: 67145, | |
nb_mul_events: 99, | |
nb_sub_events: 1293, | |
nb_bitwise_events: 2779, | |
nb_shift_left_events: 198, | |
nb_shift_right_events: 4, | |
nb_divrem_events: 0, | |
nb_lt_events: 16460, | |
nb_field_events: 185827, | |
nb_sha_extend_events: 0, | |
nb_sha_compress_events: 0, | |
nb_keccak_permute_events: 0, | |
nb_ed_add_events: 0, | |
nb_ed_decompress_events: 0, | |
nb_weierstrass_add_events: 0, | |
nb_weierstrass_double_events: 0, | |
nb_k256_decompress_events: 0, | |
} | |
[1;32mINFO [0m ┝━ i [info]: Sharding execution record by chip. | |
[1;32mINFO [0m ┝━ i [info]: Generating the shard proofs. | |
[1;32mINFO [0m ┝━ i [info]: Generating and commiting traces for each shard. | |
[1;32mINFO [0m ┝━ i [info]: num_shards=1 | |
[1;32mINFO [0m ┝━ commit main for all shards [ 342ms | 0.21% / 12.96% ] | |
[1;32mINFO [0m │ ┕━ shard commit main [ 336ms | 4.10% / 12.74% ] shard: 0 | |
[1;32mINFO [0m │ ┝━ compute all coset LDEs [ 124ms | 4.68% ] | |
[1;34mDEBUG [0m │ ┕━ build merkle tree [ 105ms | 3.96% ] dimensions: "[107x262144, 37x32768, 16x262144, 16x4096, 15x8192, 37x256, 68x8, 42x512, 35x65536, 8x256, 8x512, 8x32768, 34x524288, 20x131072]" | |
[1;32mINFO [0m ┝━ observing all challenges [ 417ns | 0.00% ] | |
[1;32mINFO [0m ┝━ compute all coset LDEs [ 118ms | 4.46% ] | |
[1;34mDEBUG [0m ┝━ build merkle tree [ 112ms | 4.25% ] dimensions: "[107x262144, 37x32768, 16x262144, 16x4096, 15x8192, 37x256, 68x8, 42x512, 35x65536, 8x256, 8x512, 8x32768, 34x524288, 20x131072]" | |
[1;32mINFO [0m ┝━ generate permutation traces [ 255ms | 9.67% ] | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: CPU | Cols = 132 | Rows = 131072 | Cells = 17301504 | Main Cols = 81.06% | Perm Cols = 18.94% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Program | Cols = 39 | Rows = 16384 | Cells = 638976 | Main Cols = 94.87% | Perm Cols = 5.13% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Add | Cols = 24 | Rows = 131072 | Cells = 3145728 | Main Cols = 66.67% | Perm Cols = 33.33% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Sub | Cols = 24 | Rows = 2048 | Cells = 49152 | Main Cols = 66.67% | Perm Cols = 33.33% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Bitwise | Cols = 21 | Rows = 4096 | Cells = 86016 | Main Cols = 71.43% | Perm Cols = 28.57% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Mul | Cols = 53 | Rows = 128 | Cells = 6784 | Main Cols = 69.81% | Perm Cols = 30.19% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: ShiftRight | Cols = 95 | Rows = 4 | Cells = 380 | Main Cols = 71.58% | Perm Cols = 28.42% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: ShiftLeft | Cols = 48 | Rows = 256 | Cells = 12288 | Main Cols = 87.50% | Perm Cols = 12.50% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Lt | Cols = 37 | Rows = 32768 | Cells = 1212416 | Main Cols = 94.59% | Perm Cols = 5.41% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: MemoryInit | Cols = 10 | Rows = 128 | Cells = 1280 | Main Cols = 80.00% | Perm Cols = 20.00% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: MemoryFinalize | Cols = 10 | Rows = 256 | Cells = 2560 | Main Cols = 80.00% | Perm Cols = 20.00% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: MemoryProgram | Cols = 10 | Rows = 16384 | Cells = 163840 | Main Cols = 80.00% | Perm Cols = 20.00% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: FieldLTU | Cols = 36 | Rows = 262144 | Cells = 9437184 | Main Cols = 94.44% | Perm Cols = 5.56% | |
[1;34mDEBUG [0m ┝━ 🐛 [debug]: Byte | Cols = 30 | Rows = 65536 | Cells = 1966080 | Main Cols = 66.67% | Perm Cols = 33.33% | |
[1;32mINFO [0m ┝━ flatten permutation traces [ 14.8ms | 0.56% ] | |
[1;32mINFO [0m ┝━ commit permutation traces [ 189ms | 0.00% / 7.17% ] | |
[1;32mINFO [0m │ ┝━ compute all coset LDEs [ 102ms | 3.86% ] | |
[1;34mDEBUG [0m │ ┕━ build merkle tree [ 87.5ms | 3.31% ] dimensions: "[100x262144, 8x32768, 32x262144, 32x4096, 24x8192, 64x256, 108x8, 24x512, 8x65536, 8x256, 8x512, 8x32768, 8x524288, 40x131072]" | |
[1;32mINFO [0m ┝━ get main ldes [ 1.17µs | 0.00% ] | |
[1;32mINFO [0m ┝━ get perm ldes [ 375ns | 0.00% ] | |
[1;32mINFO [0m ┝━ compute quotient values [ 204ms | 7.72% ] | |
[1;32mINFO [0m ┝━ decompose and flatten [ 55.3ms | 2.09% ] | |
[1;32mINFO [0m ┝━ coset shift [ 167ns | 0.00% ] | |
[1;32mINFO [0m ┝━ commit shifted batches [ 88.0ms | 0.00% / 3.33% ] | |
[1;32mINFO [0m │ ┝━ compute all coset LDEs [ 34.8ms | 1.32% ] | |
[1;34mDEBUG [0m │ ┕━ build merkle tree [ 53.2ms | 2.01% ] dimensions: "[8x262144, 8x32768, 8x262144, 8x4096, 8x8192, 8x256, 8x8, 8x512, 8x65536, 8x256, 8x512, 8x32768, 8x524288, 8x131072]" | |
[1;32mINFO [0m ┝━ compute trace opening points [ 875ns | 0.00% ] | |
[1;32mINFO [0m ┕━ open multi batches [ 1.02s | 0.00% / 38.64% ] | |
[1;32mINFO [0m ┕━ open_multi_batches [ 1.02s | 0.13% / 38.64% ] | |
[1;32mINFO [0m ┝━ compute_inverse_denominators [ 116ms | 4.38% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 78.3ms | 0.00% / 2.97% ] dims: 107x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 73.7ms | 2.79% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 4.53ms | 0.17% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 75.7ms | 0.00% / 2.87% ] dims: 107x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 71.4ms | 2.70% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 4.38ms | 0.17% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 4.23ms | 0.00% / 0.16% ] dims: 37x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.81ms | 0.14% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 409µs | 0.02% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 3.89ms | 0.00% / 0.15% ] dims: 37x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.50ms | 0.13% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 387µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 24.8ms | 0.00% / 0.94% ] dims: 16x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 22.9ms | 0.87% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.90ms | 0.07% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 18.7ms | 0.00% / 0.71% ] dims: 16x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 17.0ms | 0.64% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.76ms | 0.07% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 495µs | 0.00% / 0.02% ] dims: 16x4096 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 332µs | 0.01% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 161µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 409µs | 0.00% / 0.02% ] dims: 16x4096 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 251µs | 0.01% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 157µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 695µs | 0.00% / 0.03% ] dims: 15x8192 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 518µs | 0.02% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 175µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 710µs | 0.00% / 0.03% ] dims: 15x8192 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 504µs | 0.02% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 204µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 75.0µs | 0.00% / 0.00% ] dims: 37x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 30.0µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 43.0µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 84.3µs | 0.00% / 0.00% ] dims: 37x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 28.8µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 53.3µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 19.7µs | 0.00% / 0.00% ] dims: 68x8 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.54µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 13.9µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 21.7µs | 0.00% / 0.00% ] dims: 68x8 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.29µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 15.9µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 210µs | 0.00% / 0.01% ] dims: 42x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 61.6µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 147µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 126µs | 0.00% / 0.00% ] dims: 42x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 58.1µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 65.3µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 8.48ms | 0.00% / 0.32% ] dims: 35x65536 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 7.67ms | 0.29% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 803µs | 0.03% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 7.22ms | 0.00% / 0.27% ] dims: 35x65536 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 6.47ms | 0.25% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 741µs | 0.03% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 79.5µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 15.7µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 62.4µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 86.7µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 14.2µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 71.1µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 108µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 30.8µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 75.2µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 99.2µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 26.0µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 71.3µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 2.09ms | 0.00% / 0.08% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.80ms | 0.07% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 290µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.85ms | 0.00% / 0.07% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.50ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 344µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 76.4ms | 0.00% / 2.89% ] dims: 34x524288 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 71.3ms | 2.70% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 5.08ms | 0.19% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 72.8ms | 0.00% / 2.76% ] dims: 34x524288 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 67.9ms | 2.57% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 4.85ms | 0.18% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 12.8ms | 0.00% / 0.48% ] dims: 20x131072 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 11.6ms | 0.44% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.15ms | 0.04% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 10.3ms | 0.00% / 0.39% ] dims: 20x131072 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 9.21ms | 0.35% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.06ms | 0.04% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 73.8ms | 0.00% / 2.79% ] dims: 100x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 69.5ms | 2.63% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 4.28ms | 0.16% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 76.4ms | 0.00% / 2.89% ] dims: 100x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 72.4ms | 2.74% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 3.99ms | 0.15% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 2.16ms | 0.00% / 0.08% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.84ms | 0.07% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 312µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.88ms | 0.00% / 0.07% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.57ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 308µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 34.9ms | 0.00% / 1.32% ] dims: 32x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 32.6ms | 1.24% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 2.30ms | 0.09% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 30.7ms | 0.00% / 1.16% ] dims: 32x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 28.4ms | 1.08% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 2.23ms | 0.08% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 571µs | 0.00% / 0.02% ] dims: 32x4096 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 417µs | 0.02% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 152µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 535µs | 0.00% / 0.02% ] dims: 32x4096 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 382µs | 0.01% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 151µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 893µs | 0.00% / 0.03% ] dims: 24x8192 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 707µs | 0.03% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 184µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 808µs | 0.00% / 0.03% ] dims: 24x8192 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 645µs | 0.02% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 161µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 93.1µs | 0.00% / 0.00% ] dims: 64x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 43.2µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 46.9µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 154µs | 0.00% / 0.01% ] dims: 64x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 41.2µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 110µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 23.4µs | 0.00% / 0.00% ] dims: 108x8 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 4.79µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 15.0µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 22.7µs | 0.00% / 0.00% ] dims: 108x8 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 4.83µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 14.3µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 169µs | 0.00% / 0.01% ] dims: 24x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 46.5µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 120µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 140µs | 0.00% / 0.01% ] dims: 24x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 42.3µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 96.0µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 3.95ms | 0.00% / 0.15% ] dims: 8x65536 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.44ms | 0.13% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 508µs | 0.02% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 3.49ms | 0.00% / 0.13% ] dims: 8x65536 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 2.96ms | 0.11% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 528µs | 0.02% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 67.1µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 14.8µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 50.6µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 55.9µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 13.9µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 40.3µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 75.8µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 27.4µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 47.0µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 90.8µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 25.6µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 63.7µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.85ms | 0.00% / 0.07% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.55ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 296µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.81ms | 0.00% / 0.07% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.49ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 319µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 34.5ms | 0.00% / 1.31% ] dims: 8x524288 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 31.5ms | 1.19% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 3.03ms | 0.11% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 27.9ms | 0.00% / 1.06% ] dims: 8x524288 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 24.8ms | 0.94% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 3.06ms | 0.12% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 18.6ms | 0.00% / 0.70% ] dims: 40x131072 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 17.3ms | 0.66% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.27ms | 0.05% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 15.3ms | 0.00% / 0.58% ] dims: 40x131072 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 13.9ms | 0.53% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.31ms | 0.05% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 17.1ms | 0.00% / 0.65% ] dims: 8x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 15.4ms | 0.58% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.71ms | 0.06% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.99ms | 0.00% / 0.08% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.68ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 313µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 16.7ms | 0.00% / 0.63% ] dims: 8x262144 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 15.1ms | 0.57% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 1.60ms | 0.06% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 375µs | 0.00% / 0.01% ] dims: 8x4096 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 219µs | 0.01% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 155µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 555µs | 0.00% / 0.02% ] dims: 8x8192 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 398µs | 0.02% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 156µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 43.3µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 15.6µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 25.9µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 41.0µs | 0.00% / 0.00% ] dims: 8x8 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.46µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 37.7µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 75.9µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 30.4µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 43.8µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 4.05ms | 0.00% / 0.15% ] dims: 8x65536 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 3.58ms | 0.14% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 476µs | 0.02% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 43.0µs | 0.00% / 0.00% ] dims: 8x256 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 14.2µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 27.4µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 77.4µs | 0.00% / 0.00% ] dims: 8x512 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 30.8µs | 0.00% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 45.2µs | 0.00% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 1.92ms | 0.00% / 0.07% ] dims: 8x32768 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 1.60ms | 0.06% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 321µs | 0.01% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 34.3ms | 0.00% / 1.30% ] dims: 8x524288 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 31.1ms | 1.18% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 3.17ms | 0.12% ] | |
[1;32mINFO [0m ┝━ reduce matrix quotient [ 8.49ms | 0.00% / 0.32% ] dims: 8x131072 | |
[1;32mINFO [0m │ ┝━ compute opened values with Lagrange interpolation [ 7.55ms | 0.29% ] | |
[1;32mINFO [0m │ ┕━ reduce rows [ 938µs | 0.04% ] | |
[1;32mINFO [0m ┕━ FRI prover [ 83.8ms | 0.03% / 3.17% ] | |
[1;32mINFO [0m ┝━ commit phase [ 66.7ms | 0.23% / 2.53% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 11.1ms | 0.42% ] dimensions: "[8x262144]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 17.1ms | 0.65% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 5.45ms | 0.21% ] dimensions: "[8x131072]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 8.43ms | 0.32% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 2.78ms | 0.11% ] dimensions: "[8x65536]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 4.27ms | 0.16% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 1.79ms | 0.07% ] dimensions: "[8x32768]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 2.13ms | 0.08% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 1.24ms | 0.05% ] dimensions: "[8x16384]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 1.14ms | 0.04% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 883µs | 0.03% ] dimensions: "[8x8192]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 505µs | 0.02% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 890µs | 0.03% ] dimensions: "[8x4096]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 253µs | 0.01% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 488µs | 0.02% ] dimensions: "[8x2048]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 132µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 386µs | 0.01% ] dimensions: "[8x1024]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 72.2µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 327µs | 0.01% ] dimensions: "[8x512]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 34.9µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 312µs | 0.01% ] dimensions: "[8x256]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 18.2µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 279µs | 0.01% ] dimensions: "[8x128]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 9.88µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 178µs | 0.01% ] dimensions: "[8x64]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 5.75µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 209µs | 0.01% ] dimensions: "[8x32]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 3.42µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 99.0µs | 0.00% ] dimensions: "[8x16]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 2.04µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 51.2µs | 0.00% ] dimensions: "[8x8]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 1.54µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 55.4µs | 0.00% ] dimensions: "[8x4]" | |
[1;34mDEBUG [0m │ ┝━ fold_even_odd [ 1.38µs | 0.00% ] | |
[1;34mDEBUG [0m │ ┝━ build merkle tree [ 25.5µs | 0.00% ] dimensions: "[8x2]" | |
[1;34mDEBUG [0m │ ┕━ fold_even_odd [ 1.12µs | 0.00% ] | |
[1;32mINFO [0m ┝━ grind for proof-of-work witness [ 16.0ms | 0.61% ] | |
[1;32mINFO [0m ┕━ query phase [ 411µs | 0.02% ] | |
[1;32mINFO [0m i [info]: cycles=77489, e2e=2652, khz=29.22, proofSize=1.20 MiB | |
a: 218922995834555169026 | |
b: 354224848179261915075 | |
[1;32mINFO [0m observe challenges for all segments [ 708ns | 100.00% ] | |
[1;32mINFO [0m verifying segment [ 64.2ms | 100.00% ] segment: 0 | |
succesfully generated and verified proof for the program! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment