Stellar Partners With Certora for Security Checks on Soroban Smart Contracts

cryptonews.com:

The Stellar Development Foundation (SDF) has announced its initiation of security checks for Soroban, the advanced smart contract platform within the Stellar network. This is in anticipation of Soroban's launch.

To carry out these comprehensive security audits, SDF has teamed up with Certora, a renowned security firm known for its formal verification tools, according to an official press release.

This collaboration underscores the critical need for rigorous security assessments in blockchain, where minor loopholes can lead to considerable losses. 

Furthermore, smart contracts, which automate actions and workflows on blockchain networks, are highly susceptible to attacks. Hence, they require robust security protocols to mitigate potential risks.

Certora ​​helps developers identify and prevent security flaws in their smart contracts before the code is deployed. It does this by identifying violations of rules that shouldn't be broken in smart contracts. 

So far, Certora has prevented bugs in SushiSwap's Trident liquidity pool, Aave, Compound, and Balancer. Last year, the security firm raised $36M in a Series B round led by Jump Crypto. 

Mooly Sagiv, CEO of Certora, explained in the press release:

"One of the lessons learned from our experience in DeFi is that tools and auditing come too late in the development process. This oversight increases software costs and leads to bugs being detected only after vulnerabilities have been exploited. Certora's tools can help developers write specifications before the code is complete to ensure safe, reliable applications. We are excited to join the Soroban ecosystem."

Stellar emphasized in the announcement that Soroban represents a new era of smart contracts, emphasizing scalability,