跨链 DeFi 借贷平台 Kava Labs 已经通过 CertiK 对 Harvest 模块的代码系统举办了审计，乐成验证了应用的可信度。
• 评估代码库，以确保切合当前的最佳做法和行业尺度；
 “这是 Kava 第三次将其智能合约的完整性委托给 CertiK 。最新的审计功效展示了 Kava 专业级的代码质量，并展示了其对现代行业尺度的理睬。作为值得信赖的区块链安详处事商，我们很兴奋能继承与 Kava Labs 保持一连的相助干系。”—— CertiK 专业处事全球认真人 Yvan Nasr 
Kava 是一个金融处事和应用的跨链 DeFi Hub 。基于 Cosmos-SDK 构建的 Kava 区块链具有互操纵性，可以或许在遍及的加密网络中为用户提供金融处事和应用。
用户的资金安详是第一位的。通过这个正式的审计是我们的最后一步，让我们有信心 Harvest 的代码不只切合我们的尺度，并且逾越了更遍及的 DeFi 行业的尺度。”——  Kava Labs CEO Brian Kerr 
Kava 是一个基于 Cosmos SDK 搭建的多资产、可互操纵的 DeFi 平台，可以提供抵押贷款和不变币 USDX 。
Harvest.io 全面审计共完成4项提交，所有提交都是资料性的，在所审查的合约中没有发明重大或要害问题。
CertiK 每一次审计都应用了差异的方法和检测要领，从手动、静态和动态阐明，以确保项目针对已知进攻和潜在裂痕举办查抄。CertiK 依靠履历富厚的工程师和安详审计师团队，在项目上应用测试要领和验证，建设了一个越发安详和强大的软件系统。
Kava Labs 团队在落实 CertiK 团队提出的发起时，揭示了专业的精力和高贵的协作精力，可以或许确保其对即将上线的平台的信心。
• 针对常见和不常见的进攻载体测试智能合约；
• 通过对整个代码库的逐行人工审查。
值得留意的发起
 “很兴奋能与拥有高尺度的审计团队 CertiK 相助，配合完成 Harvest 的跨链钱币市场模块审计。Harvest 将在一上线就处理惩罚数百万美元的资金，所以我们必需让它通过强大的测试和审计。
• 确保合约逻辑切合客户规格和利用意图；
CertiK 是一家以技能为主导的区块链安详公司，由耶鲁大学和哥伦比亚大学的计较机科学传授创建，旨在证明智能合约和区块链协议的安详性和正确性。
CertiK 操作动态阐明、静态阐明和人工审查技能对 Harvest.io 举办了全面的查抄。审计进程中出格留意了以下几点：
另外，为了确保 Harvest 智能合约的可信度，同时只管淘汰在合约中发明的非存心状态行为的大概性，审计团队阐明白状态机的界说，同时监控由动静触发的状态转换行为。
用况简介
• 将合约布局和执行环境与行业领先者搭建的同类智能合约举办比较；
思量到 Harvest 是基于 Cosmos SDK 的模块设计， CertiK 的工程师凭据 Cosmos SDK 的官方指南，仔细查抄了范畴内的模块。
Harvest.io 是世界上首个跨链钱币市场，也是首批搭建在 Kava DeFi Hub 的应用之一。Harvest 使加密用户可以或许利用主流举办借贷和赚取收益。
关于 CertiK
关于 Kava
在币安等金融科技巨头的支持下，， Kava 正在通过首款应用 Harvest.io 扩大市场影响力，这是一个跨链钱币市场产物，它将操作 Kava DeFi 的架构毗连更遍及的资产和。
最后，两边以彼此透明的方法对每个案例举办了叙述，完整的审计陈诉可以在此进一步接管公共审查：https://shield.certik.foundation/vendors/kava

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。