遞迴擴容

什麼是加密貨幣領域的遞迴擴容？

遞迴擴容是一種區塊鏈擴容方法，透過遞迴密碼學證明，將大量交易、計算或證明結果壓縮成較小的最終證明。在加密貨幣領域，遞迴擴容最常與零知識證明、ZK-rollup、證明聚合、zkVM、簡潔區塊鏈及模組化區塊鏈系統相關。其核心概念是，一份證明可以驗證另一份證明，而這份新證明又可以由另一份證明再次驗證。透過重複組合證明，大量工作便能以精簡的最終證明呈現。理解遞迴擴容的一種簡單方式，是把它想成透過證明來擴容：證明各項證明，而不必逐一檢查每個操作。系統不必要求區塊鏈直接驗證數千筆交易或多份個別證明，而是可以將它們合併成一條驗證路徑。

Ethereum ZK-rollup 文件將遞迴證明描述為「證明的證明」，並指出它能大幅提升 ZK-rollup 的吞吐量。

因此，遞迴擴容對於希望提高交易容量、又不削弱信任假設的區塊鏈十分重要。它也支援加密貨幣領域更廣泛的目標：將繁重計算移至鏈下，同時維持安全且有效率的鏈上最終驗證。

遞迴擴容為何重要

遞迴擴容之所以重要，是因為公有區塊鏈的區塊空間、執行能力與驗證頻寬都有限。如果每個節點都必須執行每筆交易並直接驗證每項計算，網路可能會隨著使用量增加而變得更慢、成本更高。Layer 2 Rollup 會將執行工作移出基礎鏈，再將壓縮後的結果提交回基礎鏈，以此協助擴容。遞迴擴容則進一步提升證明驗證本身的效率。Rollup 可以為許多小型批次產生證明，再以遞迴方式將這些證明合併成一份最終證明。如此一來，基礎鏈只需驗證最終證明，不必逐一驗證所有較小的證明。這有助於降低驗證成本、提高吞吐量，並讓大型加密貨幣應用程式更容易實際運作。遞迴擴容的價值尤其在於它能保留強大的密碼學保障。網路不必只靠信任營運者確實正確處理交易。網路可以驗證一份證明，確認處理流程遵循規則。因此，遞迴擴容常被視為推動區塊鏈以最少信任方式成長的關鍵環節。

遞迴擴容如何運作

遞迴擴容會將證明驗證放入另一個證明系統中。證明者首先為一小組交易、計算或狀態變更建立證明。另一位證明者接著產生新證明，驗證第一份證明。這個流程可以經過多層持續進行。最後，系統會產生一份代表多份先前證明正確性的證明。這份最終證明可以提交至區塊鏈、驗證器合約、輕客戶端或另一個證明系統。區塊鏈不必重複執行所有原始計算。只需驗證最終遞迴證明即可。如此可產生強大的壓縮效果：即使已證明的工作量大幅增加，驗證工作仍可維持精簡。遞迴擴容不代表交易資料、使用者餘額或安全假設會消失。而是透過精簡的證明鏈來驗證正確性。

遞迴擴容與 ZK-rollup

ZK-rollup 是遞迴擴容最明確的應用場景之一。ZK-rollup 會在基礎鏈之外處理大量交易，並提交有效性證明，證明 Rollup 的狀態轉換正確。

Ethereum ZK-rollup 文件說明，ZK-rollup 會將計算與狀態儲存移至鏈下，同時向基礎層提交有效性證明。

遞迴擴容可透過將多份有效性證明聚合成一份證明，提升 ZK-rollup 的效率。例如，Rollup 可以為多個交易批次分別建立證明。遞迴證明接著可驗證這些批次證明，並將它們合併成一份用於結算的證明。這有助於降低基礎鏈上的最終驗證成本。也能讓不同機器或證明者平行產生證明。對使用者而言，這有助於降低手續費、加快結算流程並提高應用程式容量。對開發者而言，這能支援更大的交易量，而不必逐一結算每份證明。

遞迴擴容與證明聚合

證明聚合是將多份證明合併成較少證明或一份最終證明的流程。遞迴擴容是實現證明聚合的有效方式之一。系統不必獨立檢查多份證明，而是檢查一份已經驗證先前證明的證明。當許多使用者、應用程式或 Rollup 批次同時產生證明時，這種方式很有用。

Starknet SHARP 文件將 SHARP 描述為一種採用證明遞迴來降低成本、提升證明效率的證明聚合器。

證明聚合可減少鏈上需要執行的證明驗證次數，進而降低結算成本。這也能改善系統設計，因為小型證明可以各自獨立產生，再於稍後合併。這有助於實現平行證明、共用證明基礎架構及更具擴展性的 Rollup 架構。對需要處理大量批次、又不希望最終驗證成為瓶頸的高吞吐量系統而言，遞迴證明聚合尤其重要。

遞迴擴容與 Layer 3 網路

遞迴擴容也能支援 Layer 3 網路設計。Layer 2 Rollup 可以在基礎鏈結算，而 Layer 3 網路則可以在 Layer 2 結算。遞迴證明可協助串接這些層，讓一層能有效率地向另一層證明其狀態轉換。例如，Layer 3 應用鏈可以為自身活動產生證明。這些證明可以聚合成一份 Layer 2 證明。接著再將 Layer 2 證明提交至基礎鏈結算。如此便形成一種遞迴結構，各層在向上一層提交證明前先壓縮自身活動。這種方式的優點是，許多應用專屬環境都能擴展，而不必要求基礎鏈直接處理每個操作。風險在於，每增加一層都會提高設計複雜度。使用者與開發者仍須了解資料可用性、提領路徑、驗證器安全性、跨鏈橋假設與升級控制。

遞迴擴容與簡潔區塊鏈

遞迴擴容不只適用於 Rollup。它也能支援簡潔區塊鏈，讓使用者透過驗證區塊鏈有效性的精簡證明，取代下載並檢查龐大的鏈上歷史。

Mina 遞迴文件說明，Mina 使用線性遞迴證明，將持續增長的區塊鏈壓縮至固定大小。

這與單純提高每秒交易數（TPS）的擴容目標不同。它著重於讓使用者與裝置更容易進行驗證。若驗證工作維持精簡，更多參與者就能在不使用高效能硬體的情況下獨立檢查網路。這有助於去中心化，因為使用者不必只依賴大型基礎架構供應商，才能確認區塊鏈有效。因此，遞迴擴容既能擴展交易執行能力，也能擴大驗證的可及性。第二種擴容方式十分重要，因為如果只有少數營運者能驗證區塊鏈，這條鏈就無法真正賦予使用者自主權。

遞迴擴容與 zkVM

zkVM 是零知識虛擬機，可用來證明程式已正確執行。遞迴擴容可將程式執行拆分成較小區段，協助 zkVM 處理大型程式。每個區段都能產生自己的證明。接著系統可遞迴合併這些區段證明，產生一份證明完整程式執行流程的最終證明。如此便能證明更大型的計算，而不必一次產生一份龐大的證明。也有助於將證明工作分配至多台機器或多名證明者。在加密貨幣領域，這可支援 Rollup 執行、可驗證遊戲、鏈下計算、私人應用程式與區塊鏈協處理器。協處理器是一種在鏈下執行繁重計算，並回傳證明以確認結果正確的系統。遞迴擴容可將許多證明片段合併成最終證明，讓這種模式更具實用性。

遞迴擴容與遞迴 ZK 證明的差異

遞迴擴容與遞迴 ZK 證明密切相關，但兩者並非完全相同的概念。遞迴 ZK 證明是一種密碼學工具，讓一份證明可以驗證另一份證明。遞迴擴容則是更廣泛的擴容策略，運用這項工具提高區塊鏈容量或降低驗證成本。換句話說，遞迴 ZK 證明是實現方式，遞迴擴容則是系統設計目標。遞迴 ZK 證明的詞彙解釋會介紹密碼學物件。遞迴擴容的詞彙解釋則會說明區塊鏈如何運用這項技術擴展交易處理、證明聚合、Rollup、輕客戶端與可驗證計算。兩個詞彙有所重疊，但並非同義詞。遞迴擴容著重於基礎架構成果，遞迴 ZK 證明則著重於證明建構。

遞迴擴容與水平擴展

水平擴展是透過增加機器、節點、區塊鏈或執行環境來處理更多工作。遞迴擴容則是壓縮證明驗證流程，讓較少的最終檢查就能驗證更多工作。兩種方法可以搭配使用。Rollup 網路可以使用多名證明者平行產生證明，這是一種水平擴展。接著再以遞迴方式聚合這些證明，這就是遞迴擴容。這種組合十分有效，因為工作負載可以分散處理，同時維持精簡的最終結算。水平擴展有助於產生更多證明。遞迴擴容則有助於有效率地驗證更多證明。要服務大量使用者，強大的區塊鏈架構可能同時需要這兩種方式。

遞迴擴容與分片

分片是一種將網路工作或資料拆分至多個部分（稱為分片）的擴容方法。遞迴擴容的主要目的並不是將區塊鏈拆分成分片。它是透過遞迴證明壓縮工作驗證流程。不過，遞迴擴容可以與分片互補。不同分片、Rollup 或應用鏈可以各自產生證明。接著以遞迴聚合方式合併這些證明，以便有效率地結算或驗證。這表示遞迴擴容可以在多種執行環境與單一最終驗證層之間發揮串接作用。在執行、結算、共識與資料可用性可能由不同層處理的模組化區塊鏈設計中，這尤其有用。

遞迴擴容與資料可用性

遞迴擴容不會免除資料可用性的需求。證明可以顯示狀態轉換有效，但使用者可能仍須取得交易資料，才能還原餘額、驗證退出流程並獨立追蹤系統。

Ethereum 資料可用性文件說明，Rollup 會在鏈下處理交易，並以批次形式發布壓縮後的交易資料，以降低成本。

這很重要，因為有效性與資料可用性解決的是不同問題。有效性證明可顯示計算遵循規則。資料可用性則表示檢查或還原狀態所需的資訊已經發布。遞迴證明可以降低驗證成本，但如果必要資料遭到隱藏，就無法協助使用者還原狀態。因此，遞迴擴容必須搭配可靠的資料可用性計畫。忽略資料可用性的系統，理論上可能具備擴展性，實際上卻不安全。

遞迴擴容與鏈上驗證

鏈上驗證是直接在區塊鏈或智能合約中驗證證明的流程。遞迴擴容可以將多份證明壓縮成一份最終證明，減少鏈上驗證工作。這有助於降低 Gas 費並減少基礎層必須執行的計算量。也能讓多個應用程式共用證明聚合流程更具可行性。不過，最終驗證器必須正確且有效率。如果驗證器合約有錯誤，整個遞迴證明系統都可能面臨風險。如果驗證器成本太高，擴容效益可能會降低。如果少數群體能在缺乏保障的情況下升級驗證器，使用者可能面臨治理或管理金鑰風險。遞迴擴容不只仰賴證明數學，也取決於安全的智能合約設計。

遞迴擴容與證明者網路

遞迴擴容通常仰賴證明者，為交易、批次、程式或先前的證明產生證明。證明者網路可能包含中心化證明者、許可型證明者、無須許可的證明者、社群證明者或專用硬體供應商。遞迴聚合可讓不同證明者處理較小的證明任務，提高證明者網路的效率。接著可將結果合併成更大型的證明。這有助於減少瓶頸並提高吞吐量。不過，證明者去中心化並非自動實現。如果產生證明需要昂貴硬體或封閉式基礎架構，可能只有少數參與者能加入。如果主要證明者故障或遭到審查，系統可能面臨營運風險。完善的遞迴擴容系統應考量備援證明、開放參與、監控與明確的復原途徑。

遞迴擴容的優點

遞迴擴容的第一項主要優點是提高吞吐量。更多交易或計算可以透過較少的最終證明表示。第二項優點是降低驗證成本。基礎鏈可以驗證一份聚合證明，而不必驗證多份個別證明。第三項優點是提升平行處理能力。不同證明者可以處理工作負載的不同部分，再合併結果。第四項優點是讓使用者更容易進行驗證。簡潔證明系統能讓使用者透過小型證明，驗證大型歷史資料或複雜系統。第五項優點是提高模組化程度。Rollup、應用鏈、zkVM、跨鏈橋與證明服務可以透過共用證明聚合機制串接。第六項優點是更有助於減少信任需求。使用者可以依賴密碼學證明驗證，而不只是信任營運者回報正確結果。

遞迴擴容的限制

遞迴擴容功能強大，但技術上相當複雜。遞迴證明系統可能難以設計、實作、稽核與維護。電路必須正確驗證內層證明。不同證明層之間的公開輸入與輸出必須安全連結。證明系統必須採用安全假設與可靠的實作方式。如果系統必須等待多層證明完成才能最終結算，遞迴證明也可能增加延遲。產生證明可能需要專用硬體或最佳化軟體。資料可用性仍須另外處理。使用者不應只因為系統採用遞迴證明，就假設系統安全。必須檢視整體架構，包括合約、證明者、排序器、資料層、跨鏈橋與升級控制。

遞迴擴容的安全風險

最大的安全風險是證明了錯誤的陳述。如果遞迴證明驗證了內層證明，卻未將內層證明正確綁定至相應的公開狀態，最終證明可能會造成誤導。另一項風險是驗證器錯誤。驗證器的錯誤可能影響所有依賴它的證明。另一項風險是資料可用性不足。如果使用者無法取得還原系統狀態所需的資料，有效證明也無法提供協助。另一項風險是證明者中心化。如果只有一方能產生證明，系統可能過度依賴該方維持運作。另一項風險是升級機制不安全。如果驗證器、Rollup 合約或證明系統能輕易變更，使用者可能面臨未明示的治理風險。遞迴擴容可減輕驗證負擔，但不會免除謹慎安全工程的必要性。

遞迴擴容的常見應用

遞迴擴容可用於 ZK-rollup，在最終結算前聚合證明。可用於簡潔區塊鏈，讓驗證工作不會隨著歷史資料增加而變得龐大。可用於 zkVM，透過較小的證明區段來證明大型程式執行。可用於證明市場，由多名證明者分別處理大型證明工作的一部分。可用於跨鏈橋設計，讓一條鏈取得另一條鏈狀態的精簡證據。可用於隱私系統，在不揭露敏感資料的情況下驗證多項私人操作。也可用於身分系統、遊戲系統、拍賣、合規證明與可驗證的鏈下計算。隨著加密貨幣基礎架構日益模組化，遞迴擴容會更有用，因為許多不同系統都需要共同的方式來壓縮驗證流程。

開發者的最佳實務

開發者應明確定義每份遞迴證明要證明的內容。應謹慎綁定公開輸入、狀態根、批次資料、證明輸出與驗證器假設。應使用經過充分審查的證明系統，除非團隊具備深厚專業知識，否則應避免自行開發密碼學。應測試無效證明、格式錯誤的輸入、邊界案例與錯誤的狀態轉換。系統設計應將證明有效性與資料可用性分開處理。應記錄證明者需求、驗證器合約、升級控制、可信任設定假設與復原程序。應監測證明時間、證明失敗率、結算延遲與證明者集中程度。應請同時了解智能合約與零知識證明系統的團隊進行獨立稽核。也應以淺白易懂的語言說明安全模型，讓使用者了解系統仰賴哪些信任假設。

使用者的最佳實務

使用者應了解，遞迴擴容可以提升效率，但不會讓協議毫無風險。使用者應確認專案是否說明證明系統、資料可用性模型、驗證器合約與提領流程。使用者應留意稽核、開源程式碼、公開文件與明確的升級政策。使用者應了解系統依賴單一證明者、小型證明者群組，還是更廣泛的證明者網路。若專案使用進階 ZK 術語，卻未說明實際風險，使用者應保持謹慎。使用者應記住，只有在系統面臨壓力時仍維持安全與可用，低手續費與高吞吐量才有價值。遞迴擴容是強大的技術工具，但使用者安全仍取決於協議的整體設計。

常見問題

加密貨幣領域的遞迴擴容是什麼意思？

遞迴擴容是運用遞迴證明，將多筆交易、多項計算或多份證明壓縮成較小且更容易驗證的最終證明。

遞迴擴容等同於遞迴 ZK 證明嗎？

不等同。遞迴 ZK 證明是密碼學工具，遞迴擴容則是運用該工具的廣泛區塊鏈擴容策略。

遞迴擴容為什麼對 ZK-rollup 有用？

它能協助 ZK-rollup 將多份批次證明聚合成一份最終證明，進而降低驗證成本並提高吞吐量。

遞迴擴容會讓交易具有隱私性嗎？

不會自動達成。遞迴擴容可以支援隱私系統，但除非證明系統與應用程式是為隱私而設計，否則不會隱藏資料。

遞迴擴容能取代資料可用性嗎？

不能。遞迴擴容改善證明驗證效率，資料可用性則確保使用者能取得還原與驗證狀態所需的資訊。

遞迴擴容能降低區塊鏈手續費嗎？

它有助於降低驗證與結算成本，但實際手續費也取決於需求、資料可用性成本、證明成本與協議設計。

什麼是證明聚合？

證明聚合是將多份證明合併成較少證明或一份最終證明，以提高驗證效率的流程。

遞迴擴容能用於 Rollup 以外的場景嗎？

可以。它可用於簡潔區塊鏈、zkVM、跨鏈橋、證明市場、隱私系統、身分系統與可驗證計算。

遞迴擴容的主要風險是什麼？

主要風險是複雜的證明系統、驗證器、公開輸入連結或資料可用性設計可能包含錯誤或不安全的假設。

遞迴擴容為什麼對模組化區塊鏈重要？

它有助於多種執行環境、Rollup、應用鏈與證明系統，將各自的工作壓縮至有效率的最終驗證層。

結論

遞迴擴容是一種運用遞迴證明提升驗證效率的加密貨幣擴容策略。它能以精簡的最終證明表示大量交易、計算或證明。因此，它對 ZK-rollup、證明聚合、zkVM、簡潔區塊鏈、輕客戶端、跨鏈橋與模組化區塊鏈系統尤其重要。其主要優點是，區塊鏈不必直接在鏈上執行或檢查每項工作，也能驗證更多工作。這有助於提高吞吐量、降低驗證成本、平行產生證明，並打造更能減少信任需求的基礎架構。遞迴擴容並非單純擴大區塊或增加伺服器。它透過多層證明壓縮正確性，以此實現擴容。不過，遞迴擴容仍取決於安全的電路、正確的驗證器、可靠的資料可用性、安全的升級控制與實用的證明者基礎架構。理解遞迴擴容最簡單的方式，是把它視為加密貨幣系統透過驗證「證明的證明」，而非逐一驗證每個操作來實現成長。隨著零知識基礎架構日益成熟，遞迴擴容仍將是打造更快速、成本更低且更容易驗證的區塊鏈應用程式的重要途徑之一。