> there is no real formal verification process for smart contracts Not following here, instead of process you mean no requirement to do so? The process is pret

> there is no real formal verification process for smart contracts Not following here, instead of process you mean no requirement to do so? The process is pretty clear and simple, there's a few different frameworks being built for smart contract formal verification along with the traditional methods working fine. What was the last bit of code you wrote or used that was formally verified? https://sci-hub.se/https://ieeexplore.ieee.org/document/8905010 https://sci-hub.se/https://ieeexplore.ieee.org/document/8905...