昨天的實時證明公告是一個巨大的里程碑，@VitalikButerin提出了一些關於需要進一步工作的好點。 但我認為我們在所有這些點上都比人們可能意識到的更接近...... 1. 最壞情況的實時證明可以通過簡單地更改乙太坊的 gas 時程表來解決：今天，~94% 的區塊可以在 < 12 秒內得到證明，99% 的區塊可以在 < 13 秒內得到證明。對於剩餘的異常值，對乙太坊的 gas 時程表進行簡單調整就足夠了（目前 bn254、bls12-381 預編譯相對於其驗證成本來說定價過低）。此外，限制單個交易的最大 gas 使用量的 EIP 將有助於確保沒有 DDOS 向量（因為我們並行驗證交易的子塊以實現低延遲）。 2. SP1 的形式驗證已經在進行中：方便的是，我們在過去一周內發佈了 2 個關於 SP1 形式驗證的公告，分別與 @NethermindEth 和 @VeridiseInc合作！我們有一個清晰的前景，可以在未來幾個月內正式驗證我們所有的核心 AIR。 3. 去中心化證明器網路不需要在家證明：目前 RTP 需要 ~160 個 GPU，這對於任何數據中心來說都非常小，但對於家庭設置來說可能略大。然而，隨著即將推出的去中心化證明者網路，我不確定我們是否需要以在家中證明為目標。該網路將在經濟上激勵始終有在線證明者準備實時證明。 4. 子塊的並行證明意味著 100 倍的 gas 限制對延遲沒有問題：我完全支援 100 倍的 gas 限制，這對我們來說沒有問題。我們的實時證明實現使用子塊方法，我們獲取一個區塊並將其分解為幾筆交易的較小子塊。這些子塊並行證明，然後在最後聚合成 1 個證明。即使 gas 限制增加了 100 倍，我們仍然可以並行證明子塊（只是子塊更多），這意味著延遲不會受到影響。 相信真實的東西。相信實時證明。