Worthwhile

Bank AI

Foundation

Security

Stellar

<![CDATA[<figure class="image"><img src="https://cimg.co/news/126282/333456/stellar-development-foundation.jpg" alt="" srcset="https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_1920_716.jpg 1920w, https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_1200_448.jpg 1200w, https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_900_336.jpg 900w, https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_720_269.jpg 720w, https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_600_224.jpg 600w, https://cimg.co/news/126282/333456/responsive-images/stellar-development-foundation___media_library_original_300_112.jpg 300w" sizes="100vw" width="1920" class="content-img"><figcaption>Source: Stellar</figcaption></figure>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 <a href="https://stellar.org/press/a-milestone-in-smart-contract-security-certora-teams-up-with-the-stellar-network-s-smart-contract-platform-soroban">official press release</a>.This collaboration underscores the critical need for rigorous security assessments in blockchain, where minor loopholes can lead to considerable losses.&nbsp;<figure class="media"><oembed url="https://twitter.com/StellarOrg/status/1712142555557880172?s=20"></oembed></figure>Furthermore, <a href="https://cryptonews.com/exclusives/pwc-forecasts-smart-contracts-as-future-replacement-for-traditional-contracts.htm">smart contracts</a>, which automate actions and workflows on blockchain networks, are highly susceptible to attacks. Hence, they require robust security protocols to mitigate potential risks.Certora &#8203;&#8203;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.&nbsp;So far, Certora has prevented bugs in SushiSwap's <a href="https://medium.com/certora/exploiting-an-invariant-break-how-we-found-a-pool-draining-bug-in-sushiswaps-trident-585bd98a4d4f">Trident</a> liquidity pool, Aave, Compound, and Balancer. Last year, the security firm raised $36M in a Series B round led by Jump Crypto.&nbsp;Mooly Sagiv, CEO of Certora, explained in the press release:<blockquote>"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."</blockquote><a href="https://cryptonews.com/news/it-too-late-buy-stellar-xlm-price-blasts-up-12-innovative-startup-can-find-next-crypto-explode.htm">Stellar</a> emphasized in the announcement that Soroban represents a new era of smart contracts, emphasizing scalability, sustainability, and rigorous testing.&nbsp;Soroban leverages WASM, an adaptable binary code format ideal for blockchain settings.&nbsp;This facilitates compatibility with various programming languages and tools, streamlining the process for developers to construct applications on the Stellar network.&nbsp;In addition, Certora's formal verification capabilities will empower Soroban platform developers and help them guarantee the trustworthiness and security of their smart contracts.&nbsp;This will also instill users with heightened confidence in the applications they engage with.<h2 id="a-worthwhile-partnership">A Worthwhile Partnership</h2>Besides developing a formal verification tool for Soroban, Certora's security team will also participate in the Soroban Audit Bank Initiative.<figure class="media"><oembed url="https://twitter.com/SorobanOfficial/status/1706596218682421367?s=20"></oembed></figure>&nbsp;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.&nbsp;By addressing potential vulnerabilities, the SDF is taking the necessary steps to ensure that Soroban's launch is as smooth and secure as possible.
]]>

Stellar Partners With Certora for Security Checks on Soroban Smart Contracts

Table of Contents

Cryptonews.com

Other articles published on Oct 11, 2023

3 Notable Bluzelle Whales to Monitor for Potential BLZ Shorting

Bluezelle (BLZ): Whale Activity and Potential Price Impact

Boeing Stock Price Slips Below $200, Time to Accumulate BA Stock?

Three Altcoins With Rising Potential Despite Recent Market Declines

Bitfinex Parent to Buy Back $150 Million in Shares for Hack Victims

5 Ways Artificial Intelligence Benefits Society

Join our free newsletter for daily crypto updates!