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

GitHub

GitHub - starkware-bitcoin/askeladd: Powering Verifiable Computation for Nostr Data Vending Machines.

Powering Verifiable Computation for Nostr Data Vending Machines. - starkware-bitcoin/askeladd