跨链DeFi借贷平台KavaLabs已经通过CertiK对Harvest模块的代码系统进行了审计，成功验证了应用的可信度。
用况简介
Kava是一个基于CosmosSDK搭建的多资产、可互操作的DeFi平台，可以提供抵押贷款和稳定币USDX。
在币安等金融科技巨头的支持下，Kava正在通过首款应用Harvest.io扩大市场影响力，这是一个跨链货币市场产品，它将利用KavaDeFi的架构连接更广泛的区块链资产和虚拟货币。
代码审查和审计流程
巨鲸地址将6000万枚MATIC解除质押后转入Binance:4月24日消息，据 Whale Alert 监测，0x46e 开头的巨鲸地址在 10 分钟前将 6000 万枚 MATIC 解除质押后转入 Binance。[2023/4/24 14:23:22]
CertiK利用动态分析、静态分析和人工审查技术对Harvest.io进行了全面的检查。审计过程中特别注意了以下几点：
?针对常见和不常见的攻击载体测试智能合约；
?评估代码库，以确保符合当前的最佳做法和行业标准；
数据：持有超过10枚ETH的地址数量再创历史新高:金色财经报道，据Glassnodes数据显示，持有超过10枚ETH的地址数量刚刚达348,738个，再次创历史新高。[2022/12/17 21:50:08]
?确保合约逻辑符合客户规格和使用意图；
?将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照；
?通过对整个代码库的逐行人工审查。
考虑到Harvest是基于CosmosSDK的模块设计，CertiK的工程师按照CosmosSDK的官方指南，仔细检查了范围内的模块。
过去24小时币安交易所净流入1.61亿美元，Gemini净流出4.17亿美元:11月18日消息，Messari数据显示，过去24小时，加密货币交易所Binance净流入1.61亿美元，Bitfinex净流出13,359,886.17美元，Bitmex净流出2,676,125.09美元，Bitstamp净流出2,966,682.14美元，Bittrex净流出5,577,967.60美元，Gemini净流出417,564,747美元，Huobi净流出1,556,106.63美元，Kraken净流出14,743,873.13美元，Poloniex净流出1,150,845.75美元。[2022/11/18 13:21:40]
此外，为了确保Harvest智能合约的可信度，同时尽量减少在合约中发现的非故意状态行为的可能性，审计团队分析了状态机的定义，同时监控由消息触发的状态转换行为。
虚拟音乐平台AmazeVR完成1700万美元融资:金色财经报道，总部位于洛杉矶的虚拟音乐平台AmazeVR周二表示，它已筹集了 1700 万美元的资金，用于通过虚拟现实 (VR) 音乐会创造身临其境的音乐体验。AmazeVR 联合首席执行官 Steve Lee 表示，公司正在准备虚拟音乐会和音乐元宇宙服务，这些服务将在所有主要的 VR 应用程序商店中提供，并与 Meta Quest Pro 和苹果传闻中的苹果自己的 VR 耳机等下一代耳机一起使用。[2022/9/27 22:33:52]
?“这是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等去中心化预言机。
来源：金色财经
北京时间10月15日22:44,Filecoin网络正式从太空竞赛网络过渡到Filecoin主网络,Filecoin主网的上线,是分布式存储网络万里长征所跨出的重要一步,在IPFS以及Filecoin网络的发展进程中.
1900/1/1 0:00:00亲爱的BKEXer： BKEXGlobal自2020年10月19日开启BKK周回购销毁制度,并于2020年10月28日16:00进行第二次二级市场周回购.
1900/1/1 0:00:00火星财经APP一线10月27日报道,新加坡最大商业银行「新加坡星展银行」发文宣布进军加密货币市场,推出数字资产交易所。作为新加坡最大商业银行,「星展银行」宣布推出数字资产交易所一事,无疑引起加密货币市场高度关注.
1900/1/1 0:00:00命,是失败者的借口；运,是成功者的谦词。你好！我是陈生,币圈朋友的指明灯 行情分析： 继昨日晚间币价继续突破新高后日线级别呈大阳柱,下方实心阳,上方留有影线,今日早间转线后币价依旧呈上涨趋势,目前日线呈小阳K沿着布林带上轨下方运行,布.
1900/1/1 0:00:00看图一：月我们先从大局观来看下这个行情,我们来看下月图,我图中画圈的位子是早先时候跟大家讲的要找机会做多的位子,最后行情是没到这个位子,碰了下影线就上去了,破了最近的月图高点,现在快来到箭头所指的位子,今天先按币安的来.
1900/1/1 0:00:00炒币之币圈新手炒币入门干货分享 韭菜币圈区块链?今天 第一步：学习币圈指标并灵活运用SBF：FTX正在推出新的稳定币,排除收购Robinhood:金色财经报道.
1900/1/1 0:00:00
宇宙链