停止撰稿时,DeFi锁仓量已打破885亿美元,在DeFi赛道中各项目豪情未褪,竞争剧烈。
而DEX则是DeFi最亮眼的赛道之一,也一直是xDeFi最存眷的DeFi规模。
xDeFi是一个去中心化金融(DeFi)协议栈,致力于很多最佳实践,包罗但不限于:
xDEX作为优化的自动化做市生意业务所
xHalfLife作为流付出协议用于延迟解锁
xOption作为欧式带封顶期权用于低频对冲现货风险
xPerp作为AMM形式的链上永续合约
xSTA作为从加密资产中锻造的殽杂型不变币
xNFTEX作为高活动性NFT市场以及对秩序井然的市场必不行少的任何其他DeFi构建块
作为蓝海赛道多元池DEX的黑马,xDeFi协议栈已经顺利完成两次以太坊Kovan测试网勾当。
测试期间全站单日UV过万,高出6000人参加,换手率在60-100%,建设了过万的Stream。
日前,xDeFi协议栈抉择与CertiK举办相助,由CertiK团队为其项目举办安详保障。
颠末多次审计相同,xDeFi的Dex、Farm、HalfLife合约代码已经正式通过了CertiK的最终审计,且发明的已知bug和风险点已经全部修复。
审计进程
CertiK针对xDeFi的Dex、Farm、HalfLife合约代码的布局、实现环境和整体最佳实践举办了测试、阐明和推论。
CertiK团队以系统为基本对整个代码库举办阐明,进而启动整体审计进程,,并在整个进程中严格遵循了高尺度化要求。
审计进程中,CertiK充实操作了动态阐明,静态阐明和人工复核等技能,对项目协议举办了全面查抄。审计进程中出格留意了以下事项:
1. 测试所有针对智能合约的常见与稀有的进攻向量
2. 评估代码库是否到达当前的最佳实践与行业尺度
3. 担保合约的逻辑切合设计类型和设计目标
4. 参照并比拟行业拟定的相似布局
5. 对整个代码库举办逐行的人工复核
审计功效
CertiK认为,xDeFi受审合约在源代码文件之外有足够的文档和类型,而且代码注释的包围面很广。
xDeFi受审合约的源代码中具备的某些为提高编码尺度和促进高效的优化步调在审计进程中,袒露了一个主要bug及两个次要bug,这些bug主要关乎类型问题。
因此预期的类型和它的实现具备某些差别,但这并不组成任何范例的裂痕,CertiK将发明转达给了xDeFi团队举办修复。
①安详审核证书,请在此处查察:
https://certik.org/projects/xdefi
②Certik对付xDeFi有关具体的审核陈诉,请在此处查察:https://github.com/xdefilab/xdefi-base/blob/master/audits/Certik%20Final%20Report%20for%20XDeFi.pdf
③XDEX-Gov-CertiK有关具体的审核陈诉,请在此处查察:https://github.com/xdefilab/xdefi-base/blob/master/audits/XDEX-Gov-CertiK-Final-Comments.pdf
郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。