阿剑:statelessness 没有那么复杂。当然要用零知识证明去做也可以。比如我记得 celo 就是这个意思。 用户 LEO:那我理解这样的话在类 pbft 共识下节点可以是一个轻钱包了,全量数据存储可以解藕出来。 阿剑:是的 用户 aollx:以太 2.0 那个不用存储所有数据就可以验证交易和状态的技术吗? 阿剑:这个问题问的是跟 「无状态性」 有关的问题。当前的以太坊全节点需要保存全网的状态(状态指区块中交易处理完成后得到的各账户余额、合约存储内容等),因为交易本身并不附带自己所要访问的状态,节点必须自己保存状态来检索;但 「无状态性」 的思路是让交易附带对自身所访问的状态的有效性证明(比如说是默克尔证明),而验证的一方就不再需要保存全部状态数据了,反正用于验证的材料都在交易中附带了。 Eth1.x 的 statelessness 现在的主要思路还是用 Merkle Proof,毕竟主网的状态是用默克尔树来表达的;但与此同时还有另一种思路是 aSVC,这是 ETH2 的研究员提出的,基本思路是拆得更细:用户自己掌握改变自己账户状态的工具,但这个工具会随着交易的处理而不断变化;不再有状态的概念,相反,大家公认的是对状态的承诺;每一笔交易的处理都会改变对状态的承诺,同时要求所有用户调整自己的工具。 这样一来,所有成员都只需要知道状态承诺的变化,以及造成这些变化的交易的一些关键数据(用于更新自己的工具)即可。它也是无状态的。aSVC 据说开销也很小,但实际开销我觉得可能还没有人做过测试。全节点的计算负担会变得小很多,但是与此同时,需要占用的带宽会变多(因为需要传输额外的数据)。在 Merkle Proof 模式里面是这样的。aSVC 是为更大程度降低带宽需求而去研究的 用户郭欣晨:以太坊域名 ENS 是不是还太早期了?感觉难以推动。 阿剑:ENS 迟早会有前途的,我是这么相信的。虽然现在大家很难靠炒域名致富 用户 yan:综合来看,ETH 2.0 发展路径上是否还有难度很高,不确定性很大的未解决问题? 阿剑:的确有一些挺难的问题,但这个我觉得大家还是要多点耐心吧。有些事情我们不懂,不内行,或者要等它很清楚了才能看得清楚。对这些问题,我觉得耐心和谦虚是美德。 用户 yan:是的,有时候困难就是正确的一部分,一马平川反而是偷懒的想法。 用户 Shawn Chan:请问 ETC 对于 ETH 有什么价值或用处吗?有听到 ETC 能成为 ETH 的测试网这种论调,所以好奇问一下。 阿剑:相关的问题或者思路应该是跟 Phase1 阶段的交易执行有关,但我觉得目前的思路都不明朗,我甚至是有点怀疑的。 (责任编辑:admin) |