Stellar conducts security checks for upcoming smart contracts platform Soroban

Quick Take

  • Stellar’s development team is starting security checks for its upcoming smart contracts platform, Soroban.
  • Stellar partnered with the security firm Certora to carry out the audits.

The development foundation behind the Stellar XLM + blockchain has announced comprehensive security checks for its forthcoming smart contracts platform, Soroban.

It has entered into a partnership with the security firm Certora, known for its formal verification tooling, to conduct these security audit checks.

Soroban, currently live on testnet, will give developers a new mechanism to deploy smart contracts, broadening the ecosystem of applications built on the Stellar blockchain. The platform leverages WebAssembly (WASM) — a binary-code format tailored for traditional web and blockchain integrations.

Considering the adversarial blockchain environment where even minor code vulnerabilities can lead to major setbacks, Stellar confirmed the implementation of rigorous security checks was necessary. Owing to their transparent and immutable characteristics, smart contracts necessitate stringent security measures to ward off potential threats.

The Stellar Development Foundation stated it will employ Certora’s formal verification tools, which surpass a mere one-time code inspection and provide a continuous integration service. When code is modified, it aligns with the specifications. This approach is designed to consistently keep bugs and vulnerabilities out of the codebase.

“Certora’s support of Soroban will equip the over 100 projects already in development on the platform with state-of-the-art verification tools to ensure software integrity,” said Tomer Weller, VP of Product at the Stellar Development Foundation. “Together with the intrinsic testing and security features of Soroban, developers have the tools required to bypass previous vulnerabilities and set the foundation for a secure DeFi ecosystem from its inception.”


Keep up with the latest news, trends, charts and views on crypto and DeFi with a new biweekly newsletter from The Block's Frank Chaparro

By signing-up you agree to our Terms of Service and Privacy Policy
By signing-up you agree to our Terms of Service and Privacy Policy

Stellar blockchain

Co-founded in 2014 by Jed McCaleb and Joyce Kim, Stellar is an open-source blockchain protocol enabling swift cross-border transactions.

Originally, Stellar functioned on a system akin to Ripple since it was conceptualized as a fork. However, facing challenges and driven by the aspiration for a distinctive solution, Stellar introduced a completely revamped codebase with a renewed consensus mechanism termed the Stellar Consensus Protocol (SCP).

Though Stellar has supported smart contracts in the past, the core team has been progressively focusing on developing Soroban as general-purpose and developer-friendly platform to deploy WASM-based high-performance dapps. The mainnet launch of Soroban is expected by early next year.

© 2023 The Block. All Rights Reserved. This article is provided for informational purposes only. It is not offered or intended to be used as legal, tax, investment, financial, or other advice.

About Author

Vishal Chawla is The Block’s crypto ecosystems editor and has spent over six years covering tech protocols, cybersecurity, artificial intelligence and cloud computing. Vishal likes to delve deep into blockchain intricacies to ensure readers are well-informed about the continuously evolving crypto landscape. He is also a staunch advocate for rigorous security practices in the space. Before joining The Block, Vishal held positions at IDG ComputerWorld, CIO, and Crypto Briefing. He can be reached on Twitter at @vishal4c and via email at [email protected]


To contact the editor of this story:
James Hunt at
[email protected]