CertiK一个值得信赖的智能合约和区块链系统

CertiK一个值得信赖的智能合约和区块链系统

用一句最简单的话概括, CeriK是一家用形式化验证为智能合约和区块链应用提供最先进安全性服务的公司。而形式化验证(Formal Verification)又是什么?用 CertiK联合创始人顾荣辉的话来说就是:用逻辑语言来描述规范,通过严谨的数学推演来检查给定的系统是否满足要求。那么,为什么形式化验证可以解决现有区块链所面临的安全问题呢?理解这问题前,我们需要先从四个点去了解智能合约在安全方面存

轻松e保2018战略发布 首款区块链保险产品将落地

轻松e保2018战略发布 首款区块链保险产品将落地

过去的2017年对于互联网保险销售平台轻松e保来说是充满挑战,充满变革与创新的一年。2017年,轻松e保单日保费达600万元,单款保险产品购买转化率达13%,在2018年的周年庆大促上,轻松e保再一次以绝对的黑马之姿,吸引着人们的视线。2018年3月9日,由轻松e保主办的"轻松e保2018战略发布会"在京举行。活动不仅邀请了众多保险领域专家参与,更有区块链大佬现身圆桌会议,探讨区块链在保险行业的应

DHL与埃森哲公司创建区块链原型来解决制药公司的 “篡改”问题

DHL与埃森哲公司创建区块链原型来解决制药公司的 “篡改”问题

物流巨头DHL宣布与埃森哲( Accenture)合作,并于3月12日创建了一个基于区块链的供应链原型。在联合新闻发布会上,这两家公司发布了区块链的趋势报告,与目前正在计划将这项技术引入全球药物供应的计划相一致。"DHL和埃森哲在6个地区创建了一个基于区块链的序列化原型,在供应链中追踪药物,"发布报告说。"追踪这些药物的分类账可能与利益相关者共享,包括制造商、仓库、分销商、药店、医院和医生。"实验

MOS使用智能手机参与挖掘的智能区块链平台

MOS使用智能手机参与挖掘的智能区块链平台

MOS是一个能够允许任何人随时随地使用智能手机参与挖掘并参与更多商务的虚拟区块链平台。什么是MOS面向服务的智能区块链平台在区块链分散化的影响下,全世界正在掀起一股国家单位货币系统的变化之风。在这场大规模的变化中,无数个区块链项目只集中于脱离中央的技术,因此在实际应用过程中出现了诸多问题。如今亟须解决区块链的问题并打破其局限性,创造一个全新的世界。对此,我们利用创新型的SmartX Blockch

邀请函|“链”上无人机——无人机大数据高峰论坛暨区块链应用展3月31日开幕

邀请函|“链”上无人机——无人机大数据高峰论坛暨区块链应用展3月31日开幕

无人机世界亲爱的网友、无人机行业从业者、互联网从业者以及对区块链感兴趣的所有人:无人机世界诚邀您参加于2018年3月31日,由无人机世界在北京举办的"'链'上无人机——无人机大数据高峰论坛暨区块链应用展"!活动将分为高峰论坛演讲+沙龙,以及区块链应用展两个环节。区块链技术发展至今,在底层技术不断取得突破的现在,也在寻找更多可以落地的应用场景。无人机作为物联网、大数据领域比较成熟的应用,与区块链有着

Market.space基于区块链的数据存储、传输和直接内容分发

Market.space基于区块链的数据存储、传输和直接内容分发

Market.space是一项基于区块链的去中心化自我监管服务,用于企业和个人数据存储、传输和直接内容分发。1.Market.space为数据存储、传输和直接内容分发提供了一个绝对安全和透明的平台。没有佣金、监管或安全威胁2.去中心化以及专业托管提供商的参与实现了可靠和安全的数据存储3.系统起到一个市场的功能,在这里,定价的兑换机制和无限数量的参与者成为让大家都能承受得起的基础4.所有在承包商都有

区块链通讯网络Skrumble Network将可以突破传统防火墙

加拿大通讯技术公司Skrumble于近日独立出来一个新的区块链项目Skrumble Network。据创始人兼CEO David Lifson介绍,Skrumble Network将会是一套"安全、完整、能突破传统防火墙的通讯生态系统",支持点对点短信、呼叫、视频,群聊,共享屏幕,截屏通知,文件传输,电子钱包等功能,并利用去中心化的文件存储,确保用户匿名,内容和数据保密。Skrumble成立于20

加密兔(小米区块链宠物)基于区块链技术的数字宠物

加密兔(小米区块链宠物)基于区块链技术的数字宠物

近日,小米区块链宠物"加密兔"曝光。目前正处于内测期间,每天11点限时领养加密兔,先到先得。此外,玩家还能通过抽奖、邀请好友、兑换F码等方式获取加密兔。根据官网信息来看,加密兔是北京小米移动软件有限公司(以下简称"小米")基于区块链技术为用户(以下或称"您")提供的数字宠物服务。您可以通过任务获得胡萝卜或加密兔,或者使用胡萝卜兑换加密兔。什么是加密兔?加密兔是由区块链技术创造出来的虚拟兔子宠物。所

NRC新世界城创始人严志:区块链实名制是一个难以阻挡的趋势!

NRC新世界城创始人严志:区块链实名制是一个难以阻挡的趋势!

2018年,一场轰轰烈烈的"区块链运动"如狂风暴雨般席卷而来,关于其争议一直没停歇过。倡导者认为这是"人类的春天",保守者则认为是"伪风口"。热议虽然还未有定论,但那些曾经走在时代前列的大佬们,这次似乎也以实际行动表明了对区块链技术的看好。大佬们纷纷跑步进场王健林搅局区块链?3月12日消息,据雷锋网报道,新西兰一家区块链公司Centrality NZ通过官网向外表示,该公司已与中国企业万达集团旗下

引领行业颠覆式创新,创造下一批百万富翁 | 区块链万里行第二十九站|广州行盛世启幕!

引领行业颠覆式创新,创造下一批百万富翁 | 区块链万里行第二十九站|广州行盛世启幕!

近几年,区块链的发展得到了迅速的发展,就连非洲的塞拉利昂(Sierra Leone)举行了世界首个以区块链技术为基础的总统投票选举。区块链投票系统相对于纸质投票系统的的额外好处是减少了成本,去除人为错误和快速获得选举结果,区块链也是当前仅有的完全透明的系统,这也使其它行业相继使用。这便是技术的变革促进各行业的发展和股票提升的关键驱动力。没有它,世界经济效率将会低得多,增长机会将会受到更多的限制。为

区块链3.0即将到来,谁将会是黑马?

区块链3.0即将到来,谁将会是黑马?

区块链技术,在链圈和币圈虽然已经是老生常谈了,但对于一个具备颠覆性技术创新的新兴产物,再多的论述都不为过。今天我们的话题是 区块链3.0即将到来,谁将会是那匹黑马? 区块链是一项融合了P2P技术、共识算法、哈希算法、加密算法的分布式账簿。P2P技术负责信息的点对点传输,共识算法负责信息传输的协调,哈希算法负责信息的存证,加密算法保障信息的隐私和安全。这四个方面的技术都属于常规技术范畴,但它们融合之

TokenSky创始人王紫上:我理解的区块链精神

TokenSky创始人王紫上:我理解的区块链精神

2018年3月14日消息,今日由乌镇赢天下、亚太区块链协会、TokenSky组委会、金色财经、区块链投资学院、Cointiger、CSDN主办的2018 TokenSky区块链大会在韩国首尔希尔顿大酒店举行。本届 TokenSky区块链大会以"TOKEN 改变世界"为主题,汇聚全球各国顶级的区块链上下游企业、学者、从业人员共襄盛举。在此次大会上,上方传媒CEO、波币BO/TokenSky创始人王紫

“链”接全球 TokenSky区块链大会今日盛大开幕

“链”接全球 TokenSky区块链大会今日盛大开幕

3月14日,TokenSky区块链大会在首尔格兰德希尔顿大酒店盛大开幕,会展上汇集了全球各地的区块链上下游企业从业者与爱好者。韩国时间8点签到台就已有众多区块链爱好者排队,主会场开场更是精彩观点层出。亚太专场以及明星秀场也是人头攒动,嘉宾互动参与气氛热烈。

唯链与运可安达成合作 ,共探应用区块链技术打造安全供应链生态环境

唯链与运可安达成合作 ,共探应用区块链技术打造安全供应链生态环境

2018年3月13日,区块链行业的先行者唯链(VeChain)与国内领先的供应链风险管控平台运可安(LogSafer)达成合作关系,未来双方将携手致力于将大数据、物联网与区块链技术相结合,将区块链技术应用于供应链风险管控中,为更多中小型航运、物流、贸易企业提供全面的风险管控服务。目前跨境供应链存在着业务环节多、历时长、多方参与等挑战,因此商品交付的时效、数量与质量等面临诸多风险。如何能更好地识别跨

独家:区块链预言机加速智能合约发展,将成2018基础设施最大创新点

Bianews独家报道 使用区块链预言机意味着从区块链外部接受信息,事实证明,用精确的数字反应现实世界是很具有挑战性的。一般来说,你可以把预言机视为要求对事件进行主观解释的"人"。问题关键在于:如何能够以一致透明且最低限度信任的方式应对主观事件?了解关于预言机的比喻会让你迅速了解这个概念:1.决定白板区块链技术的美妙之处在于把工作公开化。在智能合约中,预言机将决定有关细节。为了符合区块链,此服务必

上方传媒:波币创始人王紫上:开创区块链的平行新世界

上方传媒:波币创始人王紫上:开创区块链的平行新世界

金色财经-区块链3月14日讯由亚太区块链协会和TOKENSKY组委会等主办的"2018 TOKENSKY区块链大会"于3月14日在韩国首尔希尔顿大酒店开幕。此次会议为期两天,会上与会嘉宾们将对第4次产业革命的核心技术区块链和通证(TOKEN)经济进行分析,同时也将对相关的政策和挑战进行深入探讨。上方传媒&波币创始人王紫上以"开创区块链的平行新世界"为主题发表了演讲。(上方传媒&波币

在区块链世界中如何讲述故事?

在区块链世界中如何讲述故事?

洞穴壁画之后,洞穴人走了多远?是什么使人类与其他动物物种不同? 当然,演变语言可能是一个原因,但正确的原因是如何使用语言。 虽然一只猴子可以向其他猴子发出狮子潜伏在草地上的信号,但只有人类能够讲述一个半人半狮的生物故事。 虽然其他动物可以数十、数百一起生活,但人类可以生活在数千和数百万人的群体中,因为我们的故事与我们息息相关。故事在我们每个人中播下信仰的种子,信仰使我们团结在一起。故事是让我们的

区块链拥抱物联网,物流行业新玩法

区块链之所以被称之为一种"颠覆性"的新兴技术,因为尽管其成名于比特币,但未来区块链的用武之地将远远超过加密货币。环形计算结合区块链3.0这一技术本质能够在商业网络中使更多的参与方得以更加广泛的参与,并为商业网络或行业业务带来更低的沟通或整合成本,以及更高的业务效率。可以预见,物流区块链作为一个独立的技术板块,会在商业领域得到广泛应用。传统的商业业务模式存在很难在一个互信的网络中监视跨机构的交易执行

为什么说区块链的去中心化是个伪命题?

为什么说区块链的去中心化是个伪命题?

前一篇关于区块链的零星想法区块链,就当一场大梦罢了在知乎引发了激烈的辩论,其中对区块链是否能去中心化,正反双方都提出了一些有趣的观点。一切的源头不得不谈 -- 中本聪的大作比特币:一种点对点的电子现金系统,它的开头就这么写道:我们非常需要这样一种电子支付系统,它基于密码学原理而不基于信用,使得任何达成一致的双方,能够直接进行支付,从而不需要第三方中介的参与。 也就是说,比特币的核 心命题就在于不存

区块链火热程度远未消散 90后前游戏人转行“链圈人”

区块链火热程度远未消散 90后前游戏人转行“链圈人”

"如果你任意走入一家北京市中心的咖啡厅,听到有人在讨论区块链的概率超过50%。"90后的万洋(化名)是一家中型代币交易平台的技术开发负责人,当谈到区块链这一话题时,他的表情略显无奈。2018年初,伴随着各类资本、知名风投人士蜂拥关注,区块链的火热程度远未因监管层对首次代币发行的持续整顿而哑火。讨论愈加激烈的B面,当通过附着海外交易平台,以区块链名义的代币发行和交易现象未能得到根治时,发币、炒币的造

返回顶部 ↑