月亮链 月亮链
Ctrl+D收藏月亮链
首页 > 波场 > 正文

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

作者:

时间:1900/1/1 0:00:00

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

用况简介

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

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

代码审查和审计流程

Google Cloud将于2023年第一季度为Solana添加BigQuery支持:金色财经报道,Google Cloud 正在与 Solana 合作。Google Cloud 正在运行一个 Solana 验证器来参与和验证网络,并且明年将区块链节点引擎引入 Solana 链,因此任何人都可以轻松在 Google Cloud 中启动专用的 Solana 节点。此外,Google Cloud 正在索引 Solana 数据并将其加入明年的 BigQuery,以使 Solana 开发者生态系统更容易访问历史数据。[2022/11/6 12:21:11]

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

加密风投CoinFund寻求为其种子基金募资2.5亿美元:金色财经报道,根据向美国证券交易委员会(SEC)提交的新文件,专注于加密货币的投资公司CoinFund正在寻求为其新的种子基金CoinFund Seed IV筹集2.5亿美元,销售尚未开启,这意味着基金尚未向投资者开放。

CoinFund成立于2015年,最初专注于比特币和去中心化金融 (DeFi) 项目的种子阶段投资,其投资组合包括NBA Top Shot创建团队Dapper Labs、区块链基础设施提供商Blockdaemon和数据索引协议The Graph。此前8月份,该公司推出了3亿美元的CoinFund Ventures I基金。[2022/11/2 12:07:00]

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

苹果对通过iOS应用内进行的NFT交易收取高达30%的佣金:9月24日消息,苹果公司对通过iOS应用程序内的所有NFT交易也收取高达30%的佣金,但由于苹果公司目前不处理任何加密货币交易,所以App Store购买必须以美元进行,而兑换美元又非常困难,最终将导致NFT交易者远离苹果生态系统,因为高昂的费用使NFT项目几乎不可能盈利。

Magic Eden联合创始人兼首席技术官Sidney Zhang表示,由于苹果公司的佣金问题,他们从未尝试在其应用程序上提供买卖功能。(The Information)[2022/9/24 7:18:16]

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

Messari收购加密融资数据库Dove Metrics:8月2日消息,加密数据分析和研究机构Messari宣布收购Blackrose Capital旗下加密融资数据库Dove Metrics,Messari暂未披露交易细节。目前Messari已将Dove Metrics仪表板集成至Messari平台中,并将在未来继续开发具有附加功能的仪表板。(CoinDesk)[2022/8/3 2:54:45]

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

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

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

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

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

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

——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等去中心化预言机。

来源:金色财经

标签:KAVAAVACERTTIKkava币价格预测AVATA NetworkcertikTIKTOKEN

波场热门资讯
SUI:玩币总监: 亏损的6大原因_Open Proprietary Protocol

亏损六大原因:    1、没老师指导,自己到处看群做单,看小周期做,来回追,来回损。    2、自己主见很强,从来不单独信哪一个人的,看各个老师的分析,自己综合着做单.

1900/1/1 0:00:00
NFT:币圈老掌柜:比特币高位吸盘了_LONDON Vault (NFTX)

????A股收盘,上证指数报3251点,深证成指报13191.25点,深证区块链50指数报3892.38点,同花顺数字货币板块涨0.88%.

1900/1/1 0:00:00
ETH:老A言币 :10/26ETH-BTC午间行情分析及操作建议_togetherbnb艾米莉攻略双人互动

--前言还很年轻,将来会遇到很多人,经历很多事,得到得多,也失去很多,但无论如何,有两样东西,绝对不能丢弃,一个叫良心,一个叫理想.

1900/1/1 0:00:00
UNO: 币圈鹏程1027午间BTC行情分析操作建议_HUT

?? 消息面:今日早讯  现货黄金站上1910美元/盎司,日内涨幅达0.44%  现货白银涨幅达1%,报24.48美元/盎司。  沪银主力合约上破5200元/千克,日内涨0.64%.

1900/1/1 0:00:00
以太坊:V神谈以太坊发展历程 杀手级应用依然是核心_比特币

今天V神在上海区块链全球峰会上进行了演讲,演讲内容很丰富。V神提起以太坊整个过程的发展过程中“死”了5次,14年以太坊项目刚成立不久,无法在众多区块链项目中脱颖而出,被指“死”了.

1900/1/1 0:00:00
比特币:金色观察 | 丰水期结束枯水期将至 矿工“随电迁移”_比特币俱乐部TXT币最新消息

留给西南地区的比特币矿工时间不多了。近期,我国西南地区丰水期结束,进入平水期,再过一个月后,枯水期将至。部分水电矿场开始着手准备转移。受此影响,比特币矿池算力出现大幅下降.

1900/1/1 0:00:00