虾说区块链-基础篇-15

liuguowengg

首先说下图灵，学过计算机的同学肯定知道这个大名鼎鼎的人物。

http://www.cnblogs.com/worldtraveler/archive/2013/08/26/3282077.html

其实这个概念很抽象有兴趣的就看这个吧：维基百科上的关于图灵完备的论文https://en.wikipedia.org/wiki/Turing_completeness

就是说图灵完备的语言，有循环执行语句，判断分支语句等。理论上能解决任何算法。但有可能进入死循环而程序崩溃。

比特币的脚本系统是图灵不完备的，而一些竞争币的智能合约系统是图灵完备的。

分析这些，结合上面说到智能合约中执行需要支付ETH，在以太坊中设置了GAS的概念，一旦GAS用尽执行也就停止了，这就很好的防止了恶意程序和死循环。

隔离见证，这个是字面翻译，千万不要咬文嚼字去理解概念，我们还是从交易开始说，来解释说明这个概念，之前文章里有对比特币交易做过解释说明，其中比特币中的数据结构UTXO，UTXO直接决定了交易中资金的使用和支配权。在比特币交易中交易是以输入输出的信息存在，输入信息证明资金的所有权，在转账过程中，转账者需要用自己的私钥签名表明能够使用这个资金，同时加上接收者的地址，说明这笔资金是转账给谁，这个过程中签名占用了大量的字节，比特币网络中的旷工需要验证这个签名，而网络中的普通节点只需要知道这个资金是不是可用，简单来说，大多数节点不涉及自己的交易并不是很关心这个签名，所有在比特币系统中出现一种将签名信息隔离开来的提议，那在UTXO中放一个指向签名信息的指针即可。从数据结构角度来说隔离见证方案就是将原来的UTXO信息分为输入、输出、签名（见证）。我们从几个图来说明下可能好理解：

现在的区块和区块链结构图：

隔离见证后的区块和区块链结构图：

隔离见证后突破1M区块的限制，由于隔离见证是一种升级方案，那就会产生分叉的问题，隔离见证分叉后如图：

隔离见证增加技术过失。将签名的merkel根硬塞进coinbase信息，这样隔离见证就能作为软分叉进行部署，这种想法就是一团烂泥，我们想要往比特币基础层放入多少杂牌组件呢？我们打算把软分叉变成一种常规活动吗？我不认为有人能够从中获益，除了那些要求获得跟大设备职权的开发者。

隔离见证实际上并不增加区块大小，它只是以一种不同的方式来计算区块大小，对隔离见证数据进行打折。这就意味着正常的非隔离见证交易将不会被计算在内。这也意味着只有比特币网络的所有人都使用隔离见证交易，这样才能实现有效区块大小增加。鉴于隔离见证的采用难以预测，实际的交易处理能力增加可能会是目前的1倍到2倍。这也是为什么我将隔离见证区块大小增加称为‘伪增长’。

转自公众号 虾说区块链