Beyond Finance DEX: Certik Audit Completed!
We are thrilled to announce that we have conducted a successful security audit performed & verified by Certik!
Certik — the leading blockchain security company that provides the best-in-class security to protect a project from hacks and malfunctions.
It is of utmost importance to the team here at Beyond that the highest security aspects of security, protection and stability are in place for our users and our community. Check below for the audit report:
Full Audit Report Link / Beyond Finance Link on Certik
The auditing process pays special attention to the following considerations
- Testing the smart contracts against both common and uncommon attack vectors.
- Assessing the codebase to ensure compliance with current best practices and industry standards.
- Ensuring contract logic meets the specifications and intentions of the client.
- Cross referencing contract structure and implementation against similar smart contracts produced by industry leaders.
There were no critical issues or major findings. The only thing worth mentioning is that the “medium” findings that relate to privilege risk have already been addressed by instating a time-lock for awareness on any privilege operations and assigned multi-sig wallets.
Our upcoming governance module will ensure transparency and user involvement.
“Security leads to trust and we are happy to achieve this milestone with a professional and responsive audit team such as Certik. Collectively, we were able to meet our tight deadlines and get recommendations to improve our system. We will continue to relentlessy strive to secure the utmost security for all users on our platform.”
- Chief Product Officer, Kenneth-
Beyond Finance is fully committed to further ensure the safety and protection of our users, and will keep being committed in providing security checks with the leading blockchain security companies to further enhance our security and operability of our decentralized finance platform.
We go Beyond than others.
About CertiK
CertiK is a blockchain and smart contract verification platform founded by top Formal Verification experts from Yale and Columbia University and former senior software engineers from Google and Microsoft. Different from the traditional testing approaches, CertiK attempts to mathematically prove blockchain ecosystem and smart contracts are hacker-resistant and bug-free. CertiK’s key features include a layer-based decomposition approach, pluggable proof engine, machine-checkable proof objects, certified dApp libraries, and smart labeling.
About Beyond Finance
Beyond is a decentralized synthetic product trading platform where users can create and trade synthetic financial products, unlocking the full potential of decentralized finance and derivatives without limits. With prominent key partners including Huobi Ventures, Spark Digital Capital, and OKex Block Dream Fund, Beyond Finance allows users to trade decentralized products without any restrictions, allowing individuals to reach their fullest to fully realize the value of Decentralized Finance.
