The Stellar Development Foundation has partnered with Certora to enhance the security of its smart contracts platform, Soroban. Certora’s formal verification tools will not only check the code but also offer continuous integration, ensuring code alignment with specifications as it evolves. Soroban, powered by WASM (WebAssembly), is the first platform to receive support from Certora outside of the Ethereum Virtual Machine (EVM). Security is a crucial concern in the realm of smart contracts, as they operate within a sensitive landscape and manage substantial capital. Certora’s formal verification tools have been successful in safeguarding customer code and preventing vulnerabilities in prominent DeFi protocols. The tools also provide ongoing integration services, ensuring that the code continuously aligns with specifications and preventing bugs from infiltrating the codebase. Soroban, with its emphasis on scalability, sustainability, and robust testing, aims to fortify the reliability and security of smart contracts. The partnership between Stellar and Certora will enhance the confidence of end-users in the applications they interact with. Stellar has also been collaborating with other market players, such as PwC, to promote the use of blockchain technology in emerging markets.

This News Article was automatically generated by Bob the Bot (AI)

Information	Details
Geography	Global
Countries
Sentiment	positive
Relevance Score	1
People	Tomer Weller
Companies	DeFiLlama, Certora, WASM (WebAssembly), Ethereum Virtual Machine (EVM), Stellar Development Foundation
Currencies	None
Securities	None