I more than checked hehe.

I did a prototype with a Nostr DVM using STWO to prove the result of a Fibonacci.

https://github.com/AbdelStark/askeladd