月亮链 月亮链
Ctrl+D收藏月亮链

ETW:前沿:TEE 在跨链桥中的应用_Alterna Network

作者:

时间:1900/1/1 0:00:00

作者:Middle.X

感谢Ronnie@BoolNetwork、Aki@Darwinia参与本文内容的探讨,本文部分内容原载于《?PAKA跨链研究报告?》,点击查看完整报告。

在众多的跨链安全事故中,私钥泄露是其中一个重要类型。典型的案例是今年3月份AxieInfinity官方桥RoninBridge遭遇的情况和6月份Harmony官方桥HorizenBridge遭遇的情况,二者都因为跨链桥的验证人节点私钥泄露而导致重大损失。

由于验证人节点需要用程序来对跨链事件执行签名,这使得私钥不得不暴露在网络中,极易成为黑客攻击的目标。然而这样的问题,其实通过用TEE来管理节点私钥就可以很大程度上避免。TEE还能以多种方式被应用于跨链桥,能够在优化跨链桥的安全性和性能上都发挥积极作用。

TEE全称为可信执行环境,它对于我们的日常生活而言并不陌生,手机上的指纹验证就是在TEE中运行的。

TEE是在给定设备上运行的与主操作系统隔离的计算环境,就像一块飞地。这种隔离是通过硬件强制实现的。在TEE中运行程序的过程是隐蔽的,外界不可感知,这减少了TEE遭受黑客攻击的可能性。程序在TEE中运行完成后,输出的计算结果会被附上一个由设备生成的签名,该签名将被设备供应商远程验证,并生成远程验证证明。远程验证证明能够向外界证实该程序在TEE中被完整的执行,没有被篡改和干预。正因为如此,TEE可以运行具有高安全性要求的应用程序,例如加密密钥管理、生物特征认证、安全支付处理等。

我们将结合pNetwork、Avalanche、BoolNetwork、LCP的案例来说明TEE在跨链桥中的具体应用。

pNetwork

pNetwork是有ProvableThings团队开发的一个跨链桥,于2020年3月推出,是一座Wrap桥,Wrap资产被称为pTokens。

Wrap桥的基本模型是Lock-Mint和Burn-Unlock,pNetwork通过一个TEE节点组成的网络来负责验证源链上的Lock和Burn行为,并在目标链上执行Mint和Unlock。

任意拥有TEE设备的主体可以质押200$PNT,即可成为pNetwork的TEE节点。pNetwork中的TEE节点网络将负责对跨链消息进行共识签名。在初始化时,TEE节点集需要共同参与秘钥的计算,以生成公钥和私钥碎片,其中公钥只有一个,处于公开状态,私钥碎片则是在本地生成后,存入TEE中“密封”。即便是TEE节点的运行者也无法知道私钥碎片。

最高法:加强大数据、区块链、人工智能等前沿技术应用:金色财经报道,10月28日在第十三届全国人民代表大会常务委员会第三十七次会议上,最高人民法院院长周强代表最高人民法院报告党的十八大以来人民法院涉外审判工作情况。

周强在作报告时提出,推动完善涉外法律适用规则体系;推进涉外审判工作与智慧法院建设深度融合,加强大数据、区块链、人工智能等前沿技术应用,构建中国特色、世界领先的互联网司法模式;健全国际商事纠纷解决机制等具体举措。[2022/10/30 11:58:25]

TEE节点除了需要运行Enclave内的程序,还需在Enclave外运行接入链的全节点,以便于Encalve内的轻节点查询区块头。

pTokens之旅

从Token到pToken的过程如下:

用户调用源链智能合约的Lock函数,发起Lock交易T,将Token存入源链托管地址,在交易备注字段中提供他们想要收款的目标链地址;

TEE节点监听到交易后,进一步获取交易T所在区块的区块头N的所有Lock交易,向Enclave中传入,同时也会将区块头N及这些Lock交易的默克尔路径传入;

Enclave中的轻节点程序首先验证区块头N,然后用区块头N验证所有Lock交易;

一旦通过验证,Enclave就会签名一批Mint交易,为所有目标地址Mint对应数量的pToken;

各Enclave相互进行加密通讯,以合成完整的签名,并提交这些Mint交易;

交易被广播到目标链,被目标链确认后,用户的目标地址就获得了pToken。

从pToken到Token的过程如下:

用户调用源链智能合约,发起Burn交易T,将pToken发送到销毁地址,备注字段中写明目标链上的收款地址;

TEE节点监听到交易后,进一步获取交易T所在区块的区块头N的所有Burn交易,向Enclave传入,同时也会将区块头N及这些Burn交易的默克尔路径传入;

Enclave中的轻节点程序首先验证区块头N,并用区块头N验证这些Burn交易;

IMF:央行须变得更像苹果公司以保证央行数字货币处在技术前沿:2月19日,国际货币基金组织(IMF)发布了题为《数字时代公共货币和私人货币可共存》(Public and Private Money Can Coexist in the Digital Age)的文章。文章提出,央行不应仅做出二选一的抉择:要么发行央行数字货币,要么鼓励私人部门提供自己的数字货币。这两者可以共存和互补,例如,可以通过央行在设计上做出某些选择以及调整其监管框架来实现。文章坦言,央行必须变得更像苹果或微软公司一样,以保证央行数字货币处在技术前沿,成为用户钱包中主要和首选的数字货币形式。文章认为,与私人部门建立合作关系依然可能,央行无需孤军奋战。首先,央行数字货币的设计可以鼓励私人部门在其基础上开展创新,就像应用程序设计人员给手机及其操作系统开发出有吸引力的功能。通过访问一组开放的指令(“应用程序编程接口”)可以扩展央行数字货币的可用性,而非仅仅提供普通的电子钱包服务。第二,一些央行可以允许其他形式的数字货币同时存在(类似于平行操作系统),同时利用央行数字货币的结算功能和稳定性,这将为更快的创新和产品选择打开大门。这种形式的数字货币(过去称为合成货币)完全可以与央行数字货币共存。(澎湃新闻)[2021/2/20 17:33:41]

一旦验证通过,Enclave就会签名一批Unlock交易,从托管地址中向所有目标地址转出对应数量的Token;

各Enclave相互进行加密通讯,以合成完整的签名,并提交这些Unlock交易;

交易被广播到目标链,被目标链确认后,用户的目标地址就获得了Token。

由于私钥在Enclave中保管,且验证和签名的过程也在Enclave中进行,恶意攻击者攻击网络在经济上和实践上都不方便。此外,pTokenNetwork还鼓励TEE节点采用不同厂商的设备,不同厂商的TEE设备的具体原理可能是不同的,多元化厂商的TEE节点将进一步提高攻击者的攻击难度,因为攻击者需要攻破多个厂商的TEE设备才有可能实施攻击。

因此,采用TEE节点组成的MPC网络,相比非TEE节点组成的MPC网络,增加了一层安全保护。此外,pNetwork选择将代码开源,开源代码明确了Encalve当中进行的每个过程,而远程证明中包含程序的哈希根,任何人都可以验证Enclave中执行的代码与pNetwork公开的代码的一致性,这是进一步的安全声明,因为排除了程序编写者作恶的可能性。

南昌市大数据发展管理局局长:推动区块链与前沿信息技术深度融合:南昌市大数据发展管理局局长李鑫表示,充分运用南昌在区块链发展上建设起步早、扶持力度大、融合应用广等特点,推动区块链与前沿信息技术深度融合,加强与优质企业对接,加快推广创新应用,不断加大政产学研用合作力度,实现区块链产业高质量、高速度发展。(江西日报)[2020/9/30]

2021年10月,pNetworkV2发布,该版本将pNetwork拓展为了一座AMB桥。

pNetworkV2延续了V1的核心特性,依旧使用TEE节点组成的MPC网络来验证跨链消息,但V2版本将不局限于资产跨链相关的消息。

AvalancheBridge

AvalancheBridge(AB)是Avalanche的官方跨链桥,目前支持AvalancheC链与Ethereum之间的跨链资产传递。

与pNetwork相同,AvalancheBridge用TEE节点组成的MPC网络来验证跨链事件,AvalancheBridge的TEE节点被称为Warden。为了追求更低的费率和更快的速度,AvalancheBridge在设计上做了些许优化。

首先,为了加快验证效率,AvalancheBridge直接在TEE内运行全节点,并在Enclave内建立索引来查询交易,而不像pNetwork的TEE节点在Enclave外运行全节点,在Enclave内运行轻节点。当然,pNetwork现在支持9条链的资产传递,未来可能支持更多,如果这么做,Enclave的存储空间可能会构成挑战。

其次,AvalancheBridge使用普通地址,而非合约地址来托管锁定资产。这避免了一部分合约调用的费用。

初始化的时候,Warden之间相互加密通信,创建一个托管地址,并将私钥碎片密封在各自的Enclave中,该托管地址是一个0x开头的EOA地址,既可以用于以太坊,也可以用于AvalancheC链。

我们以ERC20资产的跨链为例,来阐述AvalancheBridge处理资产跨链的步骤:

Wrap:Ethereum->Avalanche

现场 | 周平:国内将政府标准与开源连在一起 促进区块链标准站在行业发展最前沿:金色财经现场报道,在2019网易未来大会“原点·共生”分论坛区块链+实体经济论坛上,中国电子技术标准化研究院软件工程与评估中心主任周平作了以“区块链标准化之路”为主题的演讲。周平表示,区块链很新,还无法形成国家标准,只能通过团体标准来逐渐应用推动形成国家标准。明年相对应的国家标准会出现,英国在初项提案中共定义110余个术语,经过相对模糊的数据采取简化或者完全删除的处理方式,目前共定义84个术语。区块链行业标准的作用,能够支撑核心关键技术创新与发展,另一个作用是培育行业的发展。目前国内政府标准与开源连在一起,来促进区块链标准能够站在行业发展的最前沿。[2019/11/23]

用户在以太坊上发起存款交易,将需要跨链的ERC20资产转入托管地址;

每个Warden监控该地址,以发现这笔存款交易;

Warden将交易传入Enclave,Enclave进行验证;

验证通过后,Warden会用各自的私钥碎片签署一笔Mint交易,并相互进行加密通讯以合成完整签名。

Warden向AvalancheC链提交Mint交易,使得托管地址调用Mint合约,为用户铸造Wrap资产(为了安全考虑,AvalancheBridge仅支持资产跨链至与发起地址相同的目标地址)。

Unwrap:Avalanche->Ethereum

用户在AvalancheC链上调用桥合约中的Burn函数,发起一笔销毁交易,将需要跨链的Wrapped资产发送到指定的销毁地址;

Warden监控到这笔交易后,将交易传入Enclave;

Enclave各自对这笔交易进行验证;

验证通过后,Enclave各自用自己的私钥碎片签名一笔Unlock交易,以将托管地址中对应数量的原生资产发送给用户的Ethereum地址;

Enclave相互进行加密通讯以合成完成签名,并将Unlock交易提交到Ethereum,交易被确认后,用户将在以太坊上收到托管地址的转账。

我们发现AvalancheBridge的资产跨链流程中,只有Mint交易和Burn交易需要调用合约,而Lock和Unlock交易只是普通的转账,不需要调用合约。这样的设计降低了Gas消耗,从而降低了用户端的跨链手续费。

动态 | 山东省提出超前布局区块链等前沿新兴产业:据中证网报道,山东省日前印发《山东省支持数字经济发展的意见》,意见提出到2022年,重要领域数字化转型率先完成,数字经济规模占全省地区生产总值比重年均提高2个百分点。山东省提出,要将数字产业打造成山东的支柱产业,做大做强大数据、云计算、物联网等核心引领产业,超前布局人工智能、虚拟现实、区块链等前沿新兴产业,巩固发展集成电路、基础电子等关键基础产业,全面提升高性能计算机、高端软件、智能家居等特色优势产业。[2019/7/19]

无论是pNetwork和AvalancheBridge,都充分利用了TEE的特性,让私钥被外部攻击者窃取的可能性大幅降低。但我们要注意到,这依旧不能阻止TEE节点的内部串谋。

如果TEE节点之间合谋,可以试图合成私钥、替换Enclave里的程序,或者通过分叉源链制造虚假事件取Enclave的签名。

而我们下文要讲的BoolNetwork,则可以做到“外防攻击,内防串谋”。

BoolNetwork

BoolNetwork也是一个采用TEE节点网络作为外部验证者的跨链桥项目。BoolNetwork做了进一步的创新——增加了TEE节点的轮值机制和匿名机制。

BoolNetwork被设计为了一个任意消息跨链桥,支持任意第三方在其上构建跨链应用。BoolNetwork参考CosmosIBC,引入了Channel的概念,部署在不同链上的两个应用程序之间可以建立Channel,以实现二者之间消息的有序传递。每个Channel都会对应至少一个MPC委员会。该委员会在当前Epoch内负责对该Channel内的跨链消息进行共识签名。这个MPC委员会是轮值的,任期只有1个Epcoh,每个Epcoh都会重新选举。

BoolNetwork目前会为每个Channel分配两个委员会,互为备份,以提高服务可用性。

任何人都可以通过质押$BOL成为候选的TEE节点。每个Epoch开始前,BoolNetwork会通过RingVRF算法,为每个Channel选举MPC委员会。被选为MPC委员会成员的节点会获得一个用于通讯的临时身份,用于在共识签名过程中与同一委员会中的其他TEE节点通讯。当一个Epoch结束时,所有的临时身份都会失效,然后网络将重新进行节点选举,选出新的轮值MPC委员会,赋予他们新的临时身份。

尽管每个候选的TEE节点在注册的时候,需要提供永久身份信息,但节点在通讯时使用的临时身份并不会暴露永久身份信息。换句话说,节点在通讯时是相互匿名的。如果候选节点有100个,那么你只能知道与你通讯的节点是这100个当中的1个,而不知道具体是哪一个。

每个Channel的MPC委员会需要多少个TEE节点,签名的门限是多少,是由Channel创建人自定义的。常用的门限数值有15-of-21、13-of-19、5-of-9。

同一个Epoch内,不同Channel的MPC委员会成员可能会有重叠,也有可能有部分候选节点没有被选入任何一个委员会,而出现闲置的状态。这些情况都是正常的。

我们发现,BoolNetwork通过TEE、轮值机制、匿名机制的组合,构建了一个牢不可破的黑箱。由于签名程序运行在匿名节点的TEE中,而且它们之间的通讯内容是加密的,当处于工作状态时,TEE节点的运行者本人无从知晓自己被选入哪个Channel的MPC委员会,与哪些节点进行了共识通讯,签名了哪些消息,连“自知”都做不到,更谈不上“知人”。这基本上让节点串谋变的不可能。

从外部攻击者的角度,如果要攻击某个特定的Channel,攻击者无从知晓当前的MPC委员会背后是哪些设备、哪些主体,也无法从通讯中截获这些信息。无论是内部串谋,还是外部攻击,都只能选择攻破所有候选节点中的大多数,才有可能攻击成功,这无疑代价是巨大的。

BoolNetwork是一个仍在开发中的项目,还有些技术细节没有完全确定。

LCP

LCP的全称是LightClientProxy,是Datachain提出的一个将TEE用于跨链桥的新范式,本文撰写时,LCP尚处于概念阶段,没有代码实现。LCP与前述三者完全不同。pNetwork、AvalancheBridge、BoolNetwork的思路都是用TEE来管理私钥、验证消息、执行签名。LCP的思路则是用TEE来运行轻客户端。

LCP的思路或多或少借鉴了LayerZero,LayerZero用外部预言机网络来运行超轻客户端,但这个“超轻客户端”并不会像一个真正的链节点那样对新获取的区块头进行验证,而是通过预言机网络的节点们共识签名来确认区块头的有效性。LCP则希望在TEE内运行货真价实的轻客户端。

我们知道,轻客户端跨链桥是安全性最高的跨链桥技术类型,它通过在目标链上部署源链的轻客户端来使得目标链对源链的交易有验证能力。但其缺点非常显著:

链上的存储和计算资源紧张,链上的轻客户端在同步和验证区块头的过程中会消耗较多的Gas,这会使得链上轻客户端很昂贵,有些情况下甚至不具备经济可行性。尽管有一些方案,可以构建相对轻量级的链上轻客户端,但这些方案又会增加开发难度和代码复杂度。

将轻客户端放到链下执行可以有效解决上述问题,但我们需要链上对链下轻客户端的运行状态进行验证,这点可以通过TEE的远程证明实现。理论上,LCP仅需一个TEE节点,并不需要多个节点对交易的真实性进行共识确认。但为了保证可用性,安排一定的冗余还是有必要的。

当有交易T需要验证时:

交易T会首先被提交给TEE节点;

TEE节点将交易T、交易T所在区块高度N、交易T的默克尔路径传入Enclave

Enclave中的轻客户端运行更新程序,更新到的区块高度N,并用高度为N的区块头对交易T执行SPV验证。

Enclave在验证完成之后,通过远程认证,生成远程认证证明

TEE节点将交易T的验证结果及远程认证证明提交到目标链

目标链上的校验程序检查远程认证证明的有效性,确认程序的确是在TEE中运行的,以及运行的程序是正确的轻客户端程序。

需要辨明的是,尽管pNetwork的TEE节点也会在运行轻客户端,但该轻客户端在验证交易之后会触发本地私钥碎片对交易的签名,链上最终验证的是签名,而非TEE内运行的程序本身,因此pNetwork依旧属于外部验证的范畴。LCP则是向链上提交远程认证证明,这当中会包含程序哈希以供链上检查TEE中运行了正确的轻客户端程序,用「原生验证的扩展」来归类LCP会更为恰当。

在TEE中运行轻客户端,事情变的简单许多,轻客户端不再需要考虑如何节约存储和计算资源,不需要复杂的“瘦身”和“扩容”方案。但我们需要认识到,在TEE中运行轻客户端,始终要比在链上运行轻客户端的安全等级降低了一些。因为TEE并不是绝对安全,其技术防护手段有可能被攻破,且TEE设备的厂商也有微小的可能性作恶。不过这个问题可以通过TEE节点的冗余和设备厂商的多元化来弥合。

小结

以上我们讨论了TEE被应用于跨链桥的几种情况。

TEE在跨链桥中最直接的应用便是保管私钥,正如我们所列举的pNetwork、AvalancheBridge和BoolNetwork,在人们对跨链桥安全性忧心忡忡的当今此时,我们或许应该期待用TEE管理私钥成为多签类跨链桥的标配手段。对于防止TEE节点的串谋,BoolNetwork将节点匿名化的思路给了我们很好的启示,而LCP的方案,为轻客户端跨链桥提供了一个新的范式,它在基本保持轻客户端桥的理论安全度的前提下,提升了轻客户端桥的通用性和可扩展性。

跨链桥依旧在激烈的演化之中,TEE的运用只是其演化方向之一。我们还在观察其他的演化方向,我们对更加安全的跨链桥充满期待。

参考资料

https://hackmd.io/@phala/BJh_3bbQU

https://www.8btc.com/article/608236

https://ptokens.io/ptokens-rev5b.pdf

https://medium.com/pnetwork/introducing-pnetwork-v2-bfa7fcdcedb8

https://zhuanlan.zhihu.com/p/406818768

https://medium.com/avalancheavax/avalanche-bridge-secure-cross-chain-asset-transfers-using-intel-sgx-b04f5a4c7ad1

https://mp.weixin.qq.com/s/Hw-jW9YtyJjxtI-xo_ANUQ

https://twitter.com/TigerVCDAO/status/1588215376235462656

https://docs.lcp.network/

标签:ETWTWONETORKAskobar NetworkAlterna NetworkminetworkSandwich Network

酷币交易所热门资讯
HOO:Hooked 发布空投公告:共计 6 期,单用户至多可获得 100 枚 HOOK Token_KONGZ Vault (NFTX)

Web3社交网络HookedProtocol发布空投公告,将向现有HookedPartyPassNFT持有者进行总计6期的HOOK空投活动,每名用户最多可获得100枚HOOKToken.

1900/1/1 0:00:00
APE:ApeCoin DAO NFT 市场上线,涵盖 BAYC 等自定义市场_BGAN Vault (NFTX)

SnagSolutions首席执行官?ZachHeerwagen发推特称,为ApeCoinDAO定制的NFT市场已正式推出.

1900/1/1 0:00:00
COIN:Coinbase 创始人 Brian Armstrong:监管渴望与对加密现实的思考_COI

来源:Stratechery原文:《AnInterviewwithCoinbaseFounderandCEOBrianArmstrongaboutFTXandCryptoRealities》编译.

1900/1/1 0:00:00
IRIS:Iris Energy 关停部分矿机作为 1.078 亿美元债务的抵押品_ERG

据TheBlock报道,比特币矿企IrisEnergy已关闭大部分矿机,将作为其1.078亿美元债务的抵押品,这释放了约90MW的电力容量.

1900/1/1 0:00:00
WEB:Web3 项目如何设计成熟的商业模式和代币经济?_efinity币估值

原文标题:《MaturityforasuccessfulnextWeb3cycle:AcaseforTokenEngineering》作者:AchimStruve.

1900/1/1 0:00:00
以太坊:数据:2022年加密行业融资金额达267.7亿美元,融资事件为1528起_HER

Chaincatcher消息,据加密数据平台Rootdata显示,2022年加密行业公开的累计融资金额达到267.7亿美元,融资笔数为1528笔,分别较2021年下降4.5%、增长28%.

1900/1/1 0:00:00