昨天的实时证明公告是一个巨大的里程碑，@VitalikButerin 提出了关于需要进一步工作的几个好点子。 但我认为在所有这些点上，我们比人们意识到的要更接近…… 1. 最坏情况下，实时证明可以通过对以太坊的 gas 调度进行简单更改来解决：今天，约 94% 的区块可以在 < 12 秒内证明，99% 的区块可以在 < 13 秒内证明。对于剩下的少数异常情况，对以太坊的 gas 调度进行简单调整应该就足够了（目前 bn254、bls12-381 的预编译相对于它们的证明成本定价过低）。此外，限制单个交易最大 gas 使用量的 EIP 将有助于确保没有 DDOS 向量（因为我们并行证明交易的子区块以实现低延迟）。 2. SP1 的形式验证已经在进行中：方便的是，我们在过去一周内有 2 个关于 SP1 形式验证的公告，与 @NethermindEth 和 @VeridiseInc 合作！我们对在接下来的几个月内正式验证我们所有核心 AIRs 有清晰的视野。 3. 不需要家庭证明，去中心化的证明网络就足够了：现在 RTP 需要 ~160 个 GPU，这对于任何数据中心来说都很小，但对于家庭设置来说可能稍微大了一点。然而，随着去中心化证明网络的即将推出，我不确定我们是否需要在家进行证明。网络将经济激励确保总有证明者在线，随时准备进行实时证明。 4. 子区块的并行证明意味着将 gas 限制提高 100 倍对延迟没有问题：我完全支持将 gas 限制提高 100 倍，这对我们来说没有问题。我们的实时证明实现使用子区块方法，我们将一个区块分解为几个交易的小子区块。这些子区块是并行证明的，然后在最后聚合成 1 个证明。即使 gas 限制增加 100 倍，我们仍然可以并行证明子区块（只是数量更多），这意味着延迟不会受到影响。 相信一些真实的东西。相信实时证明。