Loading...
Stellar, in collaboration with Certora, has announced a new partnership to enhance the security of the Soroban smart contracts platform. This initiative marks the first time Certora will bring automatic formal verification to a Rust/WASM-powered project. The partnership aims to ensure the integrity and reliability of the Soroban ecosystem. The announcement comes as Code4rena releases its audit report for Ondo Finance, highlighting four unique medium-risk findings. The report credits @c3ph_, @adrianromero, and @0xcatellatech as top authors. In other news, OpenZeppelin completes a successful smart contract audit for Evelon App, making the full audit report publicly accessible on their leaderboard. Additionally, Eli Ben Sasson, co-founder of StarkWare, provides insights into the journey of STARKs, a technology that enables the scalability and integrity of Ethereum.
The STARKs journey turned math that was purely theoretical into a practical technology that allows everyone to prove and enforce integrity and scale Ethereum. @EliBenSasson walks us through this journey, step by step. https://t.co/C86bHQWCbD https://t.co/T3Wpqe7Ozd
The report is in for @OndoFinance's audit with Code4rena π Findings summary: High risk: 0 Medium risk: 4 unique (27 total) π€Β Congrats to the top report authors: @c3ph_ (Gas), @adrianromero (QA) and @0xcatellatech (Analysis) Read more β‘οΈ https://t.co/lHeeiz8lyV
π Exciting News! π We've just wrapped up a successful #SmartContractAudit for @EvelonApp. π In line with our dedication to transparency, we've made the full audit report publicly accessible on our leaderboard. Check it out: https://t.co/1SEBlTCfbI π»π» https://t.co/7udlYd3RUX
Congratulations @CertoraInc on announcing security support for Soroban for the first time, @StellarOrg's Rust/WASM #smartcontract platform. Certora will verify Soroban & make it available to the 100+ projects building on it via an audit bank. Read more: https://t.co/tvQFPS4rv1
OpenZeppelin Security Research is proud to announce our audit of Venus Prime, in collaboration with @VenusProtocol. Read the full report here : https://t.co/Sn48eVZhfW
The Stellar Development Foundation introduces Soroban, a secure smart contract platform currently in its testnet phase. https://t.co/KI7b06QrHE
We are excited to announce a new partnership with @StellarOrg to help secure the @SorobanOfficial ecosystem. This initiative is the first time Certora will bring the power of automatic formal verification to a Rust/WASM-powered project. Here's why Soroban devs should care π https://t.co/YQMyjqZeNp
Stellar conducts security checks for upcoming smart contracts platform Soroban https://t.co/cVHqUdUtGL