TheRaising Star of the DeFi Project, Gibxswap, Has Passed Certik Security Audit.
近日，DeFi明星项目GIBXSwap发布了智能合约技术代码的审计报告。由世界领先的区块链安全审计机构Certik参与本次代码审计。Certik依靠动态分析、静态分析、人工复核从中寻找潜在的安全隐患，以及可能生产的漏洞，对GIBXSwap进行全面的审核。
Recently, the DeFi star project, GIBXSwap, has released an audit report on the smart contract technology code. Certik, the world\’s leading blockchain security audit organization, has participated in this code audit. Certik relies on dynamic analysis, static analysis, and manual review to find potential security risks and possible production vulnerabilities and conduct a comprehensive review of GIBXSwap.
审计过程
Certik 针对GIBXSwap的智能合约技术代码的结构、实现情况和整体最佳实践进行了测试、分析和推论。
Certik 团队以系统为基础对整个代码库进行分析，进而启动整体审计过程，并在整个过程中严格遵循了高标准化要求。
Audit process
Certik tested, analyzed, and inferred the structure, implementation, and general best practices of GIBXSwap\’s smart contract technology code.
The Certik team analyzed the entire code base based on the system, and then initiated the overall audit process, and strictly followed the high standardization requirements throughout the process.
审计过程中，Certik 充分利用了动态分析，静态分析和人工复核等技术，对项目协议进行了全面检查。审计过程中特别注意了以下事项：
测试所有针对智能合约的常见与罕见的攻击向量
评估代码库是否达到当前的最佳实践与行业标准
保证合约的逻辑符合设计规范和设计目的
参照并对比行业制定的相似结构
对整个代码库进行逐行的人工复核
During the audit process, Certik used dynamic analysis, static analysis, and manual review techniques to inspect the project agreement thoroughly. Special attention was paid to the following items during the audit:
Test all common and rare attack vectors against smart contracts
Assess whether the code base meets current best practices and industry standards
Ensure that the logic of the contract conforms to the design specification and design purpose
Refer to and compare similar structures established by the industry
Manual review of the entire code baseline by line
审计结果
在审计后，Certik再次确认了GIBXSwap交付的技术代码处于非常高的安全水平，肯定了GIBXSwap执行安全测试的主动性。
GIBXSwap团队已收到CERTIK的优化建议，这些建议已应用于代码库的完善过程中。
Audit results
After the audit, Certik once again confirmed that the technical code delivered by GIBXSwap is at a very high level of security and affirmed the initiative of GIBXSwap to perform security tests.
The GIBXSwap team has received CERTIK\’s optimization suggestions, and these suggestions have been applied in the process of improving the codebase.
GIBXSwap 致力于做市场上最好的去中心化交易平台，专注于主流加密货币。全新上线的 GIBXSwap 也将开放流动性挖矿、单币挖矿、交易挖矿、资产跨链功能及推行董事会机制。GIBXSwap上线稳定后将实现多链 DEX 模型，在币安智能链后，将布局火币生态链（HECO）及以太坊等生态链，融合了火币生态链及币安智能链交易费低廉和以太坊生态圈繁荣的优势，支持流动性挖矿和交易挖矿的“双重挖矿机制”，这将使其达到最大程度引流效果及优质的用户体验。同时，将推进滑点低、速度快，资金安全，最优价格等优势，迅速抢占市场。
GIBXSwap is committed to being the best-decentralized trading platform on the market, focusing on mainstream cryptocurrencies. The newly launched GIBXSwap will also open liquidity mining, single currency mining, transaction mining, asset cross-chain functions, and the board of directors’ mechanism implementation. After the launch of GIBXSwap, the multi-chain DEX model will be implemented. After the Binance Smart Chain, the Huobi Ecological Chain (HECO) and Ethereum will be deployed, integrating the Huobi Ecological Chain and Binance Smart Chain with low transaction fees and ether. The advantage of the prosperity of the Fang ecosystem is to support the \”dual mining mechanism\” of liquid mining and transaction mining, which will enable it to achieve the maximum drainage effect and high-quality user experience. At the same time, it will promote the advantages of low slippage, high speed, safe funds, and optimal prices to seize the market quickly.
美国区块链安全审计公司CERTIK已获Binance Labs数百万美金投资。由来自耶鲁大学和哥伦比亚大学的科研团队携数十年研究成果成立，通过“深度规范”的形式化验证技术为区块链应用和智能合约提供代码安全审计服务。并以形式化验证技术为智能合约和区块链应用及协议提供最高等级的代码安全解决方案，曾为币安等知名项目做过安全审计。
CERTIK, a US blockchain security audit company, has received millions of dollars in investment from Binance Labs. Established by scientific research teams from Yale University and Columbia University with decades of research results, it provides code security audit services for blockchain applications and smart contracts through \”deeply standardized\” formal verification technology. It also uses formal verification technology to provide the highest code security solutions for smart contracts and blockchain applications and protocols. It has done security audits for well-known projects such as Binance.
GIBXSwap非常重视区块链安全防护，在加强项目自身的安全性的同时，引入Certik委托其对智能合约进行安全代码审计，为项目平稳运营保驾护航。GIBXSwap致力于在每一个环节杜绝安全隐患，他们的目标是成为 DEX 平台的标杆，希望成为代币交换市场上领先的 DEX 平台，通过优质的产品和服务为去中心化金融提供真正的价值、公平性和创新性。
GIBXSwap attaches great importance to blockchain security protection. While strengthening the security of the project itself, it has introduced Certik to entrust it to conduct security code audits on smart contracts to escort the smooth operation of the project. GIBXSwap is committed to eliminating security risks in every link. Their goal is to become the benchmark of the DEX platform. They hope to become the leading DEX platform in the token exchange market and provide real value and fairness for decentralized finance through high-quality products and services. Sexuality and innovation.
查看更多
