OKChain 与 CertiK Chain 正式达成战略生态合作

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

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

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

OKChain 与 CertiK Chain 正式达成战略生态合作

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

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

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

OKChain 与 CertiK Chain 正式达成战略生态合作

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

DeepSEA 编程语言的目标是 使用 Coq 定理证明助手去从头到尾的验证合约的正确性 。DeepSEA 系统语言的组成部分有:一个新的编程语言,一个已被验证的编译器,和一个能将合约代码翻译成可被 Coq 证明助手加载的形式化模型的编译机制

CertiK 正在开发一个经验证的编译器,该编译器可以将 DeepSEA 语言翻译成字节码。由于编译器本身已经通过了 Coq 辅助证明工具的验证,该编译器不存在任何可能破坏合约安全属性的漏洞。换句话来说,用户不仅可以在源代码层面证明程序的安全性,并且这个安全性和用户直接使用字节码的形式化规范进行推理得出的安全保障一样严格可靠。并且,由于验证证明不会有大量控制流或者数据表示的问题,整个证明过程将会变得更为便捷。而编译器通过了安全验证这一事实也意味着所有通过编译的程序都满足某些运行时安全性质,并且这些性质是可验证的,比如:类型安全、没有整数溢出,等等。

OKChain 与 CertiK Chain 正式达成战略生态合作

DeepSEA 是一个模块化的系统,因此 DeepSEA 变成语言可以被编译到不同的目标架构中,并且经过验证的编译器后端可以被不同的前端语言重复使用。在未来,团队可以将这些后端重新用于领域特定语言(DSL)上(例如特别用于开发金融合约的语言),而这些 DSL 都可以拥有和其他语言相同的正确保障。

DeepSEA 编译器会将合约翻译到一个可被加载到辅助证明工具中的库中,在那里将会执行对于高级的正确属性的证明。能够使用功能完整的交互式证明助手意味着用户可以 定义任意复杂定理的陈述和模型 ,并且不会被证明工具本身的限制所影响。举个例子,当证明一个金融程序的时候,用户可以写出一些博弈论的定义(就像数学书里面一样)并证明预期协议确实是一个占优策略。

另外一个例子也能够证明辅助证明助手的功能非常强大:跨链应用。跨链应用包含了很多存在于不同的链上的并且进行异步通信的智能合约上。这是另外一个 DeepSEA 能够为 OKChain 生态赋能的好方式。在这个环境下,DeepSEA 工具可以针对每个单独合约自动输出一个经过验证的模型,然后开发人员可以使用辅助证明助手去定义该智能合约怎样与别的合约进行交互,改对延迟进行怎样的假设等等。DeepSEA 可以被编译到不同的链上运行,比如说 CertiK Chain,OKChain,Ethereum,这也同样可以为用户写一套标准的用于桥接的合约提供帮助,然后在一个单独的 DeepSEA 开发中将它们全部验证,为跨链交流提供坚实基础。

有关 DeepSEA 的更多信息,你可以通过阅读 CertiK 微信公众号的文章【2020 最具“战略性”的编程语言:C 语言?还是 C# 、 Python 、Swift?】来了解。

OKChain 与 CertiK Chain 正式达成战略生态合作

CertiK 区块浏览器是一个 CertiK Chain 的网络前端,极大程度地被链的用户所依赖,用以追踪他们的交易记录以及探索整个区块链平台的信息。在诸如 BTC, ETH, BCH 等传统区块链中,区块浏览器仅仅为他们自身的链而工作。举个例子:一个用户永远不能使用一个 ETH 区块浏览器浏览比特币的信息。

基于相同的愿景——创建无边界的区块链生态和更加高效和透明的资产、数据和价值流转,OKChain 和 CertiK Chain 正在设计高协同程度的集成和同步,包括他们的链前端和顶端的去中心化应用。CertiK 团队目前正在开发 CertiK 区块链对 OKChain 的兼容支持,从一个安全增强的角度,为 OKChain 提供数据交叉检验,和数据验证等功能。带有多种区块浏览器选择的 OKChain 会使得未来的用户在链上活动中具备更加 多权限和易用性

OKChain 与 CertiK Chain 正式达成战略生态合作

OKChain 与 CertiK Chain 正式达成战略生态合作

DeepWallet 是一个易用性极高的 去中心化网络钱包应用 ,能够让多种数字资产在基于 Cosmos 的不同区块链上进行交互。DeepWallet 为用户提供以下几种主要功能支持:

  • 在基于 Cosmos 的协议中拥有易用的多资产管理。

  • 交易和链上活动的历史记录追踪。

  • 更方便快捷地发送和接收数字资产。

  • 在钱包中可进行质押,让用户能够通过质押支持的 POS 通证得到奖励。

  • 基于浏览器的 Solidity & DeepSEA 语言编译功能、部署智能合约,以及合约交互。

OKChain 与 CertiK Chain 正式达成战略生态合作

OKChain 与 CertiK Chain 正式达成战略生态合作

NoOps 是 CertiK 团队设计及开发的“架构及服务”平台,用企业级别的基础架构运行区块链节点。使用 NoOps 的区块链用户可以节约下巨大的管理运营成本并关注更多在自身的商业实现。CertiK 团队正在装载一批知名区块链协议的架构搭建和配置,用以促进相关的生态发展。

NoOps 平台会为 OKChain 提供集成服务,让用户能够便捷地使用以下功能:

  • 如果用户参与了 OKChain 的质押,则可以在 NoOps 平台上主办他们自身的运营节点。

  • 通过 CertiK 主办的节点查询 OKChain 的数据,获取有价值的信息。

  • CertiK 团队深度理解链上数据对于去中心化交易所的重要性。基于团队对区块链和智能合约监控系统的专业知识,团队相信 NoOps 平台能够提供便捷、安全以及稳定的 OKChain 数据访问。

功能重点:

  • 符合用户需求的基础架构

可扩展的基础架构栈根据客户需求打造,并且一如既往地保持着行业标准。这些架构栈通过云服务提供方和本地数据中心进行部署和运维,致力于为用户传递最好的服务,无论身在何方。

  • 防患于未然的安全等级

NoOps 的系统部件在构建时就充分考虑了物理和逻辑的包围隔离等措施,防止潜在的黑客攻击。CertiK 团队是用户基础架构的守护者,让用户能够成为自身财产的托管方。在这样的环境下,用户的资产安全也就得到了绝对的保障。

  • 提供数据情况的监控

每一个节点群会拥有单独的监控,用以收集数据记录和系统日志,频度大约为 1 秒。实时分析和报告会基于共识和机器等级传递到用户,用以提供更好的运营能见度和洞察能力。

  • 从市场角度完善用户节点

NoOps 团队的线上市场列出了范围宽广的一批领先的区块链协议,让用户可以从持续的更新中自由选择,并支持最新发行的协议。任何增添的功能和测试网配置也能够被方便地使用,可以保证便捷的延展功能。

OKChain 与 CertiK Chain 正式达成战略生态合作

技术重点

  • 防黑客的操作系统

值得一提的是,NoOps 将会对 CertiKOS 系统提供高等级的支持。CertiKOS 是世界上第一个完全被验证的并发式多核操作系统并且被证明能够完全抵御黑客攻击。NoOps 对于 CertiKOS 的支持能够提供值得用户信赖的安全标准。一个经过安全加固的节点操作系统意味着更少的漏洞和更多的支持运行的资源。

  • 分层级的保护

从设计到实施,网络的隔离和分层都通过了安全第一的理念的层层评估和筛选。例如防火墙系统、DDoS 保护、流量控制等已经被积极投入使用,防止网络黑客的入侵。

  • 自动化的过程

为了限制人为的干扰,NoOps 完整地自动化了对用户敏感节点的部署和运营。用户权限已经被加入了白名单系统,日志也将会被完整追溯和记录下来,为了后续威胁监控和更进一步的安全审计。

  • 专家团队

NoOps 平台由一支经验丰富的 CertiK 安全团队提供支持,拥有完善且严格的质量检测过程,保证其在被交付到用户端的时候已达到安全和质量的高标准。

当今区块链行业已经将 安全性 列为优先发展之列,CertiK Chain 的诞生可以说是一场变革。它在区块链的每一层都建立了牢固的安全保障,让所有建立在顶层的应用都能够专注于实现自身的承诺,从而组成一个强大的区块链生态。这一切端到端的安全,在 CertIK Chain 与 OKChain 进行跨链生态合作之后,拥有了更为广阔的应用空间。

OKChain 与 CertiK Chain 正式达成战略生态合作

了 解更多

General Information: info@certik.org

Audit & Partnerships: bd@certik.org

Website: certik.org

Twitter: @certik.org

Telegram: t.me/certik.org

Medium:medium.com/certik

币乎:bihu.com/people/1093109

往 期回顾

请 点击“阅读原文”访问 CertiK 官方网站

来源链接:mp.weixin.qq.com