跨链DeFi借贷平台KavaLabs已经通过CertiK对Harvest模块的代码系统进行了审计，成功验证了应用的可信度。
用况简介
Kava是一个基于CosmosSDK搭建的多资产、可互操作的DeFi平台，可以提供抵押贷款和稳定币USDX。
在币安等金融科技巨头的支持下，Kava正在通过首款应用Harvest.io扩大市场影响力，这是一个跨链货币市场产品，它将利用KavaDeFi的架构连接更广泛的区块链资产和虚拟货币。
代码审查和审计流程
法国农业信贷银行与意大利银行进行中小企业债券代币化试验:金色财经报道，意大利银行的Fintech Milano Hub正在进行一系列DLT试验，其中一项是针对意大利中小企业发行的债务工具，包括债券。代币化的债券解决方案由技术提供商BlockInvest领导，它得到了法国农业信贷银行的支持。它将涉及一个由农业信贷银行意大利分行、其财富管理子公司Indosuez、新银行Illimity和德勤组成的财团。
其目的是使个人能够投资于中小企业的债务工具。虽然发行将在公共区块链上进行（BlockInvest使用Ethereum和Polygon），但只有经认可的投资者才能购买代币。BlockInvest还旨在利用自己的区块链标准探索一个潜在的二级市场，以确保发行人的代币之间的互操作性。[2023/5/19 15:12:39]
CertiK利用动态分析、静态分析和人工审查技术对Harvest.io进行了全面的检查。审计过程中特别注意了以下几点：
Multicoin Capital昨日23:04向机构数字资产管理平台FalconX发送320万枚LDO:2月5日消息，链上数据观察者The Data Nerd监测显示，Multicoin Capital于2月4日23:04向机构数字资产管理平台FalconX发送320万枚LDO（当时价值约合740万美元）。这些Token来自Gnosis Safe Proxy，最终可溯源至2020年12月18日解锁的一个钱包地址。The Data Nerd猜测Multicoin Capital或已决定从他们的LDO头寸中获利。[2023/2/5 11:48:04]
?针对常见和不常见的攻击载体测试智能合约；
Web3游戏工作室Gallium Studios完成600万美元融资:8月22日消息，Web3 游戏工作室 Gallium Studios 宣布完成 600 万美元融资，本轮融资由 Griffin Gaming Partners 参投。Gallium Studios 由传奇视频游戏设计师、《模拟人生》系列开发者 Will Wright 和《卡门·山迪亚哥在哪里?》开发者 Lauren Elliott 成立，旨在制作无缝融合最新 Web3 和 AI 技术的面向创作者的模拟游戏。
Gallium 的参与项目包括为 Gala Games 设计的元宇宙 VoxVerse 和记忆模拟游戏 Proxi，两者都使用到区块链技术。据悉，Gallium Studios 已与区块链技术公司 Forte.io 达成合作，以增强玩家在游戏经济中的所有权，并为玩家提供对区块链和 Web3 技术的无缝访问。[2022/8/22 12:41:37]
?评估代码库，以确保符合当前的最佳做法和行业标准；
NBA巨星魔术师约翰逊发布首个个人NFT系列:5月23日消息，NBA巨星魔术师约翰逊在社交媒体上宣布已与 NBA Topshot 达成合作并将发行首个个人 NFT 系列，该 NFT 系列会把魔术师约翰逊职业生涯中最喜欢的高光时刻带给世界各地的球迷，球迷也将能看到他个人最喜欢的几个职业生涯经典时刻。[2022/5/24 3:36:54]
?确保合约逻辑符合客户规格和使用意图；
?将合约结构和执行情况与行业领先者搭建的同类智能合约进行对照；
?通过对整个代码库的逐行人工审查。
考虑到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等去中心化预言机。
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。