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](https://github.com/starkware-libs/cairo-lang ) (I'd recommend reading https://medium.com/starkware/hello-cairo-3cb43b13b209 ).
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 ).