Proving SP1's Fibonacci example in a Kinode process.
Install and Quickstart SP1 up to and including Build Program.
To generate the proof inside of Kinode:
# Terminal 1: Start a fake Kinode
kit f
# Terminal 2: Prove it
kit bs prove_fib
You should see your fake Kinode print something like:
Thu 2/15 15:01 prove_fib: begin
Thu 2/15 15:01 a: 2081405077
Thu 2/15 15:01 b: 315178285
Thu 2/15 15:01 succesfully generated and verified proof for the program!