一文了解无状态 Rollup

注：原文作者是 Alex Beckett，目前就职于 Celestia。全节点验证区块的方式，是通过下载所有交易并重新执行它们来检查其有效性，毫不奇怪的是，更大的区块会给全节点带来更大的负担，因为处理和验证每个区块需要更多的硬件。而欺诈和有效性证明等技术使得节点能够检查有效性，而无需重新执行每笔交易。数据可用性采样技术使得节点能够验证数据可用性，同时只下载每个区块的一小部分。剩下的最后负担之一就是状态。要验证区块，全节点还必须存储整个状态的副本。随着状态的增长，对全节点的存储需求也会增加。幸运的是，状态增长在一定程度上也是可以解决的。所谓无状态（Statelessness）是一种特性，是指全节点可以在不存储状态的情况下验证区块（这就叫无状态）。而无状态主要有两种：强无状态：不需要节点来存储状态。 ………………………………