本站专注区块链信息及金融服务,但不代表任何投资建议

节点资本:可信计算在区块链行业中的应用及投资逻辑

节点资本 ·

2018年10月16日

热度: 30327

可信计算技术不光拥有同态?#29992;堋?#38646;知识证明等技术所具备的保护数据隐私性的属性,同时可信计算可以保证计算结果是可信的,这是共享算力的基本前提,也是其他技术目前所不具备的。

目录

一、什么是可信计算

    1.1可信计算核心技术

    1.2 可信计算发展

    1.3   TPM安全芯片、SGX及TrustZone

        1.3.1 TPM安全芯片

        1.3.2 Intel SGX

        1.3.3 ARM TrustZone

        1.3.4 SGX与TrustZone的差异

    1.4   SGX面临的问题

二、区块链与可信计算

    2.1 SGX类似技术

    2.2 各类技术的应用

三、总结及个人相关领域投资逻辑

1  什么是可信计算

可信计算(Trusted Computing)可以定义为“在计算和通信系统中广泛使用基于硬件安全模块支持下的可信计算平台,以提高系统整体的安全性。”[1]. 早期可信计算的发展主要是以TCG(国际可信计算工作组)组织为主。

1.1可信计算核心技术 

可信计算是一个由多种计算机相关技术组合而成的,其实有5个技术概念是可信计算的核心:

1. Endorsement key 签注密钥,签注密钥是一个2048位的RSA公共和私有密钥对,它在芯片出厂时随机生成并且不能改变。这个私有密钥永远在芯片里,而公共密钥用来认证及?#29992;?#21457;送到该芯片的敏感数据

2.  Secure input and output 安全输入输出安全输入输出是指电脑用户和他们认为与之交互的软件间受保护的路径。当前,电脑系统上恶意软件?#34892;?#22810;方式来拦截用户和软件进程间传送的数据。例如键盘监听和截屏。

3.  Memory curtaining 储存器屏蔽储存器屏蔽拓展了一般的储存保护技术,提供?#36865;?#20840;独立的储存区域。例如,包含密钥的位置。?#35789;共?#20316;系统自身也没有被屏蔽储存的完全访问权限,所以入侵者即便控?#23631;?#25805;作系统信息也是安全的。

4.  Sealed storage 密封存储密封存储通过把私有信息和使用的软硬件平台配置信息捆绑在一起来保护私有信息。意味着该数据只能在相同的软硬件组合环境下读取。例如,某个用户在他们的电脑上保存一首歌曲,而他们的电脑没有播放这首歌的许可证,他们就不能播放这首歌。

5.  Remote attestation 远程认证远程认证准许用户电脑上的改变被授权方感知。例如,软件公司可以避免用户干扰他们的软件以规避技术保护措施。它通过让硬件生成当前软件的证明书。随后电脑将这个证明书传送给远程被授权方来显示该软件公司的软件?#24418;?#34987;干扰(尝试?#24179;猓?/p>

这5个关键技术是一个完备的可信计算系统所应该拥有的。

1.2 可信计算发展 

可信计算最初期发展方向为TPM硬件芯片。TPM全称为Trusted Platform Modular(可信赖平台模块),是可信计算领域的规范标准。此规范由可信赖计算组织(Trusted Computing Group,TCG)制定。TCG的前身为信赖运算平台联盟(Trusted Computing Platform Alliance,TCPA),于1999年10月份由多家IT巨头联合发起成立,初期加入者有康柏、HP 、IBM、Intel、微软等,该联盟致力于促成新一代具有安全且可信赖的硬件运算平台。2003年3月,TCPA增加了诺基亚、索尼等厂?#19994;?#21152;入,并改组为可信赖计算组织(Trusted Computing Group,TCG),该组织希望从跨平台和操作环境的硬件和软件两方面,制定可信赖电脑相关标准和规范,因此提出了TPM规范。其中TPM1.2规范比较经典,大多数厂?#19994;?#33455;片都以TMP1.2为标准,该规范现已经升级到2.0,也称之为“Trusted Platform Module Library Specification”[2]。 

随着可信计算的发展,可信计算的研究方向已经由传统硬件芯片模式转向了可信执行环境(TEE, Trusted Execution Environment)这种更容易被广泛应用的模式,基于Intel芯片的SGX以及基于ARM开源框架的TrustZone是可信执行环境中最被广泛认知且应用的。

1.3     TPM安全芯片、SGX及TrustZone

1.3.1 TPM安全芯片

TPM安全芯片是指符合TPM(可信赖平台模块)标准的安全芯片,它能?#34892;?#30340;保护PC,防止非法用户访问。安全芯片主要是针对商业用户,需要配合软件进行使用。主要拥有下列几个应用场景

1.  存储、管理BIOS开机密码以及硬盘密码?#33322;?#23494;?#30475;?#20648;于固化在芯片的存储单元中,使其安全性要大为提高。

2.  TPM安全芯片可以进行范围较广的?#29992;埽?#38500;了开机密码,硬盘密码的储存,用户?#37096;?#20197;将应用软件密码存入芯片当中。

3.  ?#29992;?#30828;盘的任意分区?#21495;?#21512;软件可以在?#29992;?#30828;盘中的任意一部分,并将敏感数据存入其中。电脑的备份?#25351;?#21151;能是该功能的一种应用。 

1.3.2 Intel SGX

Intel SGX全称Intel Software Guard Extensions,是对因特尔体系(IA)的一个扩展,用于增强软件的安全性。将合法软件的安全操作封装在enclaves(飞地)中,保护其不受恶意软件的攻击,特权或者非特权的软件都无法访问enclaves,也就是说,一旦软件和数据位于容器中,即便操作系统或者和VMM(Hypervisor)被攻破,也无法影响容器里面的代码和数据。一个CPU中可以有多个安全enclaves。

Intel SGX的最大优势在于其只信任自己和Intel CPU,此机?#24179;玈GX的可信级别提高到了硬件级别。软件层面的攻击甚至操作系统层级的攻击都无法威胁到SGX创造的可信环境。此架构很利于用户使用目前基于多租户云服务架构下的软件,因为?#35789;?#40657;客通过云端植入向PC控?#39057;?#23618;操作系统(OS),因为SGX只信任自己和Intel CPU的属性,也无法操纵底层操作系统对SGX进行攻击。目前,Intel 在6代酷睿处理器之后全部配备了SGX可信环境。

1.3.3 ARM TrustZone

相对于基于Intel系统特有的可信计算环境SGX,TrustZone是ARM处理器所特有的安全计算环境。不同于Intel SGX可以生成多个完全封装的enclaves,TrustZone将一个CPU划分为两个平行且隔离的处理环境,一个为普通运行环境,另一个为可信运行环境。因为两个环境被隔离,所以很难跨环境操作代码及资源。同时在程序想要进入可信运行环境中?#20445;?#38656;要执行安全监控中断指?#30591;?#35753;操作系统检查其安全性只有通过检验的程序才能进入安全区。此机制确保了TrustZone的安全性,但也意味着整个系统的安全性由底层操作系统(OS)来全权负责。

随着ARM芯片的普及,TrustZone可信环境获得了更加广泛的应用。目前应用主要集中在机顶盒、车载设备以及最常见的智能手机尤其是配备Android系统的。例如高通的Qcomsee、三星的Trustonic以及Google的Trusty。苹果的IOS是个特例,因为他虽然使用ARM处理器,但是不使用TrustZone。而是使用自己研发的类似于Intel SGX机制的Secure Enclave(安全飞地)来处理其安全相关的任务。 

1.3.4 SGX与TrustZone的差异

比较SGX和TrustZone,两种安全环境还是?#34892;?#19981;同的。主要表现为以下几点:

1.  SGX是Intel处理器中的可信环境,TrustZone为ARM处理器中的可信环境。两个应用场景存在不同,Intel主要为PC而ARM主要为手机、机顶盒等小型移动设备。

2.  SGX的理论安全性相对于TrustZone更高,因为SGX的安全威胁处于操作系统下的硬件层,而TrustZone的安全威?#37096;?#20197;来自于操作系统层。

3.  一个Intel CPU中可以存在多enclaves可信环境,而TrustZone不同,只有两个环境?#30452;?#20026;普通环境以及安全环境。

4.  使用TrustZone,开发?#35759;?#30456;对来?#21040;?#23567;。因为其本质为将可信资源与非可信资源在硬件上实?#25351;?#31163;。而SGX不同,开发者需要重构代码。虽然Intel提供了SGX的SDK来协助对接,但是对接的工作量依然很大,因此由于开发造成的安全问题是SGX开发者需要面对的一个大问题。 

1.4 SGX面临的问题

对方的负担

1.  SGX是一个高度?#34892;?#21270;的技术,其内嵌于Intel芯片,同时也是Intel公司的一项商用产品。这就意味着如果Intel芯片或其服务器出现问题,或者Intel关闭此项功能,将会影响到SGX的使用,基于其所做的项目将无法运转。

2.  同时因为SGX被Intel所控制,如果想将SGX进行商用,节点使用SGX是需要同Intel签署协议并付费,同时需要基于SDK进行大量的代码开发,这样使SGX的使用成本较高。

3.  SGX虽然同其他技术相比比较快,但效率仍然很难满足大规模的商业应用。因为CPU本身的空间较小,而且因为SGX在硬件层,意味着pages在进入以及离开硬盘的时候都需要进行?#29992;埽?#22240;此运行速度还是比?#19979;?#30340;,并且提速的?#35759;?#36739;大。

4.  SGX到目前为止已经爆发过两个较大的漏洞。

(1)第一个是SgxSpectre攻击,SgxSpectre是典型的侧?#25318;?#20987;(侧?#25318;?#20987;是指在电?#30001;?#22791;运行过程中,通过其时间消?#27169;?#30005;磁辐射等附加信息泄漏而对其攻击,这类攻击的?#34892;?#24615;远高于密码分析的数学方法)。这类攻击之所以出现是因为软件库中存在的具体代码模式允许开发人员在应用中添加SGX支持,攻击者可以通过在SGX的SDK中引入重复性代码执行,并在执行中不断查看缓存的大小变化来去进行攻击。研究人员指出“SgxSpectre攻击完全能攻破SGX封装的机密性,由于存在?#36164;?#25915;击的代码模式并难以清除,因此攻击者可以发动针对任意封装程序的攻击?#20445;?#27492;种攻击是非常?#34892;?#30340;。Intel目前已经进行补丁修复但难以完全解决。

(2)第二个是近期爆出来Foreshadow漏斗,Foreshadow的漏洞的原理在于虽然病毒无法攻破SGX的防护,但是可以控制除SGX以外的信息,以及SGX与外界的信息交互。在这种情况下病毒可以创建一个虚假的SGX环境,同时病毒可以使其控制的环境相信其伪造环境为真实的,这样之后所有本该进入SGX处理的进程,将会进入由病毒创建的虚假环境。通过这种方式,攻击者可以达到攻击目的并获得隐私信息。Intel目前正在研究此种漏洞,并试图发行补丁,解决此问题。

2 区块链与可信计算

可信计算保护数据隐私性的属性,使其变为区块链技术生态中的重要一环。可信计算相关技术目前多与分布式计算类项目、数据类项目以及layer2链下解决方案相结合。目前,此类项目的关注重点多在于PC端CPU,因此SGX在区块链领域相比于TrustZone,应用更加广泛。后文中,SGX将被作为重点进行分析。 

2.1 SGX类似技术

在区块链相关生态中,与SGX相类似的技术还有如下三个。

1.  同态?#29992;埽℉omomorphic encryption)

同态?#29992;?#30340;概念由Rivest等人在20世纪70年代首先提出,同态?#29992;?#26159;指经过同态?#29992;?#30340;数据进行运算得到一个结果,将结果进行解密,可以得到的与同一方法处理未?#29992;?#30340;原始数据所得到的结果相同的密码学技术。同态?#29992;?#21448;分加法同态、乘法同态以及全同态?#29992;堋?#20840;同态?#29992;?#30452;到2009年才由Graig Gentry提出。

2.  安全多方计算(multi party computation)

安全多方计算由我国唯一图灵奖得主姚期智院士提出,其提出场景为百万富翁问题暨“在没有可信第三方的前提下,两个百万富翁如何在不泄漏自己真实财产的状态下比较谁更?#26143;薄?#21450;多个持有私有数据的参与方,共同执行一个计算逻辑并获得计算结果。但在过程中,参与的每一方均不泄漏各自数据的计算。

3.  零知识证明(zero knowledge prove)。

零知识证明,是由S.Goldwasser、S.Micall及C.Rackoff在20世纪80年代初提出的。它指的是证明着能够在不向验证者提供任何有用的信息的情况下,是验证者相信某个论断是正确的。去数学证明不同,零知识证明是概率证明,也就是说可能会存在小概率的误差。

2.2 各类技术的应用

在目前区块链行业的发展中,SGX和零知识证明被较为广泛的应用。同态?#29992;?#21644;安全多方计算因为其技术本身的?#35759;?#36739;大且效?#24335;系停?#29616;阶段很难在真实的应用场景中落地。而SGX和零知识证明已经与区块链技术相结合,下面?#30452;鵒芯?#20351;用这两个技术的代表性项目: 

1. SGX相关的区块链项目在2018年5月份之后如雨后?#26680;?#33324;冒出,大多数项目落地的场景为分布式计算、AI等方向。Covalent(简称Cova)为其中较早提出使用SGX技术的,Cova想要通过区块链以及SGX技术来解决传统AI、ML(机器学习)领域training(训练)的问题。在AI领域,一个成熟的算法模型需要使用大量数据的训练。但是许多数据因为其本身私密性较强且价值巨大,无法直接提供给第三方用来训练算法模型。所以造成了算法模型拥有?#25509;星苛业?#25968;据使用需求却无法获得?#34892;?#25968;据,而数据持有方想要将数据进行变现却也因为数据的隐私性而无法交?#36164;?#25454;。而?#39029;?#24120;大型的研究机构既是算法模型拥有?#25509;?#26159;数据持有方。在这样的背景下,Cova项目专注于解决在保证数据隐私性的前提下让数据流通的难题。Cova提供的解决方案是通过区块链和SGX来解决目前的问题。当数据买卖双方向开始交?#36164;保?#25968;据拥有者会给网络发一条信息,网络里的所有节点收到信息后会用SGX生成一个Sandbox(沙盒),这样可证保证沙盒环境同时不被任意一个节点、数据买方和数据卖方的控制,数据买方将需要训练的算法模?#22836;?#36827;沙盒环境,同时数据卖方将数据放入沙盒环境当中,并开始进行训练,当训练任务结束后,被训?#27867;?#30340;算法模型的?#38382;?#23558;返还到买方手中,同时沙盒环境自动销毁,并将销毁过程写进者TEE中。在此过程中,SGX负责生成沙盒,控制沙盒输入输出以及销毁沙盒。这样既保证了数据隐私性,又能使算法模型得到训练,较好的解决了目前的问题。

除了Cova之外,Ankr项目试图使用区块链+TEE(SGX)技术解决分布式计算的问题。Taxa想通过TEE(SGX)?#35789;?#29616;智能合约的off-chain(链下)运行,以此来提高可扩展性。 

2.使用零知识证明技术的项目中,最出名的为Zcash。Zcash使用零知识证明技术在不向对方提供可以证明身份的秘钥的前提下,还能证明自己的身份。实现此过程,需要被验证身份方回答16次以上的相关问题,如果全部答对才能确认其身份。被验证身份方想要通过猜的方式答对全部16个问题的概?#35797;?#20026;1/65536,理论上讲这种可能是非常小的。同时Zcash会自动隐藏区块链交易双方的信息以及交?#20934;壑担?#21482;有拥有正确查看秘钥的人才能访问,这样更好的保证?#31169;?#26131;的隐私性。但是零知识证明的问题也很明显,每?#24335;?#26131;都需要一系列复杂过程,因此效?#24335;系汀?/p>

3  总结及个人相关领域投资逻辑

在区块链生态当中,可信计算技术不光拥有同态?#29992;堋?#38646;知识证明、多方安全计算等技术所具备的保护数据隐私性的属性,同时可信计算可以保证计算结果是可信的,这是共享算力的基本前提,也是其他技术目前所不具备的。同时SGX的速?#35270;?#20854;他密码学解决方案相比也有着很大的优势。但是SGX?#20849;?#26159;最好的解决方案,因为收到Intel?#34892;?#21270;问题以及芯片本身安全漏洞问题的制约。希望未来可以?#34892;?#29575;更高,更安全的解决方案出现。

从投资的角度,个人还是比较看好与可信计算结合的相关区块链项目。可信计算在区块链行业中有较多的结合点,并解决了目前数据和区块链行业面临的一些问题。例如在我们已投的项目中,像Taxa项目想要通过可信环境去运行智能合约,以此提升智能合约的效率。区块链行业存在比较大的效率问题,目前很多区块链项目也在试图解决。但是链上的解决方案包括去?#34892;?#21270;交易所的匹配系统都无法实现链上的运行,在这样的环境下,链下解决方案目前可能是比较可行的,而可信计算在链下解决方案中将发挥重大的作用。Ankr项目是通过可信计算?#35789;?#29616;分布式计算,以此保证数据的安全,此方案解决了目前云计算无法保证数据隐私性的一大问题。Cova项目更多是一个与数据相关的项目,使用可信计算以及区块链技术去解决目前AI、big data领域的一些数据相关问题。

在细分领域中,个人最看好区块链技术与数据类相结合的项目。Facebook2018年4月的用户泄密?#24405;?#21450;10月刚刚发生的5000万用户数据泄漏?#24405;?#24050;经把个人信息安全问题摆上了桌面,同时在美国,?#20998;?#31561;发达国家人们对个人信息隐私性,安全性的?#38750;?#26376;越来越高,这正是区块链技术以及可信计算结合所能解决的一大问题。在区块链技术的基础上加入可信计算的技术,使得数据的隐私性及安全性得到了更大的保证。未来30年将会是数据的时代,个人认为可信计算与区块链及数据的结合将会较好的处理未来可能所面临的问题。

对于目前可信计算类项目的投资,个人?#24335;?#24910;态度。原因如下:

1. 在2018年7、8月,区块链行业已经爆发了一波可信计算类项目的热?#20445;?#36739;多此类型的项目进入到市场。个人认为,目前市场上已经有几个此类型的头部项目,如果无较大技术创新,可以先观望目前头部项目的落地情况再做进一步投资决策。

2. SGX是目前可信计算中最火的一项技术,但SGX出现两个较大漏洞且存在Intel重度?#34892;?#21270;的问题,现阶段非常难以解决且具有很大的不确定性及局限性。如果有其他可信计算的技术创新,或者零知识证明、安全多方计算等技术如果有突破性进展,将会是一个非常好的参与机会。

参考文献:

[1] 侯?#25509;? 周进, 王志英,等. 可信计算研究[J]. 计算机应用研究, 2004, 21(12):1-4

[2] 周明天, 谭良. 可信计算及其进展[J]. 电子科技大学学报, 2006(s1):116-127.


文章声明:本文为火星财经专栏作者作品,不代表火星财经观点,版权归作者所有,如需转载,请提前联系作者或注明出处。

声明:本文为入驻“火星号”作者作品,不代表火星财经官方立场。转载请注明出处、作者和本文链接
提示:投资有风险,入?#34892;?#35880;慎。本资讯不作为投资理财建议。
语音技术由科大讯飞提供

推广
相关新闻

涨幅榜

你可能?#34892;?#36259;的内容
下一篇

九月研报:市值下跌交易量反弹,首个受监管稳定币GUSD诞生 | OK资本

寻求报道 寻求融资 APP下载
APP下载 扫描下载APP
新疆18选7开奖结果