跨链DeFi借贷平台KavaLabs已经通过CertiK对Harvest模块的代码系统进行了审计，成功验证了应用的可信度。
用况简介
Kava是一个基于CosmosSDK搭建的多资产、可互操作的DeFi平台，可以提供抵押贷款和稳定币USDX。
在币安等金融科技巨头的支持下，Kava正在通过首款应用Harvest.io扩大市场影响力，这是一个跨链货币市场产品，它将利用KavaDeFi的架构连接更广泛的区块链资产和虚拟货币。
代码审查和审计流程
元宇宙游戏平台Avalon Corp完成1300万美元融资:金色财经报道，元宇宙游戏平台Avalon Corp宣布完成1300万美元新一轮融资，Bitkraft Ventures、Hashed、Delphi Digital和Mechanism Capital共同领投，Coinbase Ventures、Yield Guild Games、Merit Circle、Avocado Guild和Morning Star Ventures参投。
据悉，Avalon Corp将利用区块链技术和游戏引擎构建“数字宇宙”平台，旨在构建真正的“元宇宙”，同时还表示，虽然加密货币和链游中存在不良行为者，但仍希望利用新兴技术的优势来为用户提供服务，因为区块链是“打破范式的一个完美选择”。[2023/3/1 12:35:08]
CertiK利用动态分析、静态分析和人工审查技术对Harvest.io进行了全面的检查。审计过程中特别注意了以下几点：
Coinbase已将$AUDIO添加到其列表地图中:金色财经报道，CO News表示，Coinbase已将$AUDIO添加到其列表地图中。[2023/1/24 11:27:55]
?针对常见和不常见的攻击载体测试智能合约；
?评估代码库，以确保符合当前的最佳做法和行业标准；
?确保合约逻辑符合客户规格和使用意图；
?将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照；
?通过对整个代码库的逐行人工审查。
考虑到Harvest是基于CosmosSDK的模块设计，CertiK的工程师按照CosmosSDK的官方指南，仔细检查了范围内的模块。
2022年价值近56亿美元的ETH被存入流动性质押合约:金色财经报道，Blockworks Research数据显示，流动性质押采用率持续上升，在2022年期间，约430万枚ETH被存入流动性质押合约，以1300美元的价格计算，约为56亿美元，stETH在所有质押衍生品存款中占60%以上，处于领先地位。[2023/1/5 10:23:53]
此外，为了确保Harvest智能合约的可信度，同时尽量减少在合约中发现的非故意状态行为的可能性，审计团队分析了状态机的定义，同时监控由消息触发的状态转换行为。
?“这是Kava第三次将其智能合约的完整性委托给CertiK。最新的审计结果展示了Kava专业级的代码质量，并展示了其对现代行业标准的承诺。作为值得信赖的区块链安全服务商，我们很高兴能继续与KavaLabs保持持续的合作关系。"
比利时KBC银行推出Kate Coin:金色财经报道，比利时KBC银行是欧洲第一家推出基于区块链技术的数字货币Kate Coin的金融机构。客户将能够通过KBC Mobile中的Kate Coin钱包在“闭环”环境中获取和有效使用凯特币，在此之外，硬币没有货币价值。凯特币由KBC全额抵押，并以1:1的比例与欧元挂钩，每枚凯特币1欧元。KBC集团首席执行官JohanThijs评论说：“一个全新的经济目前正在基于Web3.0、加密货币、NFT等新技术的基础上发展。通过Kate Coin，我们正在进入这个新世界。这就是我们正在准备面向未来的KBC的方式。”（finextra）[2022/6/16 4:32:03]
——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等去中心化预言机。
来源：金色财经
第六届区块链全球峰会在上海召开,金色财经记者现场报道。在第六届区块链全球峰会“公链技术创新之路”圆桌讨论会上,以太坊创始人兼万向区块链实验室首席科学家VitalikButerin、Polkado.
1900/1/1 0:00:00目前在分布式储存领域,名头最为响亮的当属Filecoin,其实在Filecoin之前,就已经有许多先驱者做过分布式存储的探索,但最终都没有引起大的水花.
1900/1/1 0:00:00新加坡最大商业银行新加坡星展银行推出数字资产交易所。该行表示,数字资产将成为数字经济的未来。借助由该银行支持的数字交易所DBSDigitalExchange,企业和投资者现在可以利用集成的解决方.
1900/1/1 0:00:00资讯简评马云呼吁,新金融体系是未来的方向,创新走在监管前面是正常的。在二战以FIL最接近且排名靠近的币种是SC和Storj。我们取这三个币种最近三个月的数据做对比.
1900/1/1 0:00:00在互联网时代的不断发展下,传统商业模式迎来了商业模式的创新。尤其是区块链的出现,大力推动了商业环境、沟通方式和思维模式的变革.
1900/1/1 0:00:00????没有陷入困局的人生,只有陷入困局的思维,把危机化解转变成机遇才是是智者.投资市场没有一成而变产品,社会的进步也在于不断的新老交替.
1900/1/1 0:00:00
木星链