草庐IT

bitcoin轻钱包之SPV验证

Sal. 2023-05-27 原文

SPV验证

在bitcoin中被首次使用,本文就针对bitcoin中的SPV验证来介绍。

区块结构

  • 区块头header+区块体body
  • 区块头:版本号、随机数、挖矿难度、前一个区块的哈希、Merkle根(交易列表计算而成的)
  • 区块体:交易列表

轻客户端

全节点( Full Node )和轻客户端( Thin Client ):全节点是一个程序,例如中本聪自己写的 Bitcoin Coin ,这个程序运行起来之后,会把整条区块链都下载到本地。目前(2022年中),bitcoin所有区块大小总和已经达到几百G,要在手机上跑全节点基本是不可能的。所以有轻客户端的概念,例如 Electrum 就是个轻客户端。轻客户端可以安装在电脑上也可以安装在手机上,为啥呢?因为轻客户端只会去下载区块头,每个区块头只有80K,所以一条区块头组成的链,只有几十兆。

SPV 就是一个在轻客户端环境下,验证交易有效性的过程。

SPV验证过程

安装全节点,很多时候是因为我们要挖矿。而安装轻客户端,通常就是把它当成一个钱包软件用。SPV 要解决的就是使用轻客户端交易时的支付确认问题

钱包当然就是用来负责当前账户的转入和转出操作的。先说转出,**轻客户端能构建交易,并且签名交易,再广播到全网。再说转入,网上交易很多,但是轻客户端只会去下载跟自己的账户相关的交易。**那么不管是转入还是转出交易,下载到轻客户端本地的都是相对孤立的交易,因为本地没有保存区块体。那么如何去验证交易生效了呢?这就是 SPV 要解决的问题。我们知道,一个交易在区块链上生效,意味着要满足两个条件:一个是交易已经被打包到了某个区块中,另外一个是这个区块之上又继续打包了5个区块,也就是所谓的六次确认。

但是,毕竟轻客户端这里是没有保存任何交易的,所以一个独立的交易拿出来,要确定它属于哪个区块也是不可能的。这时候轻客户端需要发起 SPV 过程

1、首先,轻客户端要发起一个专门的确认请求,把这个交易广播给网络上邻近的全节点

2、全节点收到交易后,会去搜索这个交易属于哪个区块,然后会运算这个区块的 Merkle Tree

这时, Merkle Tree 最大的优势现在就发挥出来了,因为要确认一个交易是不是从属于一个 Merkle 根,是不需要把整个 Merkle Tree 都发送给轻节点的,而只需要发送跟当前交易相关的部分 Merkle 树即可。

3、这样,轻节点接收到这个局部的 Merkle 树之后,在自己本地运算一下这个交易的哈希,然后根据部分 Merkle 树上的各个哈希值,一路运算获得 Merkle 根,如果这个值跟自己的区块头中的正好吻合,交易验证就成功了

总结来说,轻节点想要确认本地保存的某交易,是否被打包进区块链,需要触发SPV验证过程,过程如下:

  1. 轻节点向邻近所有全节点发送SPV确认请求request
  2. 全节点在区块链中搜索request中包含的交易t所在区块b
  3. 全节点计算区块b的Merkle树
  4. 全节点发送部分Merkle树给轻节点
  5. 轻节点根据这部分树和t计算出来一个Merkle根root1
  6. 轻节点比较root1和本地保存的区块头中的merkle根,若相同说明t已经被包含在区块链中

所以整个 SPV 过程是靠全节点帮忙去验证交易的,轻节点自身不能验证交易,但是通过确认其他全节点都接受了这次交易,就间接完成了交易确认。但是,全节点有没有可能反馈一个假的 Merkle Tree 过来呢?答案是不可能。反馈一个假的,不可能骗到用户,因为和用户本地的merkle root根本不会一样。想要伪造成功,就是去碰撞 sha256 算法,这是计算不可能实现的。

SPV 有什么用处?

首先一个用处就是实现钱包软件。如果一个钱包软件想要安装在移动设备上,想要避免去下载一百多 G 的区块数据。那么就只有两个思路,一个是借助中心化服务器,让钱包去把信息先发送到服务器,然后由服务器去验证交易,这样的思路显然就偏中心化了。另外一个思路就是 SPV ,类似 Electrum 这样的钱包,就可以通过只下载区块头来验证交易,整个的数据量和计算量都是不大的,可以直接运行在低端设备上。所以很多轻客户端,也叫轻钱包,或者叫 SPV 钱包。

SPV 的另外一个用途就是实现侧链技术。侧链就是可以通过双向锚定来使用主链上的币的一条链,上面可以做出各种创新。例如基于bitcoin的侧链开发出的 RootStock ,可以基于bitcoin实现智能合约平台。而双向锚定过程,就依赖于 SPV 技术。

所以,虽然 SPV 在白皮书上所占的篇幅不大,但是实际中发挥的作用是非常大的。

总结

第一,区块由区块头和区块体组成,区块头中的前一个区块的哈希,其实就是之前一个区块的区块头的哈希,所以单独下载区块头,也能得到一条链。

第二,同样是bitcoin网络上的节点,却可以分成全节点和轻客户端两类,轻客户端就是只下载了区块头。

第三,SPV 解决的就是在轻客户端中去确认单独一个交易的过程,总体思路是去相邻的全节点中去请求部分 Merkle 树信息,到本地验证通过,就证明其他的全节点都接受了这个交易。

第四,SPV 是开发钱包软件和侧链的关键技术,意义非常重大。

有关bitcoin轻钱包之SPV验证的更多相关文章

  1. ruby-on-rails - 如何验证 update_all 是否实际在 Rails 中更新 - 2

    给定这段代码defcreate@upgrades=User.update_all(["role=?","upgraded"],:id=>params[:upgrade])redirect_toadmin_upgrades_path,:notice=>"Successfullyupgradeduser."end我如何在该操作中实际验证它们是否已保存或未重定向到适当的页面和消息? 最佳答案 在Rails3中,update_all不返回任何有意义的信息,除了已更新的记录数(这可能取决于您的DBMS是否返回该信息)。http://ar.ru

  2. ruby - 具有身份验证的私有(private) Ruby Gem 服务器 - 2

    我想安装一个带有一些身份验证的私有(private)Rubygem服务器。我希望能够使用公共(public)Ubuntu服务器托管内部gem。我读到了http://docs.rubygems.org/read/chapter/18.但是那个没有身份验证-如我所见。然后我读到了https://github.com/cwninja/geminabox.但是当我使用基本身份验证(他们在他们的Wiki中有)时,它会提示从我的服务器获取源。所以。如何制作带有身份验证的私有(private)Rubygem服务器?这是不可能的吗?谢谢。编辑:Geminabox问题。我尝试“捆绑”以安装新的gem..

  3. ruby-on-rails - 如果为空或不验证数值,则使属性默认为 0 - 2

    我希望我的UserPrice模型的属性在它们为空或不验证数值时默认为0。这些属性是tax_rate、shipping_cost和price。classCreateUserPrices8,:scale=>2t.decimal:tax_rate,:precision=>8,:scale=>2t.decimal:shipping_cost,:precision=>8,:scale=>2endendend起初,我将所有3列的:default=>0放在表格中,但我不想要这样,因为它已经填充了字段,我想使用占位符。这是我的UserPrice模型:classUserPrice回答before_val

  4. ruby-on-rails - 如何验证非模型(甚至非对象)字段 - 2

    我有一个表单,其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在?solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss

  5. ruby-on-rails - 如何将验证与模型分开 - 2

    我有一些非常大的模型,我必须将它们迁移到最新版本的Rails。这些模型有相当多的验证(User有大约50个验证)。是否可以将所有这些验证移动到另一个文件中?说app/models/validations/user_validations.rb。如果可以,有人可以提供示例吗? 最佳答案 您可以为此使用关注点:#app/models/validations/user_validations.rbrequire'active_support/concern'moduleUserValidationsextendActiveSupport:

  6. ruby-on-rails - 跳过状态机方法的所有验证 - 2

    当我的预订模型通过rake任务在状态机上转换时,我试图找出如何跳过对ActiveRecord对象的特定实例的验证。我想在reservation.close时跳过所有验证!叫做。希望调用reservation.close!(:validate=>false)之类的东西。仅供引用,我们正在使用https://github.com/pluginaweek/state_machine用于状态机。这是我的预订模型的示例。classReservation["requested","negotiating","approved"])}state_machine:initial=>'requested

  7. ruby - 如何在 Rails 4 中使用表单对象之前的验证回调? - 2

    我有一个服务模型/表及其注册表。在表单中,我几乎拥有服务的所有字段,但我想在验证服务对象之前自动设置其中一些值。示例:--服务Controller#创建Action:defcreate@service=Service.new@service_form=ServiceFormObject.new(@service)@service_form.validate(params[:service_form_object])and@service_form.saverespond_with(@service_form,location:admin_services_path)end在验证@ser

  8. ruby - 如何验证 IO.copy_stream 是否成功 - 2

    这里有一个很好的答案解释了如何在Ruby中下载文件而不将其加载到内存中:https://stackoverflow.com/a/29743394/4852737require'open-uri'download=open('http://example.com/image.png')IO.copy_stream(download,'~/image.png')我如何验证下载文件的IO.copy_stream调用是否真的成功——这意味着下载的文件与我打算下载的文件完全相同,而不是下载一半的损坏文件?documentation说IO.copy_stream返回它复制的字节数,但是当我还没有下

  9. ruby-on-rails - ruby on rails 模型验证中的浮点精度 - 2

    我正在尝试使用正则表达式验证美元金额:^[0-9]+\.[0-9]{2}$这工作正常,但每当用户提交表单并且美元金额以0(零)结尾时,ruby(或rails?)将0砍掉。所以500.00变成500.0,因此正则表达式验证失败。有没有办法让ruby​​/rails保持用户输入的格式,而不管尾随零? 最佳答案 我假设您的美元金额是小数类型。因此,用户在字段中输入的任何值在保存到数据库之前都会从字符串转换为适当的类型。验证适用于已转换为数字类型的值,因此在您的情况下,正则表达式并不是真正合适的验证过滤器。不过,您有几种可能性可以解决这个问

  10. ruby-on-rails - 嵌套模型验证 - 错误不显示 - 2

    关于这个有很多问题,但似乎都没有帮助。是的,我看过thisrailscast.我有一个作者,他有很多书,像这样:作者:classAuthor书:classBook我创建了以下表单以在authors#show中向作者添加一本书:#labelsandbuttons......使用以下authors_controller方法:defshow@author=Author.find(params[:id])@book=@author.books.buildend...以及以下books_controller方法:defcreate@author=Author.find(params[:autho

随机推荐