Security Certora Expands Security Tools for CantonMay 25, 2026 Certora, a Web3 security assurance platform focused on smart contract verification, received a grant of 2.01 million Canton Coin, worth…