這真是太棒了。 我點擊了幾個不同的區塊建構器 - Agave、Firedancer、BAM 和 Harmonic。這四個建構器顯示了不同的排程邏輯。我們還有 Paladin 和 Rakurai，各自有自己的版本。 從市場微觀結構的角度來看，在傳統金融中，你有一個不受限制的系統：訂單不斷到達，並由單一的匹配引擎按 FIFO 執行。這種連續性使市場做市商能夠取消報價，而不必不斷冒著被撿走的風險。不需要優先費，做市商可以在價值數百萬美元的單筆交易中報價低於 1 個基點的差價。 乍一看，Solana 似乎受到約 380 毫秒的時隙時間限制。這是事實，但在某種程度上也是如此。多虧了 Turbine，驗證者每約 15-20 毫秒就會切割交易並在網絡中傳播這些切片。一旦產生切片，該批次內的排序是固定的。由於當前區塊的利用率遠低於 CU 限制，Solana 的行為更像是一個批次 FIFO 系統，而不是時隙長度所暗示的那樣。 然而，切割只是整體情況的一部分。另一個主要限制是排程設計。不同的區塊建構器實現了意義上不同的排程邏輯：投票和非投票是如何交錯的，何時將非投票交易包含在時隙內，以及經濟上相關的交易是如何聚集的。對於主動做市商來說，這引入了不確定性。即使區塊半空且沒有因低優先費而丟失的交易，根據建構器的不同，排序仍然會因時隙而異。 主動做市商需要報價更新和交易者交易在切片內有可預測的排序。由於排程器的異質性，這種排序在時隙之間是非確定性的，這使得推理執行保證變得困難。 人們可以想像通過做市商優先或交易者流的速度障礙來減輕這一問題。但如果目標是在 Solana 上實現 ICM，這個問題需要更系統性的解決方案。 意識到存在問題是解決問題的第一步，因此 IRBL 探索器是一個非常有價值的資源。