https://www.bitrates.com/news/p/mathematical-verification-platform-certik-gets-neo-global-capital-to-go-all-in