去中心化金融（DeFi）正逐渐成为区块链最有前途的用例之一，而IRISnet正积极参与推进整个生态系统的发展。自去年以来，IRISnet和OKExChain合作开发DeFi应用程序区块链以及链间生态系统. 毫无疑问，Cosmos是最具创新性的跨链项目之一。它为区块链行业带来了三个至关重要的贡献：Tendermint，Cosmos SDK和IBC（区块链内部通信）。目前，IBC正在区域游戏（GoZ）中进行测试。 Cosmos SDK支持使用Tendermint作为共识引擎来构建高性能的特定于应用程序的区块链。然后IBC支持那些应用程序区块链进行互操作并形成区块链互联网. 自2017年以来，IRISnet的核心开发团队Bianjie开始参与Cosmos SDK开源开发。团队对Cosmos生态系统的贡献是 各种合作者高度重视. IRISnet（主网IRIS集线器）是使用Cosmos SDK开发的第一个外部应用程序区块链，也是在Cosmos生态系统中启动的第一个主网。 IRISnet是一个链间服务中心，为下一代分布式应用程序提供了基础。服务基础架构（iService）不仅支持令牌跨链传输，还支持可在异构系统之间调用的数据和复杂计算。此外，它还支持公共链，财团链甚至传统系统的互操作性. DeFi是区块链技术最受期待的用例之一。作为支持复杂分布式应用程序的链间服务中心，IRIS Hub引入了 许多可以启用DeFi的核心功能 去年。最近，此功能还包括 可与IBC一起使用的Coinswap（链上闪存交换）测试版. 随着DeFi生态系统的发展，IRISnet和OKExChain也致力于进一步合作，以进一步支持Cosmos生态系统中DeFi应用程序的开发。. 作为Cosmos SDK和IRISnet的贡献开发人员，我们非常高兴看到Cosmos SDK开发的OKExChain如何成功进入测试网阶段，并相信OKExChain上的OpenDEX将为跨链生态系统提供新的价值。我们很荣幸受邀成为OKExChain的 第一个生态系统合作伙伴 并期待IBC协议为我们带来一个更加互联的未来。目前，IRISnet和OKExChain已在以下领域开展工作： 1.邀请IRISnet团队为OKExChain的开发提供技术支持： OKExChain也使用Cosmos...

尊敬的用户, OKExChain测试网于2月10日发布。经过三个月的精确抛光功能和多个产品更新，该工具开发文档已发布，并且已正式发布。 OKExChain测试网的0.10版将于2020年5月25日正式发布。与此同时，基于OKExChain的去中心化交易所基础设施-OpenDex已发布Beta版，欢迎世界各地的所有用户和开发人员来体验在其上构建DEX. 1. OKExChain更新 技术更新 OKExChain的高度完善的工具开发文档已经发布，该文档支持各行各业的开发人员基于2020年5月25日发布的OKExChain测试网的0.10版本来体验和开发产品和功能。（链接到工具文档： https://okexchain-docs.readthedocs.io/en/latest/） 发布了OKExChain验证器的选择规则，欢迎所有机构和个人来参加并启动ver。验证器。 OKExChain测试网的0.10. 启动OKExChain主网后，OKExChain的运行将由前21个超级节点组成并受其支持。超级节点的三个角色是Validator，Delegator和Common Users，允许单方操作多个角色. 目前，OKExChain超级节点的运行已经进入预热阶段，支持的设备信息，奖惩规则，角色之间的具体职责以及超级节点的收入构成都已经发布。欢迎有兴趣的机构和用户参考此链接下的规则参加： https://okexchain-docs.readthedocs.io/en/latest/ 在OKExChain测试网顶部开发的OpenDex beta版本现已正式启动，它将在主网上线后用作去中心化交易所的基础架构. OKEx DEX Beta已启动。欢迎用户购买OKT和其他测试令牌，以体验去中心化交易所. 用户当前可以在OKEx DEX的公开测试版中注册交易地址和体验，并可以根据规则获取测试令牌并在OKEx DEX上进行测试交易. OKEx DEX作为完全去中心化的交易所，将支持所有用户上线后成为交易对运营商，列出并交易交易对，并获得该交易对下其他用户产生的交易费用....

关于CertiK 认证 是一家由耶鲁大学和哥伦比亚大学的计算机科学教授创立的区块链网络安全先锋公司。通过在智能合约和区块链协议上应用严格的正式形式验证技术，CertiK已能够保护超过6B美元的资产并为150多家企业客户提供服务，其中包括Binance，OKEx，Coinone， PAXOS，Reserve，Universal Protocol，InfStones等。与传统的测试方法不同，CertiK尝试以数学方式证明区块链协议，超级节点和智能合约具有防黑客功能且无漏洞. OKExChain和CertiK链之间的协同和跨链 CertiK链和OKExChain共享一些设计概念和开发计划 可以阐明未来的协同效应。 CertiK链将为OKExChain增加价值 在这些独特的角度来看联盟： 1.通过CVM为OKExChain供电 与OKExChain类似，CertiK Chain基于Tendermint-BFT共识，旨在通过专有的CertiK虚拟机（CVM）和 深海 程式语言. CertiK VM（CVM）是为CertiK Chain开发的智能合约平台。对于1.0版，它旨在提供完整的EVM兼容性，同时添加与安全相关的扩展。将来的版本将提供WASM和常规本机代码支持。 CVM是作为Cosmos keeper交付的，OKExChain可以轻松使用它. 尽管CVM支持诸如Solidity之类的传统语言，但此类语言并未为形式验证提供最佳支持。因此，我们还将通过CVM将CertiK DeepSEA语言定位到OKExChain。. 2.通过DeepSEA为OKExChain供电 分布式金融应用对安全性的要求特别高，因为大额货币价值受到威胁，并且由多个不同方编写的合同之间的微妙交互可能会产生错误。当前，大多数现有的形式验证解决方案都旨在证明...