OKEx（www.okex.com）是全球著名的数字资产交易平台之一，主要面向全球用户提供比特币、莱特币、以太币等数字资产的币币和衍生品交易服务。

　　OKChain正在通过各项技术和理念优势重新定义区块链公链的“无边界生态”。其首创了“商业链联盟”概念，并邀请多家全球知名机构入驻，旨在从互补性和定制化的角度切入，通过跨链技术实现价值、用户、场景的互通，解决单一区块链长久以来面临的TPS、安全性、适配性等相关问题。

　　CertiK Chain和OKChain拥有相通的设计理念和开发计划，可以更好地激发未来的协同效应。CertiK Chain会在以下独特的几个方面为OKChain生态联盟增加价值，实现CertiK Chain和OKChain的跨链合作。

　　与OKChain类似，CertiK是基于Tendermint-BFT开发共识，愿景是通过CertiK独有的虚拟机和DeepSEA编程语言构建一个无边界的跨链生态。

　　CertiK虚拟机（CVM）是个由CertiK Chain开发的智能合约平台。在1.0版本中，它主要实现的场景是在添加了安全相关的扩展功能以外提供完整的EVM兼容性。将来的版本将会提供WASM和综合的代码支持，CVM可以被搭载在Cosmos核心模块上，被OKChains所直接使用。

　　虽然CVM支持经诸如Solidity等经典编程语言，这些语言却无法为形式化验证提供理想的支持。因此，CertiK会通过CVM将DeepSEA语言指向OKChain。

　　因其资金相关性，分布式金融应用有着严格的安全要求，不同开发者写出的智能合约的交互行为往往非常精细而微妙，这其中可能就会产生漏洞。目前，大多数现有的形式化验证解决方案只能分开证明某一个合约的性质，这样的证明过程（例如：通过给每一个这个合约里的函数注明运行前后的规范）是一个“链下”的过程，没有传统软件开发环境中即时的权限控制或者检测反馈。另一方面，这些证明工具经常带有被假设可信任的代码，而这些假代码有可能存在漏洞。OKChain的愿景是想要构建无边界的公链生态、并且拥有流畅的数据、资产以及价值流通，然而现有的安全等级无法给予有效保障。 (责任编辑：admin1)