×
  • 澳门新莆京娱乐网站
  • 问卷调查
  • 问卷调查系统
  • 区块链
  • 大数据
  • 数据中心
  • 创建问卷
问卷调查系统工具软件推荐
区块链

CertiK链测试网Beta公开测试

CertiK基金会是一家技术组织,奉行安全第一的准则。基金会运用安全可信赖的软件程序,得到了IBM和以太坊基金会的资助。同时,CertiK基金会致力于提升算法、协议和业务功能的安全性,在区块链和其他关键任务软件中推进使用更安全的程序和编程方法。

CertiK基金会着力于研究形式化验证技术和保证其中从端到端的正确性,从而建设安全性编程社区,为区块链节点创建一个统一的、高表现力的并且端到端的安全基础架构。

CertiK团队宣布,CertiK链测试网Beta版本已于今日首发。

CertiK链以CertiK基金会独有的形式化验证平台为基础所打造,是一个安全且公开的区块链。迄今为止,CertiK已保护超过62.3亿美元的资产免受黑客窃取,审计范围涵盖了包括BNB、TrueUSD、Terra、PAX Gold、Ocean Protocol等在内的各大公司及项目。

CertiK链拥有自己的本地虚拟机——CertiK虚拟机(CVM)。它具有与以太坊虚拟机(EVM)完全兼容的特性,并允许现有的Solidity智能合约无缝运行。该区块链的完整节点将运行在CertiKOS上,这是一个“经过充分验证的管理程序并发操作系统内核”,可以提供军事级安全以防黑客攻击,并允许Solidity智能合约在Cosmos网络上运行,是最早在Cosmos网络上实现链间互操作性的链之一。

CertiK链将安全性作为一种有形的运行时间价值,允许智能合约在运行之前检查其他智能合约提交的安全审计数据。如同银行可以根据信用评分来判定用户的信用额度及APR,智能合约也可根据其他智能合约的安全性来进行不同的交互。

在Testnet 2.0部署之后,Testnet 3.0作为公开测试版即将发布,这次版本升级后,CertiK链采用了DPoS(代理权益证明)。有了DPoS共识算法,测试网就能有效地处理拓展和区块验证。

此次发布的测试版本不仅提升了额外的安全度,使普通企业也可以使用CertiK链,且为了确保其安全性,测试网同样拥有包括沙箱和隔离不安全的代码在内的其他安全保护功能,以防止与区块链的其他部分进行恶意交互。

CertiK链最初由耶鲁大学的FLINT团队开发,是世界上唯一经过完全认证的、可同时运行的操作系统内核和管理程序,将在CertiKOS上运行。除此之外,CVM也将可以运行用函数式编程语言DeepSEA开发的智能合约。

目前DeepSEA已经获得了以太坊基金会、量子基金会和Columbia- IBM的资助。

CertiK团队所构建的CertiK链是建立在安全性拥有最高优先级这个基础概念之上的技术,可为区块链建立起一个强大的基础层,在区块链应用层面,进一步有效降低成本,提高能效。

关键词: CertiK  区块链  

郑重声明:本文版权归原作者所有,转载文章仅为传播更多信息之目的,如作者信息标记有误,请第一时间联系我们修改或删除,多谢。

人已赞赏
区块链

研究论文发明闪电网络存在缺陷

2019-11-28 20:15:07

区块链

区块链能否解决开放式银行问题?

2019-11-28 20:15:47

问卷调查系统工具软件推荐
0 条回复 A文章作者 M管理员
    暂无讨论,说说你的看法吧
个人中心
购物车
优惠劵
今日签到
有新私信 私信列表
有新消息 消息中心
搜索
XML 地图 | Sitemap 地图