Kava Labs成功通过第三次CertiK审计 验证Harvest.io的可信度_CER:VES

跨链DeFi借贷平台KavaLabs已经通过CertiK对Harvest模块的代码系统进行了审计,成功验证了应用的可信度。

用况简介

Kava是一个基于CosmosSDK搭建的多资产、可互操作的DeFi平台,可以提供抵押贷款和稳定币USDX。

在币安等金融科技巨头的支持下,Kava正在通过首款应用Harvest.io扩大市场影响力,这是一个跨链货币市场产品,它将利用KavaDeFi的架构连接更广泛的区块链资产和虚拟货币。

代码审查和审计流程

俄罗斯央行将于8月开始对真实客户试行数字卢布:金色财经报道,据国际文传电讯社,俄罗斯央行将于8月开始对真实客户试行数字卢布。[2023/7/12 10:49:09]

CertiK利用动态分析、静态分析和人工审查技术对Harvest.io进行了全面的检查。审计过程中特别注意了以下几点:

?针对常见和不常见的攻击载体测试智能合约;

?评估代码库,以确保符合当前的最佳做法和行业标准;

?确保合约逻辑符合客户规格和使用意图;

?将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照;

加密公司寻求获准接入美联储支付系统:金色财经报道,加密公司寻求获准接入美联储支付系统,但数字资产银行Custodia的主账户申请似乎不大可能获批。[2023/1/28 11:33:13]

?通过对整个代码库的逐行人工审查。

考虑到Harvest是基于CosmosSDK的模块设计,CertiK的工程师按照CosmosSDK的官方指南,仔细检查了范围内的模块。

此外,为了确保Harvest智能合约的可信度,同时尽量减少在合约中发现的非故意状态行为的可能性,审计团队分析了状态机的定义,同时监控由消息触发的状态转换行为。

ETH Research Grant首轮资助二次方投票在DoraHacks.io正式开启:1月16日消息,以太坊研究长期资助Grant(ETH Research Grant)首轮二次方投票已在开发者激励平台DoraHacks.io正式开启。本次投票将首次使用基于PLONK系统的零知识投票(DoraHacks MACI-PLONK)。1月15日-1月20日,vcDORA社区可以通过DoraHacks平台为所支持的项目进行投票,零知识投票结果将决定首期5000美金Grant分配。

ETH Research Grant旨在长期资助以太坊社区的开发者和研究者,资助课题覆盖账户抽/ERC4337,零知识证明,DeGov,Data Availability,Rollups,zkEVM/zkVM,ERC/EIP,以及以太坊应用采用等。

在第一轮19个BUIDL团队中,5个BUIDL进入Grant,分别是Eigen Network,Soul Wallet,EthStorage,ERC1155Delta,ZKSAFE。[2023/1/16 11:14:16]

?“这是Kava第三次将其智能合约的完整性委托给CertiK。最新的审计结果展示了Kava专业级的代码质量,并展示了其对现代行业标准的承诺。作为值得信赖的区块链安全服务商,我们很高兴能继续与KavaLabs保持持续的合作关系。"

动态 | Kava Labs的新PoS区块链计划将XRP和其他资产引入Cosmos 并提供DeFi服务:据AMBCrypto 6月22日消息,Kava Labs宣布推出一款新的PoS区块链,即Kava区块链,其目标是开发一个网络,将DeFi支持带到原本无法访问它的资产上。第一个支持这个新区块链的资产将是XRP,它将访问所有DeFi服务;最终将会支持其他资产,如BTC、ETH和其他资产。Kava区块链将于2019年8月31日推出。[2019/6/22]

——CertiK专业服务全球负责人YvanNasr?

值得注意的建议

Harvest.io全面审计共完成4项提交,所有提交都是资料性的,在所审查的合约中没有发现重大或关键问题。

KavaLabs团队在落实CertiK团队提出的建议时,展现了专业的精神和高尚的协作精神,能够确保其对即将上线的平台的信心。

最后,双方以相互透明的方式对每个案例进行了阐述,完整的审计报告可以在此进一步接受大众审查:https://shield.certik.foundation/vendors/kava

?“很高兴能与拥有高标准的审计团队CertiK合作,共同完成Harvest的跨链货币市场模块审计。Harvest将在一上线就处理数百万美元的资金,所以我们必须让它通过强大的测试和审计。

用户的资金安全是第一位的。通过这个正式的审计是我们的最后一步,让我们有信心Harvest的代码不仅符合我们的标准,而且超越了更广泛的DeFi行业的标准。”

——?KavaLabsCEOBrianKerr?

关于Kava

Kava是一个金融服务和应用的跨链DeFiHub。基于Cosmos-SDK构建的Kava区块链具有互操作性,能够在广泛的加密网络中为用户提供金融服务和应用。

Harvest.io是世界上首个跨链货币市场,也是首批搭建在KavaDeFiHub的应用之一。Harvest使加密用户能够使用主流加密货币进行借贷和赚取收益。

关于CertiK

CertiK是一家以技术为主导的区块链安全公司,由耶鲁大学和哥伦比亚大学的计算机科学教授创立,旨在证明智能合约和区块链协议的安全性和正确性。

CertiK每一次审计都应用了不同的方式和检测方法,从手动、静态和动态分析,以确保项目针对已知攻击和潜在漏洞进行检查。CertiK依靠经验丰富的工程师和安全审计师团队,在项目上应用测试方法和验证,创建了一个更加安全和强大的软件系统。

CertiK已经为100多家客户提供了高质量的审计和咨询服务,包括币安的BGBP和PaxosGold等稳定币以及?BandProtocol和Tellor等去中心化预言机。

来源:金色财经

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

金宝趣谈

比特币最新价格安搭Share的幸福感_ARE:SHA

  现代社会中的幸福感是是对生活的客观条件和所处状态的一种事实判断,又是对于生活的主观意义和满足程度的一种价值判断。它表现为在生活满意度基础上产生的一种积极心理体验.

[0:15ms0-3:447ms