Back to all stories
Case Study
CertiK to partner with OKLink ahead of USDK Launch
CertiK to partner with OKLink ahead of USDK Launch

CertiK is proud to announce a security partnership with OKLink as it launches USDK, its new StableCoin.

By working with CertiK, USDK is audited with a best-in-class security package that includes Formal Verification. As USDK will scale in both size and complexity, Formal Verification offers a safer, more efficient, and more compatible way to protect USDK with mathematical certainty of correctness.

USDK comes to market with a tremendous background. OKLink is the sister company of OKEx, a leading cryptocurrency exchange, providing USDK with strong reach across the market. Additionally, the StableCoin is secured in conjunction with Prime Trust, a leading custodian to ensure stability.

In addition to providing their initial (and successful) security audit, CertiK is proud to partner with OKEx to maintain and enhance the highest standards of security in accordance with the evolving best practices of the environment. This long-term partnership will build out OKEx as a secure option not only as at a point-of-launch but as a continually supported StableCoin in which the larger blockchain community can trust.

By working with CertiK, OKLink adds an additional best-in-class partner, ensuring that users can trade USDK with confidence and the knowledge that their StableCoin is secure at an ongoing basis. By providing this CertiK-secured StableCoin, OKLink provides a valuable service with USDK, and is well positioned to be a successful asset across the market.

CertiK looks forward to continuing our partnership to ensure that USDK is a successful, secure, and Formally Verified StableCoin.

For more about OKLink or USDK, you can visit

About CertiK

CertiK is a blockchain and smart contract verification platform founded by top formal verification experts from Yale and Columbia University. Incubated by Binance Labs, Certik has strategic partnerships with the world’s top crypto exchanges such as Binance, OKEx, and Huobi, as well as Public Chains such as Terra, Neo, and Icon. Different from the traditional testing approaches, CertiK’s formal verification method mathematically proves 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.

To request the audit/verification of your smart contracts/ mainnet, please email