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.... Read More: Stellar Partners With Certora for Security Checks on Soroban Smart Contracts