用数学论证证明整个区块链是可能的
电子硬币公司（ECC）表示它已经发现了一种新的方法来扩展区块链，使其具有递归证明组合，这证明了在一个函数中验证整个区块链。 。对于ECC和Zcash，新的Halo项目可以在比例级别保存私钥。
椭圆曲线secp256k1用于比特币和以太坊|来源：Hackernoon
Bowe的工作类似于防弹，另一个zk-SNARK不需要可靠的设置。鲍威说：“晕就像递归的防弹。”
从技术角度来看，防弹依赖于“内部产品参数”来将关于曲线的某些信息相互转发。不幸的是，与典型的zk-SNARK验证相比，这个论点既昂贵又耗时。
通过向一个人证明多个zk-SNARK，在Bowe的计算能量研究削减部分成本之前，任务无法完成。鲍说：
“人们一直在考虑防弹堆叠。由于内部产品的争论，防弹验证器的问题非常昂贵。我不完全使用防弹，我使用之前建造的防弹理念。“
实际上，Bowe说递归证据意味着你可以在比Bitcoin占用80字节数据更少的空间中证明整个比特币区块链。
Zcash的未来
在推特上，Wilcox表示，该公司目前正致力于将Halo作为zcash的1类解决方案实施。
1类解决方案是代码库中的实现，以形成区块链。大多数扩展解决方案，如比特币的闪电网络，都是建立在区块链状态之上的第2层解决方案。 ECC将Halo变成1级解决方案的兴趣说明了这一发现的原创性，因为它将位于比特币自己的父亲中本聪复制的代码旁边。
“ECC正在探索使用Halo for Zcash来消除可靠的设置，并通过使用嵌套的证明组件来扩展第1类中的Zcash” – zooko。
从私人硬币的早期开始，扩展一直是一个有争议的问题：隐藏交易需要大量数据，你如何发展你的全球网络。 ？
Bowe和ECC要求递归证据来解决这个难题：只需要一个验证整个区块链的证据，就可以解决数据问题：
“隐私和可扩展性是两个不同的概念，但这里有一个独特的组合。大约5年前，学者们正在研究递归的snark，这种证据可以验证自己或验证其他证据，甚至验证许多证据。因此，使用递归证明组件，您只需要一个证明来验证整个区块链。“
可以肯定的是，这不是一个次要的代数：Bowe说仅凭证据花了将近九个月的时间来将不同的部分组合在一起。
节点的新方法
递归证据的另一个含义是区块链上存储的数据量。 Bowe说，因为可以在一个功能中验证整个分类帐，所以建立新节点比以往更容易。
“你可以看到更高容量的区块链，因为你无法在区块链中传达整个历史。如果你想要查看整个网络而不必下载整个区块链，那么仍然需要看到状态链。“
虽然仍然需要监控州链以进行基本的交易验证，但是对于以太坊和比特币400 GB和200 GB的区块链的整个历史同步将成为备份解决方案。
对于Zcash，Halo意味着硬分叉更容易。如果没有可靠的设置，ECC研究表明“PoS更改只需要参考最新证据，允许永久删除旧历史记录”。
当被要求用其他进展评价他的发现时，Bowe谈到了它的实用性：
“我的研究在加密货币世界的系统中处于什么位置？它有一个加密货币工具来压缩计算和扩展协议。“
- Sberbank通过使用区块链 Hyperledger“购买了1500万美元的债务”
- Mastercard，R3开发基于区块链的跨境支付平台
Minh Anh
比特币杂志| Coindesk
•Telegram更新的新闻