Certora wins Canton Foundation grant for blockchain verification

What's the deal? Certora, a blockchain security firm specialising in formal verification, has won a grant from the Canton Foundation to bring trust and verification tools to multi-party systems built on the Canton network. The grant was announced on May 21.

Certora's technology uses mathematical proofs to verify that smart contracts behave as intended — a critical safeguard in decentralised systems where multiple parties transact without a central authority.

Why now? As blockchain adoption expands into institutional finance and complex multi-party workflows, the need for rigorous verification has grown. Canton, a privacy-enabled blockchain designed for institutional use, is positioning itself as infrastructure for regulated industries where trust between participants is paramount.

Formal verification is increasingly seen as a necessity rather than a luxury, especially after high-profile smart contract exploits cost the crypto industry billions in recent years.

What could go wrong? Formal verification is powerful but not a silver bullet. It can prove code works as specified — but if the specification itself is flawed, vulnerabilities can still slip through. The complexity of multi-party systems also makes comprehensive verification harder to achieve.

The signal: This grant reflects a broader trend: blockchain infrastructure projects are investing in security tooling before problems arise, rather than after. As institutional players demand enterprise-grade assurance, verification firms like Certora are becoming essential partners in the ecosystem's maturation.

Read more: coinmarketcap.com