与Certora合作的出色合作伙伴对Soroban Smart Contracts进行安全检查
与Certora合作伙伴与Soroban Smart Contractsource进行安全检查：Stellarthe Stellar Development Foundation（SDF）宣布启动其Soroban的安全检查，ADV
与Certora合作的出色合作伙伴对Soroban Smart Contracts进行安全检查
资料来源：出色
Stellar Development Foundation（SDF）宣布启动其对Stellar网络中高级智能合约平台Soroban的安全检查。这是因为索罗班的发布。
根据官方新闻稿，为了进行这些全面的安全审计，SDF与著名的安全公司Certora合作，以其正式验证工具而闻名。
这种合作强调了对区块链严格安全评估的关键需求，在这种情况下，小漏洞会导致巨大的损失。
此外，在区块链网络上自动化动作和工作流程的智能合约非常容易受到攻击。因此，它们需要强大的安全协议来减轻潜在的风险。
Certora帮助开发人员在部署代码之前识别并防止其智能合约中的安全缺陷。它通过确定对智能合约中不应破坏规则的违规行为来做到这一点。
到目前为止，Certora阻止了Sushiswap的Trident流动性池，AAVE，化合物和平衡器中的虫子。去年，这家安全公司筹集了3600万美元的B系列赛，由Jump Crypto领导。
Certora首席执行官Mooly Sagiv在新闻稿中解释说：
“从我们在Defi方面的经验中学到的经验之一是，工具和审计在开发过程中为时已晚。这种监督增加了软件成本，并且只有在利用漏洞后才能检测到错误。Certora的工具可以帮助开发人员在之前的编写规格，以前该代码已完成以确保安全，可靠的应用程序。我们很高兴能加入Soroban生态系统。”
Stellar在宣布的消息中强调说，Soroban代表了智能合约的新时代，强调可扩展性，可持续性和严格的测试。SorobanLeverages WASM是一种适应性的二进制代码格式，非常适合区块链设置。
这有助于与各种编程语言和工具的兼容性，从而简化了开发人员在Stellar网络上构建应用程序的过程。
此外，Certora的正式验证功能将增强Soroban平台开发人员的能力，并帮助他们确保其智能合约的可信度和安全性。
这也将向用户灌输对与其访问的应用程序的信心。
有价值的合作伙伴关系
除了为Soroban开发正式验证工具外，Certora的安全团队还将参加Soroban Audit Bank计划。
他们将花费时间和资源来教育索比人社区利用这项新型服务。
Stellar对Soroban进行安全检查和审核的积极主动方法表明了其对提供安全可靠的智能合同平台的承诺。
通过解决潜在的漏洞，SDF正在采取必要的步骤，以确保Soroban的发射尽可能平稳和安全。
原创文章，作者：乐观兔，如若转载，请注明出处：https://www.53moban.com/10452.html
