Halborn 审计总结
Rover 团队与 Halborn 成功完成了第三次智能合约安全评估。Rover 的代码经过了安全漏洞、设计问题和一般安全弱点的审核。
关于 Halborn
Halborn是一家屡获殊荣的区块链组织网络安全精英公司。他们是一家声誉卓著的合作伙伴，能够持续评估组织最重要的资产，节省开发生命周期的时间，并在每一步都提供世界一流的网络安全咨询和评估--远远超出智能合约的范围。
Halborn 于 2019 年由著名道德黑客 Steven Walbroehl 和成长黑客 Rob Behnke 创立。从那时起，这个完全远程的组织已经发展到拥有 100 多名世界上最优秀、最聪明的进攻型安全工程师。他们的团队是 100% 的远程多元化团队，分布在纽约、迈阿密、西班牙、秘鲁、土耳其、匈牙利、印度、波兰、法国等地。
Halborn 审计技术说明
审核过程从代码准备和启动代码冻结开始，以保证结果的准确性。我们提供文档和代码测试，帮助 Halborn 进行审核。审计包括对逻辑、单元和集成测试的逐行人工审查，以及针对合同运行一个名为Slither的独特测试系统。Slither可以静态验证Solidity变量之间的数学关系，以检测整个代码库中合同API的无效或不一致使用。
审计结果
支撑 Rover 包裹代币的智能合约已经成功完成了Halborn严格的安全审计。审计没有发现高危或关键漏洞，Halborn 团队在推出 Rover's Wrapped Tokens 之前积极识别了潜在风险。他们的努力增强了我们的持续集成和持续部署管道。
Rover公司联合创始人大卫-马斯（David Mass）说："Rover公司与Halborn公司合作，对我们即将推出的rovBTC代币的智能合约进行评估。该团队进行了广泛的代码审查和审计，没有发生任何意外。我们认真对待审计，哈伯恩的专业知识帮助我们发布优先考虑安全性的产品。我们还进行了其他几次审核，Halborn 是本轮审核的最后一次。我们期待着今后继续保持合作关系。
在 Rover，安全是重中之重。虽然 Rover 的智能合约组件保持了简单性，但我们对审核的重视丝毫未变。
令人欣慰的是，Halborn 安全评估没有发现任何严重的安全问题。
欲了解报告全文，请访问 Halborn 的 GitHub 页面
我们离主网又近了一步
由 Halborn 进行的第三次审计标志着我们的成就和代码库的发展。与 Trail of Bits 一起进行的第一次审计主要检查了核心合约的稳固性和安全性。Zellic 审计确保您（用户）受到保护，并在我们在主网上发布后享受无缝体验。最后，Halborn 审核将对代码进行测试，以便在发布前找到任何遗留的错误或修复功能。
总结
我们认识到，在瞬息万变的 DeFi 世界中，选择对 BTC 进行液体抵押可能令人望而生畏。然而，Rover 对安全智能合约的承诺和众多第三方安全审计，使我们成为了寻求收益的储户的一个有前途的途径，同时也为 OG 链的健康安全做出了贡献。
欢迎来到加密货币（和比特币）历史上最重要的发展之一的开端。加入我们的社交网络，了解最新消息！请继续关注我们宣布的另一项审计！