Skip to content

Instantly share code, notes, and snippets.

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