跨链DeFi借贷平台KavaLabs已经通过CertiK对Harvest模块的代码系统进行了审计，成功验证了应用的可信度。
用况简介
Kava是一个基于CosmosSDK搭建的多资产、可互操作的DeFi平台，可以提供抵押贷款和稳定币USDX。
在币安等金融科技巨头的支持下，Kava正在通过首款应用Harvest.io扩大市场影响力，这是一个跨链货币市场产品，它将利用KavaDeFi的架构连接更广泛的区块链资产和虚拟货币。
代码审查和审计流程
Huobi Global现已恢复KAVA提币业务:官方消息，KAVA钱包升级已完成，Huobi Global 现已恢复KAVA的提币业务。[2021/6/17 23:43:14]
CertiK利用动态分析、静态分析和人工审查技术对Harvest.io进行了全面的检查。审计过程中特别注意了以下几点：
?针对常见和不常见的攻击载体测试智能合约；
?评估代码库，以确保符合当前的最佳做法和行业标准；
?确保合约逻辑符合客户规格和使用意图；
?将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照；
Kava通过第44号提案，为HARD Protocol用户新增KAVA奖励:据官方消息，Kava已通过第44号治理提案，Kava将每周向在HARD Protocol存入USDX的用户发放10,000枚KAVA，用于供应USDX的奖励。
Kava是一个跨链DeFi平台，提供主流数字货币的抵押借贷。HARD Protocol是基于Kava区块链发布的跨链加密货币市场，支持BTC、XRP、BNB、BUSD、KAVA和USDX等资产借贷和挖矿赚取收益。[2021/4/29 21:09:24]
?通过对整个代码库的逐行人工审查。
跨链DeFi协议Kava开通BTC、XRP、BNB、BUSD链间转账功能:据官方公告，跨链DeFi协议Kava开通BTC、XRP、BNB、BUSD链间转账功能，资产可通过Kava链和币安链的跨链桥自由传送。[2020/11/6 11:49:11]
考虑到Harvest是基于CosmosSDK的模块设计，CertiK的工程师按照CosmosSDK的官方指南，仔细检查了范围内的模块。
此外，为了确保Harvest智能合约的可信度，同时尽量减少在合约中发现的非故意状态行为的可能性，审计团队分析了状态机的定义，同时监控由消息触发的状态转换行为。
新加坡WBF交易所将于8月25日正式上线KAVA:据官方消息称，新加坡时间2020年8月25日，WBF交易所将正式上线KAVA，并于当日17时在DeFi区上线KAVA/USDT交易对。
Kava是一个提供主流数字资产（BTC, XRP, BNB, ATOM, 等）抵押贷款及稳定币服务的跨链去中心化金融平台。Kava现今受到了全球超过一百家公司的支持，其中包括著名数字货币基金以及Ripple和Cosmos等区块链项目。Kava平台支持两类代币：KAVA是平台的权益及治理代币，其功用包含保证网络安全及治理投票；USDX是平台基于数字资产抵押物发行的稳定币。[2020/8/25]
?“这是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等去中心化预言机。
来源：金色财经
据Cointelegraph10月28日消息,英格兰银行金融科技主管TomMutton在第二届外滩峰会上表示,虽然央行数字货币是英格兰银行的“焦点”,但该银行今年3月的立场并没有改变.
比特币这段时间多头连续爆发,行情不断破年度新高,超级牛市已然到来,而作为前段时间的急先锋以太坊,这次反而有些落后,没有及时跟上大饼的牛市带动,不过后续应该会逐渐跟随上来,毕竟这种超级牛市.
留给西南地区的比特币矿工时间不多了。近期,我国西南地区丰水期结束,进入平水期,再过一个月后,枯水期将至。部分水电矿场开始着手准备转移。受此影响,比特币矿池算力出现大幅下降.
比升资本持续关注区块链前沿发展现状,在本文中将从DeFi整体市场综述、借贷市场、DEX市场、结语四个版块对区块链DeFi行业做一些分析.
在投资市场里,宁可拜错神,不要跟错人,这篇文章是想告诉那些大资金量的投资朋友们所遇到的问题.
投资是个长久之计,不是一朝一夕,所以不可操之过急。就算你现在亏损了,那也没什么可怕的,只要选择正确,失去的都会再回来。聪明人总是结伴而行,把握做单时机,掌握行情动向,方可百战百胜.
链资讯