HONG KONG, April 19, 2023 /PRNewswire/ — Recently, DIPX Finance has successfuly passed the audit by Beosin Security Team. Beosin classified the security issues of smart contracts into three categories: Coding Conventions, General Vulnerability, Business Security. As of press time, all vulnerabilities identified in the DIPX audit have been fixed or properly addressed and have been reviewed by Beosin.
The audit work duration was between Feb 27, 2023 and Mar 22, 2023. The audit process applied Formal Verification, Static Analysis and Typical Case Testing and Manual Review.
For formal verification, there is no need to understand the details of the specific implementation of the contract, no need to construct specific scenarios, and no need for data enumeration. Reusable security properties are condensed through logical relationships, and rigorous mathematical formulae are reasoned for each path of the contract. Each possible system state and operation is automatically detected to calculated satisfiable solutions, and the possible security issues under each path are finally detected based on the comparison of the solution results to see if the security properties are violated.
Beosin has self-developed security testing tool for smart contracts, Beosin VaaS, which uses formal verification techniques to improve audit efficiency and accuracy. Through the company’s internal library of accumulated security attributes and targeted security attributes written by security staff based on the contract’s specific business logic, the tool is able to automatically verify the security of the contract, thus ensuring that the contract is free of the described security issues.
About DIPX
DIPX is a decentralized trading platform built using oracle technology that supports on-chain derivatives index futures trading and perpetual contracts. DIPX operates on three different blockchain platforms: Arbitrum, Polygon, and Optimism.
About Beosin
Beosin is a leading global blockchain security company co-founded by several professors from world-renowned universities and there are 40+ PhDs in the team. It has offices in Singapore, South Korea, Japan and other 10+ countries. With the mission of “Securing Blockchain Ecosystem”, Beosin provides “All-in-one” blockchain security solution covering Smart Contract Audit, Risk Monitoring & Alert, KYT/AML, and Crypto Tracing. Beosin has already audited more than 3000 smart contracts including famous Web3 projects PancakeSwap, Uniswap, DAI, OKSwap and all of them are monitored by Beosin EagleEye. The KYT AML are serving 100+ institutions including Binance.
Website:
Email:
Official Twitter: twitter.com/Beosin_com
