专栏首页区块链大本营Gary Rong:以太坊的轻节点协议

Gary Rong:以太坊的轻节点协议

2019年6月29日,由CSDN、灵钛科技主办,区块链大本营、Unitimes、ETHPLANET、以太坊爱好者社区、火星财经协办的“2019第二届以太坊技术及应用大会”在北京·长城饭店隆重举行。

本次大会围绕以太坊生态全景、以太坊未来发展、以太坊开发实战、优质项目案例等多方面展开,邀请以太坊创始人及核心技术开发者、海内外知名项目负责人、行业领军人物及以太坊生态精英专家齐聚于此,共同助力中国以太坊技术深度交流和社区发展。

作为本届大会的重要嘉宾之一,Go-Ethereum核心开发者Gary Rong在上午的会议中分享了题为《Deep into ethereum light client protocol》的主题演讲。

以下为Gary Rong的演讲实录:

今天我为大家带来的内容是《以太坊的轻节点协议》。第一是轻节点协议基本概念 ,第二是Merkle Trie和Merkle Proof,第三是算法 ,第四是用户用轻节点能做哪些事情,第五是关于流量控制和流量管理模型。

轻节点协议基本概念

以太坊设计的轻节点协议有两个目标,首先,对资源要求足够低,必须能够运行在IoT或者手机这种小型终端设备,其次,它必须有能力验证从网络中收取到证据的正确性。在我们的协议里轻节点设计了垃圾回收机制,始终只需要维护最近的Block headers,存储压力非常小,而且我们只同步Block headers。此外,它不会同步去做状态变更的正确性,否则你必须要在本地维护全量账本,这显然不是轻节点能接受的。

工具有可能在一段时间之内推送一些对应状态是错误的Header,只要能够最终连接到全时并且分享最新的Block header,就能够自动检测出工具,保证它自身的安全性。

综合来看,它是在Block header基础上对其他部分的数据(例如交易或回值),在真正使用到时才会向网络进行请求并且进行验证,它把P2P数据库当成它自己的数据库 。

目前有两类,一类是Les端实现的,第二类是PIP客户端进行实现,我们主要介绍第一类协议。

目前以太坊中的节点根据类别主要分为三类,第一类是Archive node,用来维护全量区块链数据,同时维护每个版本状态数据,它已经超过两个T。第二类节点是Full node,对中间版本或过期进行垃圾回收,有100多个GB。

我们进行了优化,目前最快可以在40分钟之内完成以太坊的同步。最后一个是light client,有垃圾回收机制,可以将本地数据库控制在很小值,大约只有50兆左右。它可以选择从可信的点同步,而不必要每次都从block进行同步,同步最新的几万个header 就可以同步,1分钟之内就可以完成区块链的工作。

Merkle Trie 和 Merkle Proof

接下来介绍Merkle Trie,左下角leaf1节点用来存储key=000。第二个特点是每个副节点都会存储哈希,比如3会存储1的哈希。副节点本身的哈希又是通过所有节点的哈希内容再进行一轮哈希计算得到的,所以最终Merkle Trie节点哈希值包含整颗树中所有节点的哈希信息。

什么是Merkle Proof?指它拥有一个正确的root时就可以校验任意节点的正确性,当需要验证时,首先需要向服务器请求,根据目标节点从根节点开始收集树上所有节点,然后返回。

Merkle Proof的安全性使攻击者很难构造假树节点,完全可以利用本地维护的正确的root校验第一个节点内容是否正确,假如第一个节点哈希内容等于本地,我们可以证明第一个节点内容是正确的,可以从第一个节点的列表中拿到第二个节点的哈希。

同理,可以用这个哈希校验第二个内容是否正确,以此类推,我们可以校验最后一个目标节点的正确性。

Checkpoint同步

Checkpoint同步必须满足两个条件。首先,它一定是可信的;其次,必须要能够去利用这个信息去做历史数据的校验,这样它才能够真正不去同步所有历史的Block headers。

在同步时收到来自网络的大量Block headers,还会进行PoW校验,假设我们对全量的Block headers进行校验,会发现本地节点的计算带宽远远大于网络带宽,恰巧运行比较弱的能力下,所以我们选择以1%的概率抽取一些Block headers校验,被校验的每一个Block headers确认所有之前的Block headers。

然后详细讲一下 Checkpoint,它是能够真正完成同步过程的最关键因素,Checkpoint由sever或全推动,处理32768blocks以后产生的元数据,元数据包含几个内容,首先是Sections index保证新旧程度。

CHT root,全节点将区块链最强链的每个区块哈希作为数据项插入到本地中。这是包含在里面的CHT root,假设这是正确的,就能够借助这个 CHT 去校验任何一个被点覆盖的正确的哈希值,有了正确的哈希就能够获得正确的Blockheader,就能够对历史数据进行校验。

处理了32768blocks以后可以在本地生成下一个CHT root,一旦产生了的历史信息已经被归纳到新的树当中,这时就可以对历史的Block headers进行垃圾回收。

到目前为止我们对Checkpoint有很强的假设,认为用到的这个是正确的,但是当刚进入网络时没有任何数据,很难校验是否正确。

我们暂时用两种方法解决这个问题,一是开发者通过编码方式在代码中确认最新Checkpoint,是较为中心化解决方案,用户限定为开发者给定的解决方案,通常开发者发布新版本才会去更新,同步时用到的Checkpoint是过期的信息,所以依然需要下载很多Block headers才能够完全同步。

为了解决更新问题,第二种方案是在区块链部署一个智能合约 ,把Checkpoint更新操作通过这个智能合约完成,这种方式只要区块链产生一个新的Checkpoint,智能合约可以通过多签签名 方式注入到合约里,这样始终用的都是最新的Checkpoint。

这依然没有解决中心化的问题,我个人认为这里中心化一定程度可以被接受,假设不信任开发者,理论上也就不会使用开发者交付软件。PoW本身并没有像Pos那样的认知,所以这并不是一个特别简单的事情。

Light client 能做什么?

用户能够用Light client做哪些事情?首先,它能够帮你做交易转积,当它收到本地交易可以把交易转积到server,不断向server查询状态,一旦被确认,server就给它发送响应,这样就可以通过本地维护去校验是否正确。其次,它能够查询账本服务,对于目标帐户的状态查询本质来说是对M的一次M。

然后,Light client能够让用户在本地进行智能合约调用,把合约的二进制码需要用到的状态数据以及调入放到里面执行,等待它的输出。区别在于对于Light client来说,没有合约,二进制码也没有需要用到的状态数据,缺失的数据都是通过网络进行请求。

目前还有一个问题是缺失数据的状态在运行时才能够知道到底缺失哪些数据,所以我们发现一次合约执行过程中可能会涉及很多次网络的请求,这个智能合约整体执行效率就受到本地节点网络带宽的限制。

我们今后会把智能合约执行过程挪到server端,收集状态数据以及对应的proof,在一个网络包进行返回,通过一次网络请求获取到所有状态数据,大幅度提高在本地执行的效率。

Light client还能够让用户进行智能合约事件的订阅,但是它本身并不会去同步所有的receipts,为了完成这个功能,它只能通过每次同步得到的Block header去猜测里面是否包含用户感兴趣的事件。

我们在里面加了bloom过滤器,把关键信息收录进来,Lightclient通过同步得到一个新的Block之后可以通过过滤器根据本地用户得到的关键字进行匹配 ,一旦匹配通过,说明这个Block有可能包含目标事件,然后在本地实现精确过滤返回给用户。

最后一点,Light client能够让用户进行历史智能合约事件的搜索功能。搜索跟订阅的复杂度完全不同,最简单的是遍历Block headers,这样非常低效,但为了提高效率,我们对过滤器的存储进行了优化。

这样的优化是同时拿到3万个Block headers,把对应的过滤器同时进行90度旋转 ,分别将第0位、第1位、第2047位进行整体存储。这样的好处是假设搜索关键字为a的事件,把它进行散列,假设一个区块过滤器满足这三位同时为“1”,表明这个区块有可能包含这样一个目标事件。

但是我们发现整体只用到这3个信息,剩余的2045位都是无效的数据,90度旋转很好地解决了这个问题,我们可以有针对性的获取这3个过滤器的信息,同时一次验证3万个Block headers有哪些包含目标,提高合约搜索效率。当然,Light client数据命中是通过网络进行请求的,所以它的效率稍微低一些。

流量控制和容量管理

最后一点是关于协议中的流量控制和容量管理的一些内容。首先,流控问题,我们采取比较传统的流控技术,有所区别的是在中心化架构下,client需要往一个单点发送请求,server为它进行负载均衡、流量控制。但在非中心化情况下没有这样的单点问你的client做负载均衡。

所以这里采取了比较特殊的机制叫“镜像令牌桶”,server发送一些参数,最慢的恢复速度和一张MaxCostTablle,client在本地同样维护令牌桶,然后去判断本地令牌里面有没有这么多令牌让它发送请求,如果没有的话就不应该向server发送这个请求。在server端显得更为复杂,因为server给client都是最低配置参数 ,比如最慢恢复速度。

server处理请求有较为精确的计算公式,我们保证公式结果不会大于查询得到的结果。此外,当server发现它的资源被闲置时会给client更快令牌速度,所以同时维护两个令牌桶。

server处理完这笔请求后会根据本地的值对本地镜像令牌桶调整容量值,同样会把buffer返回。一般一个client在本地有多个server,为每个server都构建一个令牌同,client倾向于把请求转积给更多令牌的server,server也优先处理拥有更多令牌的client的请求,以实现资源的均等划分。

通过这种方式client能够借助本地令牌信息更好管理和分发它的请求,避免很低的处理优先级或者很高的响应延时。

然后是server端的容量管理,我们提供4个参数让server运维限制server资源使用。第一个是Light server,它表示1秒中有多少百分比时间server可以用来处理client的请求,后台有多个限权同时处理client的请求。同时,有两个网络带宽的参数性质,server网络带宽如果是珍贵的网络资源,可以通过这两个参数进行限制。最后一个是Light peers,表示server连接最多client的数目。

server处理请求有一个较为精确的计算公式,同时考虑两方面内容。首先是时间开销 ,也就是说处理这笔请求对应花费的时间;其次考虑网络带宽的因素,它会考虑这个请求对应的root包大小;最后取这三个上限值,假设server特别慢,这时时间开销应该是最大的,如果你的server网络带宽被限到很小值,这时网络包的开销是最大的。

然后是Buffer recharging,server端可能同时有多个client,恢复速度总和在server端有一个上限叫recharge,代表这个server所能服务的请求能力,以及server运维者可以通过这个限制进行使用。

为了最大提高server对client的服务数量,规定server端资源闲置时会给server更快令牌恢复速度。当server发现它在过去一段时间内处理的client请求累积的时间开销 ,加上本地缓存的预估时间开销的之和超过了恢复能力,这时表明server已经过载,一定的优先级请求发送频繁的client进行冻结,通过这个方式最大程度利用server端资源,同时有严格机制限制这些资源的使用。

最后是Free client和Prioriity client,它不会去参与区块的验证,不会参与其他用户发起的交易,它需要server为它免费提供请求服务。但是client在用户体验上确实有一定优势,它对资源要求非常低,非常短的时间内完成。所以我们提出了付费节点的概念,Light client可以通过微支付向server进行付费,让server给它赋予更高的容量,这样它能够发送更多请求,并且这些请求有更低的响应延时。

这时我们的Server full node收到了对应的报酬,目前运行没有任何经济激励,但是full node对网络安全是非常重要的决策,我们希望通过这种方式对现状进行一定程度的改善。

本文分享自微信公众号 - 区块链大本营(blockchain_camp),作者:Gary Rong

原文出处及转载信息见文内详细说明,如有侵权,请联系 yunjia_community@tencent.com 删除。

原始发表时间:2019-06-29

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 绯闻女孩传八卦也能作为区块链协议?10分钟告诉你为啥

    随着比特币等数字加密货币的兴起,区块链技术逐渐升温,霎时间,各种区块链技术落地场景应运而生。但是关于区块链技术本身,“去中心化”、“数据不可篡改”、“数据溯源”...

    区块链大本营
  • 程序员们,快来找漏洞啊!找到就赏15ETH

    在以太坊上递归检索动态数组或链接列表可能会造成很严重的安全问题,因为攻击者可能会增加它们的大小以使得智能合约出现异常。

    区块链大本营
  • 把700元的单片机改造成以太坊节点, 9步get起新技能!

    智能合约,是指完全按照编程方式运行的应用程序,它排除了任何停机、审查、欺诈或第三方干扰的可能性。

    区块链大本营
  • 【MySQL】组复制背景

    创建容错系统的最常见方法是创建组件冗余,换句话说,组件可以被移除,而系统应该继续按预期运行。这就造成了一系列的挑战,将这种系统的复杂性提高到一个完全不同的水平。...

    MySQL技术
  • Spring Boot Admin:微服务应用监控

    SpringBoot应用可以通过Actuator来暴露应用运行过程中的各项指标,Spring Boot Admin通过这些指标来监控SpringBoot应用,然...

    macrozheng
  • 如何直观地解释 back propagation 算法?

    BackPropagation算法是多层神经网络的训练中举足轻重的算法。 简单的理解,它的确就是复合函数的链式法则,但其在实际运算中的意义比链式法则要大的多。 ...

    zenRRan
  • java 避免出现NullPointerException(空指针)的方法总结

    Java应用中抛出的空指针异常是解决空指针的最好方式,也是写出能顺利工作的健壮程序的关键。俗话说“预防胜于治疗”,对于这么令人讨厌的空指针异常,这句话也是成立的...

    林老师带你学编程
  • slave have equal MySQL server UUIDs

        最近在部署MySQL主从复制架构的时候,碰到了"Last_IO_Error: Fatal error: The slave I/O thread sto...

    Leshami
  • JavaScript快速查找节点

    我们在实际的开发中,经常要获取页面中某个html元素,动态更新元素的样式、内容属性等。 ? 我们已经知道在JavaScript中提供下面的方法获取子、父、兄节...

    okaychen
  • 解决网站因重定向次数过多无法访问的方法

    博客的 SSL 证书快过期了,正好有空就给换了一下,结果就因为换了个证书网站无法访问了,提示重定向次数过多,看了一下请求好多个 301 请求

    沈唁

扫码关注云+社区

领取腾讯云代金券