要闻
您现在的位置:首页 > 要闻 > Kava Labs 通过第三次 CertiK 审计,验证 Harvest.io 的可信度
  • 浑水协助Wolfpack做空爱奇艺(IQ.US) 看空报告全文来了

    浑水协助Wolfpack做空爱奇艺(IQ.US) 看空报告全文来了

    发布时间:2020/04/08

    本文来源“腾讯网”。 划重点:1.两家中国广告公司向我们提供了爱奇艺(IQ.US)后端系统的数据,这些数据显示,从2019年9月开始,爱奇艺的实际移动DAU比该公司在2019年10月宣称的1.75亿平均移动DAU低了60.3%。2.大约3...

  • 华尔街大佬巴鲁克:特斯拉(TSLA.US)目标股价达600美元,仍有18%上行空间

    华尔街大佬巴鲁克:特斯拉(TSLA.US)目标股价达600美元,仍有18%上行空间

    发布时间:2020/04/08

    本文来自“腾讯证券”。 在券商杰富瑞(Jefferies)将特斯拉评级从“持有”上调到“买入”后,特斯拉(TSLA.US)在周一收盘上涨逾7.5%。上周五,特斯拉也因公司第一季度业绩强劲而迎来上涨。数据显示,该公司第一季度共...

  • 不满足于流媒体业务,亚马逊也要开始做游戏了

    不满足于流媒体业务,亚马逊也要开始做游戏了

    发布时间:2020/04/08

    本文来源“36氪”。为了在统治数字娱乐的战役中开辟新战线,Amazon(AMZN.US)正在投入数亿美元以成为视频游戏的领先制作商和发行商。由于卫生事件的影响数度推迟之后,这家互联网巨头表示,打算在5月发布其首款原创...

  • 刘强东“熔断”,徐雷成为京东的新“保险丝”

    刘强东“熔断”,徐雷成为京东的新“保险丝”

    发布时间:2020/04/08

    本文来自“盒饭财经”。公共卫生事件笼罩世界,全球经济遭遇重创,金融市场难以幸免,“熔断”一词频繁走入人们视野中。 作为在美股上市的企业,京东(JD.US)最近的日子也不太好过。瑞幸造假事件曝出后,京东“二号人...

Kava Labs 通过第三次 CertiK 审计,验证 Harvest.io 的可信度

发布时间:2020/10/27 要闻 浏览次数:591

据悉,跨链 DeFi 借贷平台 Kava Labs 已经通过 CertiK 对 Harvest 模块的代码系统进行了审计,成功验证了应用的可信度。CertiK 利用动态分析、静态分析和人工审查技术对 Harvest.io 进行了全面的检查。

审计过程中特别注意了以下几点: 针对常见和不常见的攻击载体测试智能合约;评估代码库,以确保符合当前的最佳做法和行业标准;确保合约逻辑符合客户规格和使用意图;将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照;通过对整个代码库的逐行人工审查。Harvest.io 全面审计共完成 4 项提交,所有提交都是资料性的,在所审查的合约中没有发现重大或关键问题。

姓 名:
邮箱
留 言: