区快洞察消息，跨链 DeFi 借贷平台 Kava Labs 已经通过 CertiK 对 Harvest 模块的代码系统进行了审计，成功验证了应用的可信度。CertiK 利用动态分析、静态分析和人工审查技术对 Harvest.io 进行了全面的检查。审计过程中特别注意了以下几点： 针对常见和不常见的攻击载体测试智能合约；评估代码库，以确保符合当前的最佳做法和行业标准；确保合约逻辑符合客户规格和使用意图；将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照；通过对整个代码库的逐行人工审查。Harvest.io 全面审计共完成 4 项提交，所有提交都是资料性的，在所审查的合约中没有发现重大或关键问题。