Dear users,
OceanEx is excited to announce our strategic partnership with one of the world’s top blockchain security leaders — CertiK. This partnership aims to cultivate an increasingly robust, secure and seamless digital asset trading environment for OceanEx.
CertiK will utilize its patented Formal Verification technology to facilitate OceanEx’s security solutions, providing code audits, penetration testing, and deployment of the necessary defense systems.
We believe that this partnership enables OceanEx to remain security focused while being flexible to market demands.
About CertiK
CertiK is a leading blockchain and smart contract verification platform founded by top formal verification Professors from Yale and Columbia University and former senior software engineers from Google and Facebook. Expanding upon traditional testing approaches, CertiK utilizes mathematical theorems to objectively prove that source code is hacker-resistant to some of the most critical vulnerabilities. With the mission of raising the standards of cybersecurity, CertiK is backed by prominent investors, including Binance Labs, Lightspeed, Matrix Partners, and DHVC.
OceanEx Team
Feb/27/2019
Please stay tuned and follow us on our official channels:
Twitter - https://twitter.com/OceanexOfficial
Telegram - https://t.me/OceanEx_Official
Medium - https://medium.com/@OceanEx