Solana 曾承諾更快的終局性,如今驗證者得證明它真的做得到

SOL
阿爾卑斯之光SIMD-0326SolanaVotor
1 小時前來源: crypto.news
Solana 曾承諾更快的終局性,如今驗證者得證明它真的做得到

Alpenglow 正在 Solana 的測試網路上運行,而主網仍依賴其現有的共識機制。擬議的切換將改變驗證者如何就區塊最終性達成一致。150 毫秒的目標是在特定條件下的效能聲明,而非承諾每位用戶的支付都能在那段時間內完成。

摘要

  • SIMD-0326 在 Anza 的驗證者排程中仍列為待主網啟用。
  • 追蹤器列出 Agave 4.3.0 用於 Alpenglow,以及較低的主網版本下限 4.2.2。
  • 初始提案引入 Votor 共識,但保留 Turbine 資料傳播。
  • Alpenglow 的提案描述了 20% 對抗性加上 20% 無回應質押模型。
  • 9 月 28 日的功能啟用窗口本身並未安排 Alpenglow 的主網切換。

Solana 最具影響力的共識變更正在通過一系列驗證者測試。Anza 的功能閘門追蹤器將 SIMD-0326(即 Alpenglow)列為待主網啟用項目之一。它記錄了測試網和開發網的啟用位置,並指出 Agave 4.3.0 是與該功能相關的軟體版本。同一快照中顯示的主網版本下限為 4.2.2,而 4.3.0 被列為下一個預期下限。計劃的版本下限和實際運行的共識功能是不同的里程碑。

較早的測試網報告描述了向更廣泛驗證者測試的轉變。後來的開發網報導提到了兩個測試網路,而主網則繼續使用其當前共識。這就是評判任何承諾速度提升的基準狀態。

9 月 28 日是一個日曆陷阱

一個排程條目稱主網功能啟用將於 9 月 28 日恢復。它並沒有說 Alpenglow 本身會在那天切換。追蹤器另行將 Alpenglow 列為待處理。將恢復功能閘門隊列的日期視為預定的協議切換,把一個流程標記變成了虛假的截止日期。9 月 29 日的更正追溯了這一混亂,並表示 Anza 已否認所聲稱的啟動日期。

這一區別至關重要。驗證者可以採用包含休眠代碼的軟體版本,而不啟用該功能。版本下限可以在質押閾值和 epoch 通過後提高。一個單獨的功能閘門可以啟用新行為。用戶在儀表板上看到版本號變化,並不因此意味著更快的最終性協議已經上線。

正確的新聞焦點是,在廣泛流傳的日期之後,測試和啟用過程仍在進行中。最終的主網窗口需要明確的排程、營運商準備以及公開測試的證據。這些步驟都不會被一篇描述升級即將到來的社交貼文所取代。

Votor 改變投票,而 Rotor 仍在等待

SIMD-0326 提案主要圍繞 Votor(新的共識機制)定義了初始舉措。它明確將 Rotor(擬議的資料傳播替代方案)留待單獨變更,並最初保留現有的 Turbine 傳播。對完整 Alpenglow 堆疊的行銷描述可能會模糊這一範圍。

共識回答的是當足夠多的驗證者已就某個區塊達成一致時,該區塊應被視為協議下的最終區塊。資料傳播回答的是該區塊如何到達這些驗證者。執行回答的是交易是否成功運行。應用程式還會等待其 RPC 提供商報告結果。更快的投票無法消除該路徑中的所有其他延遲。

150 毫秒這個數字,最適合理解為在有利網路條件下、於共識層測量的最終性目標。它不是使用者端到端的結帳時間,因為使用者的錢包還必須簽名、提交、送達領導者、被納入區塊、執行,並透過 RPC 服務返回。一個有用的公開基準應該明確標示其起點與終點。從區塊提案時開始計時的碼錶,與顧客按下傳送時開始計時的碼錶,兩者不可相提並論。

該提案以不同的安全性與活性權衡,取代了原有的投票安排。它描述了一個 20 加 20 模型,在既定假設下可容忍一個對抗性份額以及另一個不回應份額。作者明確指出,單輪投票無法達到兩輪設計所能達成的相同 33% 拜占庭門檻。這項承認應該與速度宣稱並列,而不是放在註腳裡。

兩欄測試可防止誤導性的基準

第一欄應從驗證者的視角測量協定最終性:從被提案的區塊到最終化憑證的經過時間,包括緩慢結果的分布。第二欄應測量使用者已確認的交易:從提交到執行、納入、最終化以及 RPC 回應。這兩欄之間的差異,正是共識標題數字所未衡量的工作。

假設某項測試報告提案後最終化為 150 毫秒,但交易納入還需等待一個 350 毫秒的時槽,而 RPC 交付又需另外 100 毫秒。在這些示意性假設下,顧客至少會看到 600 毫秒,還未計入簽名或重試。計算方式是 350 加 150 加 100。這些是假設性時序,並非 Alpenglow 在生產環境中的實測數據。它們說明了為何次秒級的共識數字不一定等同於次秒級的支付體驗。

中位數延遲可能掩蓋營運者最在意的情況。一個卡在不良網路路由、暫時性分割、遺漏投票或繁重重播工作之後的驗證者,可能會看到長尾。交易所與支付供應商通常會針對罕見的惡劣狀況建立最終性政策,而不只是看基準中位數。一個可信的推行方案應該公布百分位結果、恢復行為以及領導者失敗的後果。

時槽時間提案是另一個變數。它尋求從 400 毫秒目標分階段降低至 200 毫秒。時槽間隔與最終性相關但不同;宣稱每個更短的時槽都證明 Votor 有效,會混淆兩項升級。先前的驗證者測試報導在這更廣泛推行之前,就已跟進了該協定測試。

驗證者必須測試失敗情況

網路的順暢路徑是產生快速數字最容易的環境。一個主網候選方案必須能承受驗證者晚加入、訊息跨區域延遲、軟體重啟、領導者失敗以及對鏈的衝突視圖。Alpenglow 遷移提案處理了從舊投票狀態到新狀態的交接。一個正確的穩態協定仍可能因不良的過渡而暴露問題。

測試應顯示叢集在分割修復後是否達成一個一致的最終決定、若有意義份額的質押離線後它多快恢復,以及具有不同相容版本的節點是否回報相同結果。測試網之所以有價值,是因為擁有不同基礎設施的驗證者會遇到受控實驗室可能遺漏的狀況。它無法精確重現真實網路的經濟誘因與流量。

客戶端組合很重要。Anza 的追蹤器在所觀察的快照中,將 Firedancer 與 Frankendancer 標記為不支援 Alpenglow 那一列。那是特定排程中的相容性狀態,並非對任一客戶端的永久性宣稱。生產遷移必須考量執行各實作的質押,或明確指出那些營運者需要改變什麼。

驗證者誘因也是測試的一部分。執行新的投票協定可能改變頻寬、硬體需求與參與成本。如果較小的營運者因為無法滿足要求而退出,更快的網路最終可能擁有更少的獨立參與者。啟用後的實際營運者數量與質押分布,將可檢驗這項權衡。

快速證書和慢速證書服務於不同的條件

該協議並不依賴於一條總是在150毫秒內完成的路徑。SIMD-0326定義了快速最終性,即當代表80%權益的驗證者在一輪中公證一個區塊時。其較慢的路徑依賴於兩輪,涉及60%的權益以及公證和最終性證書。領導者可能未能及時交付有效區塊,在這種情況下,驗證者可以投票跳過該時槽。該設計包括跳過時槽的證書和回退路徑。僅測量80%快速路徑的頭條基準將恰好遺漏那些使最終性有價值的情況。

這種區別可以付諸實踐測試。對於一天中每個提議的時槽,計算使用快速證書最終化的份額、使用較慢路徑的份額以及跳過的份額。分別給出每個類別的中位數以及第95和第99百分位數。快速中位數很有用,但運營者需要知道網絡離開快速路徑的頻率以及隨後恢復需要多長時間。一個每天處理數千筆收據的支付服務可能會經歷長尾事件,即使該事件對單筆轉賬來說很罕見。

證書是權益加權共識的緊湊、可驗證記錄。它不是由固定數量機器進行的投票。十個小型驗證者不能僅僅通過數量超過一個代表大量權益的驗證者來替代它。因此,報告驗證者數量而不報告權益分佈會錯誤陳述安全測試。正確的數字是每輪參與的權益、離線的權益以及不同意見的權益。這些數字需要時間戳,因為權益分配和運營者可用性會發生變化。

該提案稱,一個直接最終化的區塊也決定了其祖先:其鏈中的先前區塊變為最終化,被省略的時槽被視為跳過。這意味著儀表板可以顯示最終性在緩慢期後成組到達。將這些祖先的表觀完成時間平均成一個吸引人的數字的測量方法,將難以與經歷了暫停的用戶進行比較。測試應保留每個區塊的原始提議時間和證書觀察時間。

協議作者並不聲稱與每個競爭設計具有相同的對抗閾值。他們的20加20框架接受了拜占庭故障和無響應權益之間的不同平衡,以換取更短的正常路徑。這種權衡是否可接受是一項治理判斷,需依據威脅建模和性能證據,而不是由單一最快案例演示所決定的。SIMD-0326中異常坦誠的安全部分使得可以在不歸因於任何一方動機的情況下報告這種權衡。

切換共識需要一個共享的起始區塊

遷移文檔解決了一個速度圖表無法顯示的問題。舊共識和新共識在切換後不能安全地作為獨立歷史運行。驗證者必須就成為第一個Alpenglow區塊父區塊的最終舊區塊達成一致。該文檔將該共享點稱為Alpenglow創世區塊。如果運營者對其意見不一致,他們後續的最終性證書將指向不兼容的歷史。

提議的交接在功能激活時槽之後開始,但用於遷移的邊界位於5,000個時槽之後。額外的間隔旨在避免一個紀元的開始。然後該過程等待一個滿足強樂觀確認條件的區塊,其投票在提案指定的模式中代表至少82%的權益。驗證者為一個共同祖先區塊簽署創世投票。82%的創世證書為他們提供了切換的證據。這些閾值的計算屬於遷移設計的一部分,與切換後Votor的80%快速最終化路徑分開。

收到創世證書的驗證者根據相關紀元的BLS密鑰驗證其簽名並廣播它。然後該計劃從選定的區塊初始化Votor,並停止後續時槽的TowerBFT。它回滾選定創世點之後的區塊,並在處理新區塊之前重置相關狀態。該文檔認為這種回滾是安全的,因為用戶交易未被打包到那些臨時區塊中。這一主張值得在實際集群上進行測試;這不是應用運營者僅從最終性頭條就能驗證的事情。

節點在交接期間可能離線。該文檔描述了返回的驗證者如何從快照中學習創世證書,或在觀察到有效的Alpenglow最終化證書後趕上。這是發布工程與共識理論交匯的地方。如果晚到的節點錯誤地解釋過渡,即使多數集群繼續運行,它也可能呈現過時或不一致的數據。交易所和RPC提供商應演練重啟和快照恢復場景,而不僅僅是觀看初始切換成功。

存在一項明確的活性成本。遷移提案指出,交接可能中斷進度,樂觀情況下會超出邊界一個時槽。一個時槽的預期並非最大服務水準保證。啟用後的公開事後檢討應說明跳過了多少個時槽、使用者交易打包是否暫停,以及外部服務花了多久才恢復正常的確認回報。快速的穩定狀態無法讓過渡期間從使用者的體驗中消失。

這就是為什麼主網日期無法從一般軟體行事曆推斷。安全切換需要相容的 BLS 金鑰註冊、已採用的功能閘門、共同的起始區塊、憑證分發、回滾行為,以及對落後節點的復原機制。這些都是營運者可觀察的任務。遷移規格提供了一份檢查清單,而實際的網路演練將顯示這份清單是否足夠。

驗證者成本可能改變參與者組成

這項升級除了延遲目標之外,也有經濟設計。在目前的投票機制下,營運者發送投票交易並支付相關費用。SIMD-0326 提議改為收取驗證者入場票(validator admission ticket,VAT),以取代這種費用模式。該文件給出的初步估計約為每天 0.8 SOL,或每個 epoch 1.6 SOL,並表示整筆付款將被銷毀。這個數字是提案中的初始參數,並非針對每位驗證者的實際帳單明細。

固定的入場成本可以簡化一項支出,但對委託質押量少的小型營運者而言負擔更重。大型驗證者與小型驗證者賺取的獎勵並不相同。問題在於,在計入節省的投票費用、硬體成本、頻寬與 VAT 之後,他們的淨經濟效益是否改善。提案指出,營運者在遷移後應會看到資源使用量降低。那是預期效果,而非在實際驗證者集合中測量到的結果。

一項有用的前後對照比較,會追蹤同一批營運者經歷整個升級過程。針對每個質押區間,比較切換前的每日投票費用與切換後的 VAT 及營運成本。計算停止產生投票或離開活躍集合的獨立營運者比例。若離開的驗證者質押量微不足道,機器數量下降本身並不能證明去中心化程度降低,但這會是一個值得調查的警訊。質押集中度與地理多樣性將提供必要的背景脈絡。

提案指出,資金不足的驗證者將被移出活躍集合。這使得票券餘額管理成為一個正常運行時間的議題。營運者需要在資金耗盡前收到警示,而委託人需要了解若他們選擇的驗證者變為非活躍會發生什麼事。一個能在實驗室運作的共識協定,與一個能日復一日運作的網路之間的差異,包含了平凡的帳戶資金管理。先前關於 Solana 驗證者治理的報導描述了正式決策路徑;實施後的持續參與則是另一項獨立的考驗。

生產環境的問題不僅僅是 150 毫秒是否可達成。而是是否有足夠廣泛的驗證者集合能夠提供那樣的效能,且不會出現未經回報的成本上升或營運脆弱性。以更狹窄的營運者基礎實現更快的終局性,將與該提案的完整承諾產生不同的結果。延遲與參與度都需要在切換前取得基準。

交易可以已終局,而服務仍落後

交易所入金說明了鏈上終局性與使用者可用餘額之間的落差。首先,客戶提交一筆已簽署的交易。轉帳到達領導者並被納入一個區塊。驗證者投票,終局性憑證形成。一個 RPC 服務觀察到該憑證並回報。交易所的入金監控器識別地址與資產,執行其政策檢查,並將款項記入帳戶。共識變更主要縮短了該序列中的一個區間。

交易所可能選擇等待更久。它可能對大額入金要求額外檢查、比對多個 RPC 供應商的結果,或在事件期間延遲入帳。那並不表示鏈未能達成其終局性目標。那表示鏈上基準不能宣稱等同於客戶保證的入帳時間。公平的產品宣稱應區分區塊終局性、RPC 可見性,以及機構自身的入帳決定。

反向的錯誤也有可能發生。應用程式可能在其 RPC 節點看到區塊時,就在最終化憑證抵達之前,將待處理的成功狀態顯示出來。使用者可能會體驗到快速的綠色勾選,即使協議最強的保證稍後才會到來。在遷移期間,一個繼續以相同方式標示其升級前承諾狀態的應用程式,應該針對新的語義進行測試。一個外觀上沒有改變的錢包介面,可能隱藏著已經改變的風險模型。

對於去中心化應用程式而言,最終區塊並不保證一筆有利的交易。一筆交易可能執行後在應用程式規則下失敗、支付費用,或在提交的參數範圍內以使用者未預期的價格結算。共識最終性意味著帳本已經決定了該結果。它並不證明智慧合約是安全的,也不證明預言機輸入是正確的。這項升級應該因其設計所要改善的較狹義特性而受到肯定。

為了讓這項主張可被否證,基礎設施供應商可以針對一批交易樣本發布成對的時間戳:抵達其服務的時間、首次被納入的時間、觀察到憑證的時間、RPC 回應的時間,以及客戶可見入帳的時間。他們應該揭露缺失的觀測與重試。在相似負載與費用條件下,比較啟用前後的這些時間間隔,將能顯示 Alpenglow 實際上縮短了整個旅程的多少部分。那會比重複白皮書的目標數字更有力的證據。

最強而有力的論據是對結算的實際改善

支持者可以提出一項實質的論點。Solana 目前的確認路徑長期以來在快速區塊生產與更強的最終性之間留下了一道落差。如果 Votor 能可靠地縮小這道落差,交易所就能更早將存款入帳,交易者能在執行後降低不確定性,支付供應商則能以更少的等待完成結算。這項協議提案是一項嚴謹的工程設計,而驗證者已經在主網之外花時間對其進行測試。

先前的治理報導記錄了這項提案背後的驗證者決定。驗證者治理路徑也意味著這項變更不僅僅是公司的承諾。營運者必須採用軟體並參與啟用。分階段的特性閘門讓網路有機會在正式上線前暴露問題。這些優勢並不證明最終的服務水準,但它們讓測試階段變得舉足輕重。

反對的論點是作者自己揭露的一項取捨:更快的投票設計伴隨著不同的故障假設。營運者也必須管理遷移與客戶端相容性。在平靜的測試叢集上取得的 150 毫秒中位數,無法回答當有意義的質押離線或網路連結不穩定時,協議會如何表現。這就是為什麼證據應該放在故障案例報告中,而不只是速度展示中。

主網就緒狀態有幾道各自獨立的閘門

第一道是軟體採用:足夠的質押運行相容的版本。第二道是在測試網與開發網上進行協議驗證:投票與憑證在正常與不利條件下都保持正確。第三道是營運準備:交易所、RPC 供應商、區塊瀏覽器與錢包知道如何觀察新的最終性訊號。第四道是預定的特性啟用本身。

Anza 的追蹤器顯示,在 95% 的質押採用新的次要版本並經過兩個完整 epoch 之後,主網版本下限可能會提高。該規則管理的是最低支援版本;不應被改述為在 95% 時自動啟用 Alpenglow。獨立的特性列仍然是查核實際待處理變更的地方。

沒有任何已報告的測試能確立 SOL 價格必須以特定方式反應。代幣價格在部署前就已納入總體經濟狀況、資金、供給、應用需求以及對升級的預期。先前的啟用展望涵蓋了為什麼共識里程碑具有相關性,卻不必然使其成為價格催化劑。

公開證據仍缺乏什麼

一份註明日期的最終啟用計畫,以及一組可比較的、在各種負載下的最終性測量公開序列,將能讓讀者判斷該網路距離其頭條承諾還有多遠。測試結果應具體說明軟體版本、參與質押、客戶端類型、訊息條件、交易納入情況以及百分位延遲。單一最佳情況的最終化時間將是不完整的。

最具決定性的報告將在切換之後出現:對最終性與應用可見結算的重複主網觀察,加上任何復原事件的揭露。在那之前,驗證者測試顯示所提議的系統正在被演練。它並不能確立每位使用者都將體驗到 150 毫秒的結算。

值得關注的事項

  • 功能閘門:Anza 明確的 Alpenglow 主網狀態與啟用槽位,有別於一般的版本下限日期。
  • 質押採用:執行支援該功能之版本的驗證者質押占比。
  • 客戶端相容性:針對目前追蹤表中列為不支援的驗證者實作所提供的更新。
  • 故障測試:在網路分割、重啟與投票缺失情況下所公布的復原與長尾延遲。
  • 使用者計時:從提交到最終化及 RPC 通知的主網測量,而不僅僅是憑證時間。

常見問題

Alpenglow 已在 Solana 主網上線了嗎?

為本專題所查閱的 Anza 追蹤表將 SIMD-0326 列為待主網啟用。測試網與開發網活動並非主網啟用。

Alpenglow 是在 9 月 28 日啟動的嗎?

從一般的 9 月 28 日功能啟用窗口,並無法推斷出任何經證實的 Alpenglow 主網啟動。其自身的功能閘門仍是一項獨立的待辦事項。

什麼是 Votor?

Votor 是初始 Alpenglow 提案中的新共識投票元件。它旨在改變驗證者最終化區塊的方式。

Rotor 是否包含在初始切換中?

SIMD-0326 表示,初始範圍將 Rotor 對資料傳播的取代留待另一項獨立提案。該網路起初仍保留 Turbine。

150 毫秒是否意味著每筆付款都那麼快完成?

不是。共識最終性目標不包含花在簽署、提交、等待納入、執行以及從 RPC 供應商收到回應的某些時間。

20 加 20 模型是什麼意思?

該提案描述了在涉及對抗性質押以及另外的無回應質押之假設下的韌性。它明確討論了與兩輪協議不同的拜占庭權衡。

什麼是版本下限?

它是叢集上所支援的最低軟體版本。提高它可以使節點為某項功能做好準備,而不會自動啟用該功能。

什麼能證明該效能主張?

可重複的主網資料,顯示在真實流量下具備快速最終性與可接受的長尾行為,並明確定義起點與終點。此為教育性分析,並非投資建議。