原文标题：The Great Alaskan Transaction Pipeline
原文链接：https://ethresear.ch/t/the-great-alaskan-transaction-pipeline/8472
翻译：Ada

Alaska通道（受Nervos的灵感NC-Max 9的启发）是一项将区块传播与见证传播分离的提议。一旦这两件事被分开，见证人规模对链安全的影响就会大大降低。该方案结合了一种激励证人传播的机制，旨在解决无状态以太坊的两大突出难题。

当前，交易会立即处理。 到块被密封时，该块内的所有 交易均已处理，其执行结果反映在状态根中。  Alaska将交易处理分为两个步骤：包含和执行：

**包含：**每个块都提交一个该块的交易列表。然而，这些 交易还没有被处理:它们的执行没有反映在状态根中，也没有包含它们的收据。[1]

 每个区块可以包含多少个交易是有一个限制的，但是如何确定该限制是一个悬而未决的问题（有关此问题，请参见下文）

**执行：**每个块都提交一个在该块的交易列表。
 它必须以包含它们的顺序执行交易，从尚未执行的最早包含的交易开始，并且不跳过任何交易。

 执行一个已完全应用的交易后：该执行反映在块的状态根和收据列表中

 有一个冷却时间窗口：如果他们被包括在至少η块之前，其中η是一个可配置参数，交易可能可能只会被执行。

 可以执行多少个交易块是有一些限制的，但是这些限制也是一个悬而未决的问题。

这是一个相当多的额外并发症，为什么值得这样做？**将包含与执行分离会引入延迟，这使我们有时间在每笔交易执行之前为其构建和传播见证人。**由于包含的交易有一个完整的顺序，并且不会被跳过，因此已执行的交易具有完全确定的见证人，而网络参与者拥有 η 传播这些见证人。如果每个人都是诚实的，那么块传播将不需要包含目击数据，因为当一个块被密封时，每个人都已经有了目击数据。

为了让 Alaska工作，我们将需要一个额外的网络原始对等方，可以使用它来互相八卦区块见证者，诚实的矿工会在知道见证人是什么的时候八卦一个区块的见证人。诚实的节点会通过引入延迟传播来鼓励矿工共享区块见证：任何接收到尚未收到见证的区块的节点将等待一秒钟，然后再将该区块闲聊到对等节点。

这条规则确保了任何没有预先传播见证人的矿商都有区块被延迟的风险，这将使他们面临区块被取消的重大风险，这可能会使他们损失大量的收入。如果矿商预先传播见证人，他们会在带宽方面支付额外的成本，但是对于任何合理的见证人规模，这都比他们通过将区块变成公认的区块而获得的收入重要。

该提议不会改变无状态以太坊消耗的带宽，见证人仍然必须被传播。然而， Alaska在我们没有带宽限制的时候传播这些见证人：块传播之间。**因此，众多的目击者不会减慢块的传播速度。**

那就是伟大的 Alaska交易通道！

## 开放式问题：

 显而易见：η应该是什么？ 传播延迟应多长时间？

 未执行的交易队列应遵循哪些规则？ 我们如何防止队列无限增长？ 我们使用的任何规则都应确保接下来的几个见证人是确定的。

 矿工提供两种独立的服务：包括交易和执行交易。 在这两个操作之间应如何划分费用？

 Alaska如何与ReGenesis互动？

 Alaska如何与1559互动？

 要使Alaska工作，见证人必须具有确定性。 这意味着像BLOCKHASH之类的操作码必须像当前块是其中包含交易的块一样工作，而不是在交易执行期间使用当前块。 还有其他可能导致见证人不再确定的事情吗？

 过渡策略是什么样的,我们如何切换到这些新规则?

## 拟议交易队列边界规模的规则：

这个解决方案不是很干净，但似乎是一个不错的起点：允许交易队列增长直到交易总数为（η* blockGasLimit）/ 21000。 区块必须从队列中尽可能多地执行交易，而不会超过区块上限（并且不违反至少在η个区块之前必须包含交易的规则。这条规则意味着未来区块的见证人是完全确定性的：矿工 不能控制它们要处理多少个 交易，这也意味着某些 交易将被执行/验证两次：一次表明完全处理该 交易将导致该块超出限制；在下面再次执行该交易块。

**脚注：**

[1]：此描述是一种简化：每个块都不承诺它所包含的交易集，而是承诺未执行交易的全部队列。 每个块将一些交易追加到未处理交易队列的末尾，并提交到新队列。 这允许网络参与者无状态地处理块。

巨大的 Alaska交易通道