Stellar Partners With Certora for Security Checks on Soroban Smart Contracts

Last updated:
Author
Author
Jimmy Aki
About Author

Jimmy has nearly 10 years of experience as a journalist and writer in the blockchain industry. He has worked with well-known publications such as Bitcoin Magazine, CCN, and Blockonomi, covering news...

Last updated:
Why Trust Cryptonews
Cryptonews has covered the cryptocurrency industry topics since 2017, aiming to provide informative insights to our readers. Our journalists and analysts have extensive experience in market analysis and blockchain technologies. We strive to maintain high editorial standards, focusing on factual accuracy and balanced reporting across all areas - from cryptocurrencies and blockchain projects to industry events, products, and technological developments. Our ongoing presence in the industry reflects our commitment to delivering relevant information in the evolving world of digital assets. Read more about Cryptonews
Source: Stellar

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, sustainability, and rigorous testing. 

Soroban leverages WASM, an adaptable binary code format ideal for blockchain settings. 

This facilitates compatibility with various programming languages and tools, streamlining the process for developers to construct applications on the Stellar network. 

In addition, Certora’s formal verification capabilities will empower Soroban platform developers and help them guarantee the trustworthiness and security of their smart contracts. 

This will also instill users with heightened confidence in the applications they engage with.

A Worthwhile Partnership

Besides developing a formal verification tool for Soroban, Certora’s security team will also participate in the Soroban Audit Bank Initiative.

 They will dedicate time and resources to educating the Soroban community about utilizing this novel service.

Stellar’s proactive approach to conducting security checks and audits for Soroban demonstrates its commitment to providing a secure and reliable smart contract platform. 

By addressing potential vulnerabilities, the SDF is taking the necessary steps to ensure that Soroban’s launch is as smooth and secure as possible.

More Articles

Altcoin News
Further Punishment Awaits South Korean Civil Servant Who Stole $416k to Buy Crypto
Tim Alper
Tim Alper
2025-02-17 03:00:00
Cryptonews Reports
Lawyer Confirms US Has Dropped Vinnik Case, Client ‘Has a Clean Slate’
Tim Alper
Tim Alper
2025-02-16 23:30:00
Crypto News in numbers
editors
Authors List + 66 More
2M+
Active Monthly Users Around the World
250+
Guides and Reviews Articles
8
Years on the Market
70
International Team Authors