We’ve been using Certora for smart contract code verification. For me, it’s really amazing to see effective code verification can be (on small and important cod

We’ve been using Certora for smart contract code verification. For me, it’s really amazing to see effective code verification can be (on small and important code routines). Over time, I expect code verification to overtake unit testing for core (pure) code modules.