Why don't you code in assembly?

 

fibs thread? fibs thread.

Prove the following:

f_n² + f_n+1² = f_2n+1

And then use its correctness to write an O(log(n)) fibs algorithm.

Then implement it as compactly as possible in assembly.