来源：恒星币
恒星币发展基金会（SDF）宣布启动对恒星币网络内先进智能合约平台 Soroban 的安全检查。 这是 Soroban 推出的预期。
据官方新闻稿称，为了进行这些全面的安全审计，SDF 与 Certora 合作，Certora 是一家以其形式验证工具而闻名的著名安全公司。
此次合作强调了对区块链进行严格安全评估的迫切需要，其中微小的漏洞可能会导致巨大的损失。
推荐阅读 1Avalanche 的 Cortina 12 升级提高了区块链效率
2小时前 2比特币 Minetrix 接近 100 万美元里程碑，投资者在价格上涨之前纷纷涌向高 APY 和云挖矿 – 距价格上涨仅剩 5 天
2小时前此外，在区块链网络上自动执行操作和工作流程的智能合约非常容易受到攻击。 因此，他们需要强大的安全协议来减轻潜在风险。
Certora 帮助开发人员在部署代码之前识别并防止智能合约中的安全缺陷。 它通过识别智能合约中不应违反的规则来实现这一点。
到目前为止，Certora 已经阻止了 SushiSwap 的 Trident 流动性矿池、Aave、Compound 和 Balancer 中的错误。 去年，这家安全公司在由 Jump 加密货币领投的 B 轮融资中筹集了 3600 万美元。
Certora 首席执行官 Mooly Sagiv 在新闻稿中解释道：
“我们从 DeFi 的经验中吸取的教训之一是，工具和审计在开发过程中来得太晚。这种疏忽增加了软件成本，并导致只有在漏洞被利用后才发现错误。Certora 的工具可以帮助开发人员在开发之前编写规范。代码完整，可确保应用程序安全、可靠。我们很高兴加入 Soroban 生态系统。”
Stellar在公告中强调，Soroban代表了智能合约的新时代，强调可扩展性、可持续性和严格的测试。
Soroban 利用 WASM，这是一种适应性强的二进制代码格式，非常适合区块链设置。
这有助于与各种编程语言和工具的兼容性，简化开发人员在恒星币网络上构建应用程序的过程。
此外，Certora的形式化验证能力将为Soroban平台开发者赋能，帮助他们保证智能合约的可信性和安全性。
这也将使用户对他们所使用的应用程序充满信心。
有价值的合作伙伴
除了为 Soroban 开发正式验证工具外，Certora 的安全团队还将参与 Soroban 审计银行计划。
他们将投入时间和资源来教育 Soroban 社区如何利用这项新颖的服务。
Stellar 对 Soroban 进行安全检查和审计的主动方法表明了其致力于提供安全可靠的智能合约平台的承诺。
通过解决潜在的漏洞，SDF 正在采取必要的措施，以确保 Soroban 的发射尽可能顺利和安全。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
