A bit different verification and use case

[dumblob]

This is no bug. It's just a note to let potentially interested parties know, there are cool verification use cases in DeFi - see e.g. Cairo (I'd recommend reading https://medium.com/starkware/hello-cairo-3cb43b13b209 ).

[rigille]

that seems interesting, I'll need to read more to understand it