区块链:利用可信硬件+图计算,TRIAS想构建可信计算生态

区块链技术是为了解决信任问题,因为参与共识的节点之间缺乏信任。如果可以给节点们带上测谎仪,任何一个人一旦撒谎,马上就会报警,那节点之间的信任成本就可以降低不少,基于这类节点所建立的区块链网络也变得更为安全,这时候共识机制就能更多地承担“高性能”等其他使命,不一定必须使用POW,也就提高了共识速度。后续可以做的事情也有了更多的想象空间。Odaily星球日报最近接触的TRIAS创始人阮安邦认为,可信计算可以解决上述提到的公链节点之间的信任问题。可信硬件是可信计算的重要基础之一,基于可信硬件可以在设备上构建一个可信执行环境(TEE,TrustedExecutionEnvironment)。相关技术包括已经成为国际标准的TPM、Intel开发的SGX等。可信硬件可以让设备记录系统或特定程序,一旦代码被更改,痕迹会被记录下来,因此利用可信硬件“我就知道我的程序在被正确运行”。这被用于监控服务器安全和物联网设备安全,黑客难以默默黑掉软件,只能直接黑硬件。阮安邦在博士期间研究的是云计算的可信执行,也就是“我怎么知道他对我的数据做了正确的操作”。可信硬件可以帮助解决这个问题,但需要有Supervisor一直监控着服务器的运行。此处的矛盾点是云的动态性与芯片需要被定点监控。云服务器并不绑定特定设备,而且更不能让黑客知道用户的服务器放在哪儿,否则黑客就能实施定点攻击,这就使得定点监控芯片变得不太可能。去中心化可能是解决这个问题的方法。TRIAS设想的底层网络Leviatom,是一个TEE+图计算的去中心化节点监控网络,让节点们不断监控相邻节点并不断更新,一旦广播的状态变化,其他节点也能快速知道。一个节点被更多的节点监控,意味着他的可信度更高。阮安邦设想,这个网络支持需要支持多种TEE技术。一是为了防止某个品牌和厂商垄断这个网络;二是防止某种芯片一旦出现漏洞对全网造成影响。Leviatom网络所使用的图计算算法源自阮安邦在2011年起发表的一系列关于如何在云中有效建立去中心化的信任关系的论文,它类似Swirlds团队提出的Hashgraph技术,通过Gossip网络和虚拟投票策略更快实现共识。这种像社交关系一样点对点的信任传递机制,是图计算的一种。“我们计算过,任何一个人要成功撒谎,需要90%的人跟他同时撒谎。”相比起原来设想的云计算上的大监控中心,这样就避免了定点监控,形成了一个去中心化的监控网络。网络会将节点的可信状态同时记入账本,这样就形成了不同可信级别的节点排名。在这个算力网络里,你可以看到有多少人在“直接”监测我的安全状态,并且这些人自己的安全状态是怎么样的。这样的网络可以做什么?首先是一个可信计算平台,可以用于运行智能合约或执行任意程序。因此,TRIAS设想的第一个模块是一层layer2网络,相当于负责合约执行的链下环境。类似的模式Odaily星球日报此前在Taxa和Ankr的报道已经说明过,在此不再赘述。Leviatom的核心在于其所形成的节点可信排名,基于此能做的事情可能很多。比如可以让用户自行定义执行环境的安全程度,所需安全程度高的用户,可以让数量更多、更可信的节点运行自身的程序并达成共识。也可以让排名最高的一些节点构筑一条公链,让开发者在上面部署Dapp,甚至EOS都可以直接从这个网络里产生21个超级节点。这就需要一定的调度系统和激励机制,毕竟更可信的节点会有更高的议价权。因此,TRIAS未来会设计一个MagCarta合约与通证体系,让Dapp可以对Leviatom平台中的算力节点做调度,实现他们之间的协作。“硬件是对的,但是如果软件是错的怎么办。我们能执行代码,对代码本身的安全性却不一定能够保证。”阮安邦认为,对于非常简单的智能合约代码,技术人员可能一看就知道是否有后门或有害,但是对于复杂程序则不一定知道,加上在TEE中执行的程序代码相当于被放进了保险柜,算力提供者看不到代码。所以,他认为需要一套软件溯源和审计的系统,去做代码审计与自动化的安全分析。他希望基于Leviatom平台,设计一套通用的程序DevSecOps框架Prometh,为软件的供应链建立可信溯源体系。这能保证开发者的代码不泄露和被拷走的同时,能受到安全评价模型审计,然后将其从源代码到生成整个生命周期的哈希值存在链上,保证不被篡改。这个软件有点像Visualstudio+AppStore。同时,TRIAS希望在激励机制的基础上,通过Prometh的评级加入保险机制,分数越高的软件,安全度越高,保险杠杆越高,当出现安全问题时,就能获得更高的赔偿。TRIAS的这三个子系统,非常接近阮安邦在其博士论文中的三权分立云安全治理模型。他解释,如果Codeislaw,负责程序审计并定义程序安全属性的Prometh就像掌管了立法权;Leviatom负责执行,就像三权分立中的行政权;MagCarta负责裁定算力提供方与程序提供者的责任与分配利益。听起来,TRIAS的蓝图实在太过宏大,尤其程序溯源体系Prometh。这样一套代码的设计难度本身就非常大。其次在商业上,目前流氓软件盛行,愿意付费做“自审”的企业可能不多,应用市场可能会有类似要求,或者TRIAS自己做成一个应用市场。不过,阮安邦回应,在代码设计上,TRIAS的团队已经有一定经验。他同时是网络安全公司八分量创始人,后者专注于可信计算技术应用。八分量的企业级数据中心软件溯源体系,在金融和政务云的场景中落地,解决数据中心内部安全痛点。未来八分量也计划将这部分的软件工具贡献给社区。另外,在未来需求情况上,阮安邦认为软件溯源体系类似现有区块链的一大典型场景:农产品溯源+质量评估。造假的供应商一样没有让别人来审计自己的动力,但是在一条健全的溯源体系和可溯源产品市场上,这样的供应商会因为缺乏用户的信任度,而最终被用户淘汰。如果类似的可信评价覆盖渠道足够,或者用户更注重安全,这样的体系更能发挥作用。阮安邦也认为,这并不是一项简单的工程,需要通过经济体制激励实现。TRIAS目前共有22名工程师,Leviatom的测试网络计划在3-4个月内上线。创始人建CEO阮安邦是是北京大学硕士、牛津大学计算机博士,在可信计算领域已有10年的科研积累,八分量创始人。CTO魏明是八分量的联合创始人兼CTO,北京大学博士和硕士,前中国航天软件研发中心高级架构师、西门子研究院工程师,其从业经验设计涉及云计算、人工智能等领域,在八分量其间主持开发了DASO私链&联盟链与持续免疫系统的安全架构,关注用户的数据中心安全问题。我是Odaily星球日报编辑卢晓明,探索真实区块链,爆料、交流请加微信lohiuming,烦请备注姓名、单位、职务和事由。附论文链接供参考RepCloud:achievingfine-grainedcloudTCBattestationwithreputationsystemsNeuronVisor:DefiningaFine-GrainedCloudRoot-of-TrustRepCloud:AttestingtoCloudServiceDependency原创文章,作者:卢晓明。转载/内容合作/寻求报道请联系report@odaily.com;违规转载法律必究。

中币官方:若获利用户已提现且无法追回,由中币全额自行承担:中币于微博发布停盘事故正式公告称,因9月17日凌晨2:40开始技术升级扩容操作失误,在未停止服务的情况下进行了用户资金表增加分区操作,导致10几分钟内的一个数据紊乱,并造成部分非主流币市场价格下跌。现公布从价格异常到停止所有业务时的热钱包提币地址如下:

USDT:1HUMRaengEURyVbZZvjRFPHDFzVEFVgcU7;

BTC:1H9oF8DuCitD6CxvaaWWVybM3sEchoVWzd;

LTC:LPjPF58beUyLkjRvyR2MobGM7Tgnp9pryM;

DASH:XpKG4ZW5RWUNJzpt1UzqT6p16WuGUBwrws;

BSV:13E51hwkRV7NzK8N8s6JxccLH4yJQCurtX;

BCH:1FaLnrpZV5xZpmDFiKWCWJEbDnW7EE13DZ;

EOS:zbeosforsend;

ETH:0xf98e7af638b015d15e1820852bf24900f074b38b。

总计提币金额折合在181万人民币以内,并且其中绝大部分均为做市商客户正常提币,如果获利用户已经提现且无法追回,由中币全额自行承担。[2020/9/18]

荷兰合作银行与嘉吉合作,利用区块链进行洲际农产品交易:荷兰合作银行(Rabobank)最近宣布,使用区块链技术解决一项价值1200万美元的洲际商品贸易。荷兰合作银行(Rabobank)和其他物流公司与总部位于美国的农业巨头Cargill和农产品贸易商ArgocropInternational合作,管理从北美到东南亚的小麦贸易交易。他们使用了位于新加坡的名为dltledgers的区块链平台来简化流程。使用传统流程完成类似的跨大陆贸易可能需要一个月的时间,而区块链技术将这个过程缩短为5天。区块链已在食品和供应链行业中获得了广泛认可。从星巴克到雀巢,食品专业人士正在不断扩展自己的区块链计划。4月6日,雀巢宣布将其IBMFoodTrust区块链技术平台扩展到其咖啡品牌Zoégas。(Cointelegraph)[2020/4/14]

动态 | 中国信息网:美国国防部研究计划署研究利用区块链来确保卫星安全:据中国信息网报道,美国国防部的国防高等研究计划署 (Defense Advanced Research Projects Agency,简称 DA RPA) 正在研究如何利用区块链来确保卫星安全。[2018/8/20]

声音 | 浙江横店影视产权交易中心:将利用区块链等先进技术进行产品开发和业务模式创新:浙江横店影视产权交易中心总经理刘涛介绍,交易中心将依托浙江横店影视产业实验区这一公共服务平台,充分利用互联网、大数据、区块链等先进信息技术和各类金融工具进行产品开发和业务模式创新,打造线上线下相结合、文化与资本相融合的全产业链影视产权交易平台。[2018/7/16]

长三角地区相关医院将利用区块链等技术,确保电子病历的信息共享:6月1日,“2018年度长三角地区主要领导座谈会”在上海举行。会议期间,三省一市相关部门集中签约了11个重点合作项目。其中包括长三角地区推进“互联网+”医联体合作框架协议,该协议的内容为:

以现有医院平台为基础,以腾讯互联网信息技术和社交产品为纽带,沪苏浙皖相关医院运用电子健康卡,通过区块链加密传输等技术手段确保患者相关电子病历在就诊医院之间的信息共享;通过人工智能影像、微信医保支付、个人健康档案等服务,推动医疗业务协同和分级诊疗,实现无缝转诊。[2018/6/2]

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

地球链

[0:0ms0-0:964ms