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.
The overriding values of OceanEx have always been security and user experience. These values will be firmly reinforced through this partnership. CertiK develops formal verification frameworks to mathematically prove that smart contracts and blockchain ecosystems are bug-free and hacker-resistant. 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. Going forward, our relationship with Certik will be strengthened as we constantly evolve.
Founder and CEO of OceanEx NAN XiaoNing said:
“OceanEx is perfectly aligned with CertiK on the goal of building a transparent, fair and secure blockchain ecosystem. We look forward to working together with CertiK to provide the second layer of security for digital assets in OceanEx, and bring superior service to the blockchain community.”
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.
Please stay tuned and follow us on our official channels:
Twitter — https://twitter.com/OceanexOfficial
Telegram — https://t.me/OceanEx_Official