KingSwap成功审计了6份智能合约
Kingswap已成功通过第三方智能合约审计公司–CelticlabPrivateLimited的审计,该公司拥有丰富的区块链经验,并且其团队过去进行了多次智能合约审计
?KingSwap已完成了6份智能合约的审计,如下:
1、$KING代币;
AllianceBlock与ABO Digital合作开发代币化结构化产品:金色财经报道,区块链基础设施提供商 AllianceBlock 宣布与数字投资公司 ABO Digital 合作,通过代币化为机构和零售投资者提供低风险、合规的加密货币项目财务支持方式。ABO Digital是ABO 集团的数字资产投资部门,为上市公司提供私人融资,将帮助根据项目的资本和流动性目标协商和构建金融工具。
AllianceBlock 将对资产进行代币化,并将其转化为合规的主动管理证书 (AMC),这是一种结构化产品,可让投资者在没有直接所有权的情况下跟踪并受益于基础资产。[2023/3/17 13:09:04]
2、$KING铸造智能合约;
贝莱德首席执行官:资产类别的代币化可以提高资本市场的效率:金色财经报道,贝莱德首席执行官Larry Fink在周三致股东的年度信中指出了数字资产的几种趋势。?Fink表示,除了媒体对比特币的“痴迷”和FTX的崩溃,贝莱德还有几个感兴趣的领域。在许多新兴市场如印度、巴西和非洲部分地区,我们正在见证数字支付的巨大进步,降低成本并推进金融普惠。至于资产管理行业,数字资产底层技术的运营潜力可能会产生令人兴奋的应用。
公司将继续探索数字资产生态系统,尤其是与我们的客户最相关的领域,例如获准区块链和股票和债券的代币化。?[2023/3/16 13:08:38]
3、参与者资金智能合约;
ZK开发商Nil Foundation推出zkLLVM新技术:2月2日消息,ZK技术开发商Nil Foundation发布一项新技术zkLLVM,使开发人员能够使用流行的编码语言Rust和C++来构建零知识电路,从而显着减少工作负载。
LLVM代表“低级虚拟机”,指的是一组开源代码库,开发人员使用这些库将可读代码“编译”为计算机可以解释的格式。
zkLLVM项目还将自动插入Nil Foundation最近宣布的ZK证明市场,它创建该市场是为了帮助ZK团队分担他们的工作,并将某些类型的计算外包给第三方。[2023/2/3 11:44:17]
4、国王NFT;
5、女王NFT;
6、骑士NFT。。
我们上传到Github上的审计,进行了手动和自动验证,并手动分析了完整合约,检查了每个逻辑并将其与合约中的注释进行比较。智能合约审计员对代码进行的手动分析证实,合同不包含任何严重的敏感性。在各种智能合约的逻辑与所提供的智能合约文件之间,没有发现任何分歧。
结论与结果
在审计报告中,得出了关于6份智能合约的结论。已经对智能合约进行了不同方面的分析。发现代码质量非常好,并且模块化程度很高。审计结果发现,智能合约采用了非常好的编码实践,并且具有简洁的文档化代码。未发现严重差异。
更多细节
发现Kingswap代码库的注释很少,例如:
1)编译器版本不固定,
2)KingswapNFT并未将流行的SafeMath库用于关键操作,以避免算术上溢或下溢,并防止不必要的行为,并且“私密”集合修饰符仍对矿工可见或有权查看合同的所有代码,数据或状态更改的代币持有者;
3)在KingToken智能合约中,对地址长度进行了检查,因此可以通过对“msg.data”进行长度检查来防止“短地址攻击”,对于'transfer',长度应为68。
因此,从13个检查点的手动检查中,做出了上述3个小意见,而其他检查点都通过了,没有任何评论或漏洞。
通过自动智能合约测试,所有32个类别均通过了测试。
您可以在此处阅读完整的审核报告:https://github.com/KingLuigy/KingSwap_V1
KingSwap定期在Telegram上举办AMA,时间为00:00。要了解更多信息,请在Telegram上加入KingSwap或在Twitter上关注该项目。
?另外,KingSwap的中文社区也在不断的壮大中,我们每周会在中文社区举办社群AMA。欢迎中国用户参与进来。
KingSwap微信官方客服:defii2020
关于KingSwap
KingSwap(www.kingswap.io)是一个成立于新加坡,并引入具有法币交易的流动性矿池平台的DeFi项目。它的高收益流动性矿池平台提供具有丰富的质押奖励,法币交易和数字收藏品。该项目已于10月31日正式上线Uniswap交易。
来源:金色财经
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。