Back to all stories
Case Study
Strategic Partnerships with OceanEX and CertiK
Strategic Partnerships with OceanEX and CertiK

CertiK is delighted to announce the official partnership with OceanEx, an AI-powered digital asset exchange platform empowering VeChain ecosystem. As OceanEx’s trusted security provider, CertiK will leverage our proprietary Formal Verification technology to protect digital assets listed on their crypto exchange platform.

Check out our official announcement on twitter:

Please read below for the wonderful message from OceanEx:

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.”

Please stay tuned and follow us on our official channels:

Twitter —

Telegram —


About CertiK

CertiK is a 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.

To request the audit/verification of your smart contracts, please send email to [email protected] or visit to submit your request today.



Source Link: