證明者（Prover）

加密貨幣中的證明者是什麼？

證明者是指能產生密碼學證明的人、程式、節點、服務或硬體系統，用來證明某項陳述、計算、交易批次或狀態轉換有效。

在加密貨幣領域，這個詞最常用於零知識證明、有效性 Rollup、zkVM、隱私協議及可驗證計算系統。

證明者的工作是執行繁重的計算，產生一份其他方能以較低成本驗證的證明。

負責驗證的另一方稱為驗證者（verifier）。

證明者能證明某項計算正確完成，而不必要求每位驗證者重新執行完整計算。

這項概念對區塊鏈擴充性很重要，因為公有區塊鏈需要多位參與者共同確認狀態變更有效。

如果每個節點都必須完整重新執行每筆交易，網路可能會變得緩慢且成本高昂。

透過證明系統，證明者可以在鏈下執行或檢查大量工作，再將精簡的證明提交至鏈上。

Ethereum 的零知識證明文件說明，可驗證計算讓節點能在 Ethereum 之外執行交易，並提交證明，證明鏈下執行結果正確。

理解證明者最簡單的方式，就是把它想成一台機器或一個行動者，負責產生一張數學收據，證明某項計算已正確完成。

證明者如何運作

證明者會先取得需要證明的陳述。

陳述可能很簡單，例如證明自己知道某個秘密值。

也可能很複雜，例如證明數千筆 Layer 2 交易皆依照協議規則處理。

證明者也會使用輸入資料。

部分輸入資料可能是公開的，代表驗證者可以查看。

部分輸入資料可能是私密的，代表證明者會使用這些資料，但不會直接揭露。

在許多證明系統中，私密輸入資料稱為見證（witness）。

接著，證明者會依照證明演算法，將陳述、限制條件、公開輸入資料與見證轉換成一份證明。

這份證明通常比原始計算小得多，也更容易驗證。

驗證者會使用驗證演算法檢查這份證明。

如果證明有效，驗證者就會依照證明系統的規則，接受該陳述為真。

因此，區塊鏈可以信任計算結果，而不必信任證明者本人。

證明者與驗證者的差異

在證明系統中，證明者與驗證者扮演相反的角色。

證明者負責產生證明。

驗證者負責檢查證明。

證明者通常承擔較繁重的工作，因為產生證明可能需要大量計算資源。

驗證者的工作通常較輕鬆，因為驗證證明的設計目標就是快速且低成本。

這種不對稱特性對區塊鏈很有用：一位證明者可以在鏈下執行繁重工作，而許多節點或智能合約則能有效率地驗證結果。

例如，在 ZK-rollup 中，證明者可能會為大量交易批次產生有效性證明。

接著，鏈上驗證者合約會檢查證明，再接受 Rollup 的狀態更新。

Ethereum 的ZK-rollup 文件說明，ZK-rollup 會使用有效性證明，讓交易能在 Ethereum 上完成結算。

驗證者不必相信證明者誠實，因為無效的證明應該無法通過驗證。

證明者與排序器的差異

證明者並不等同於排序器（sequencer）。

排序器會排列交易順序，通常也會協助在 Rollup 系統中建立交易批次。

證明者則會產生密碼學證明，證明該批次或狀態轉換有效。

在某些系統中，同一個組織可能同時營運排序與證明基礎設施。

在其他系統中，排序與證明可能由不同服務、節點、市場或社群參與者分別負責。

這項區別很重要，因為排列交易順序與證明交易正確性是不同的權限。

排序器可能影響交易順序、延遲與使用者體驗。

證明者則可能影響證明的可用性、最終性時間與基礎設施成本。

Rollup 即使在技術上設計完善，如果證明工作仰賴單一營運者，仍可能面臨中心化風險。

近期研究，例如 CrowdProve 社群證明研究，探討如何將 ZK Rollup 的證明工作分散給許多規模較小的證明者，而不是只依賴中心化基礎設施。

零知識證明中的證明者

在零知識證明中，證明者會嘗試讓驗證者相信某項陳述為真，同時不揭露超出該陳述真實性所需的額外資訊。

證明者可能知道某個私密秘密、私密交易資料、私密身分屬性、私密計算結果或私密見證。

證明內容應只揭露系統設計上允許揭露的資訊。

例如，使用者可以證明自己知道有效密碼，而不必揭露密碼本身。

在加密貨幣領域，使用者可以證明交易符合規則，而不必揭露所有私密細節。

Rollup 使用的證明並非都以隱私為主要目的。

許多 Rollup 使用有效性證明，主要是為了擴充性與正確性，而不是隱藏所有交易細節。

因此，當證明的重點是執行正確性，而非完整隱私時，有些人會使用範圍更廣的「有效性證明」一詞。

證明者仍然是產生證明的元件。

證明用於隱私、擴充性，或同時用於兩者，取決於協議設計。

ZK-rollup 中的證明者

在 ZK-rollup 中，證明者會產生證明，確認一批鏈下交易已正確處理。

Rollup 會在基礎鏈之外執行大量交易。

接著，它會將壓縮資料與有效性證明提交至基礎鏈。

基礎鏈會驗證證明，而不是重新執行批次中的每筆交易。

這有助於減少鏈上計算並提升擴充性。

證明者是 ZK-rollup 最重要的組成部分之一，因為使用者需要依靠證明來完成狀態更新。

如果產生證明的速度緩慢，最終性可能會延遲。

如果產生證明的成本高昂，Rollup 的營運成本可能會增加。

如果證明工作由單一方集中掌控，Rollup 可能會過度依賴某個基礎設施供應商。

如果無法產生證明，Rollup 可能難以提交新的有效狀態更新。

因此，證明者的設計、效能、去中心化程度與可靠性，都是 Layer 2 開發的重要議題。

zkVM 中的證明者

zkVM 是一種零知識虛擬機器，可以證明程式執行正確。

開發者不必為每項工作撰寫自訂電路，而是可以在虛擬機器中執行程式碼，並產生證明，確認程式碼已正確執行。

RISC Zero 開發者文件將可驗證計算描述為一種方法，能以密碼學方式確認特定資料輸出是由特定演算法產生。

在 zkVM 中，證明者會執行程式、記錄執行過程，並產生該執行過程的證明。

之後，驗證者就能檢查證明，而不必重新執行整個程式。

這種模式可能讓 ZK 開發更容易上手，因為開發者可以使用熟悉的程式語言或虛擬機器目標環境。

zkVM 證明者可用於 Rollup、跨鏈橋、身分系統、隱私應用、可驗證 AI 工作流程、可驗證遊戲及鏈下計算。

不過，zkVM 證明可能需要大量資源。

效能取決於程式大小、記憶體使用量、證明系統、硬體、遞迴設計與最佳化方式。

STARK 系統中的證明者

以 STARK 為基礎的系統使用一種證明，其驗證不必依賴部分其他證明系統所採用的相同可信設定假設。

在 STARK 系統中，證明者會根據代數限制條件與執行追蹤資料，將計算轉換成證明。

該證明可以證明程式或交易批次遵循了規定的規則。

Starknet 的SHARP 文件介紹了鏈上驗證者合約如何驗證 SHARP 產生的 STARK 證明。

SHARP 是共用證明基礎設施的一個例子，可彙整並證明多個程式或應用程式的執行結果。

STARK 證明者以良好的擴充性特性與透明度優勢聞名。

視具體設計而定，它們產生的證明也可能比某些 SNARK 系統更大。

與任何證明系統一樣，實際取捨取決於證明時間、驗證成本、證明大小、安全假設與開發者體驗。

證明者負責承擔大部分技術複雜性，讓驗證者能檢查精簡的證明。

SNARK 系統中的證明者

SNARK 系統使用簡潔證明，這類證明可能非常小，也能快速驗證。

在 SNARK 系統中，證明者會產生精簡證明，證明某項計算符合一組限制條件。

許多 SNARK 系統需要可信設定，不過較新的設計可能會降低或改變這項需求。

SNARK 證明者通常需要一把在設定階段產生的證明金鑰。

驗證者則使用驗證金鑰檢查證明。

當鏈上驗證成本必須非常低時，SNARK 證明者就很有用。

這點很重要，因為基礎層區塊鏈會對計算與儲存收取費用。

若證明體積小且驗證成本低，就能讓進階應用更具實用性。

然而，對證明者而言，產生證明仍可能成本高昂。

以 SNARK 為基礎的應用設計，必須在證明大小、產生證明所需時間、可信設定假設與開發複雜度之間取得平衡。

見證、公開輸入與私密輸入

證明者通常會同時處理公開與私密輸入資料。

公開輸入是驗證者可以查看的值。

私密輸入則是證明者會使用、但不會直接揭露的值。

私密輸入通常稱為見證。

例如，在私密身分證明中，公開輸入可能是年齡門檻，而私密見證可能是使用者的實際出生日期或憑證資料。

在 Rollup 證明中，公開輸入可能包括舊狀態根、新狀態根、批次承諾或協議參數。

依設計而定，見證可能包括交易細節、執行追蹤、Merkle 路徑、簽章或中間計算資料。

證明者會使用見證產生證明。

驗證者會檢查證明是否符合公開輸入。

安全的證明系統不應允許證明者為不實陳述產生有效證明。

電路與限制條件

許多證明系統要求將計算表示為電路或一組限制條件。

電路會以證明系統能理解的形式，描述需要證明的內容。

限制條件則定義有效輸入資料與計算步驟必須遵守的規則。

例如，電路可能要求雜湊計算正確、簽章有效，或餘額更新符合協議規則。

證明者必須證明存在一份符合所有限制條件的見證。

如果見證不符合限制條件，證明者就不應能產生有效證明。

電路設計是 ZK 開發中最困難的環節之一。

編寫不佳的電路可能意外證明錯誤的內容。

電路也可能正確但效率不佳，導致證明產生速度緩慢或成本高昂。

良好的證明者效能通常始於良好的電路設計。

執行追蹤

部分證明系統使用執行追蹤，而不是傳統的應用專用電路。

執行追蹤是程式或虛擬機器所執行計算步驟的紀錄。

證明者會使用執行追蹤，證明每個步驟都遵循機器或協議規則。

這種模式常見於 STARK 系統與 zkVM 系統。

大型程式可能產生龐大的執行追蹤，因此產生追蹤資料可能成為主要的效能瓶頸。

近期對 ZK 虛擬機器的研究，著重於改善執行追蹤產生、證明流程與硬體加速。

有效率的執行追蹤有助於降低證明成本與延遲。

對 Rollup 而言，更快產生執行追蹤代表能更快提交證明並完成結算。

對應用程式而言，更快的執行追蹤能讓可驗證計算更適合實際使用者。

證明者負責將原始執行資料轉換成可供證明使用的資料。

證明者效能

證明者效能是零知識加密貨幣系統中最重要的實務議題之一。

產生證明可能需要大量 CPU、GPU、記憶體、儲存空間及專用硬體資源。

有些證明系統產生證明的速度較快，但驗證速度較慢。

有些證明系統產生證明的速度較慢，但能產生較小或成本較低的證明。

Rollup 團隊通常會投入大量工程資源，最佳化證明流程。

更快的證明者可以縮短結算延遲。

成本較低的證明者可以降低使用者成本。

擴充性更好的證明者可以支援更多交易與更複雜的應用程式。

證明者效能也會影響去中心化程度，因為如果證明工作需要極昂貴的硬體，能夠執行證明者的參與者就會減少。

這可能使網路更加依賴專業營運者。

證明者的去中心化

證明者去中心化是指證明產生工作不由單一方控制。

早期 ZK 系統的證明基礎設施通常較為中心化，因為相關技術複雜且營運成本高昂。

隨著時間推移，許多專案都希望讓證明工作更加分散。

分散式證明可以透過多個證明者、證明市場、共用證明網路、社群證明或硬體供應商之間的競爭來實現。

去中心化證明有助於降低審查風險、活性風險與對單一營運者的依賴。

不過，這也會帶來協調上的挑戰。

系統必須分派證明工作、驗證證明者的工作、支付費用、防止垃圾訊息、處理失敗工作，並在必要時保護敏感的見證資料。

社群證明研究探討許多規模較小的機器是否能協助為 Rollup 產生證明。

如果經濟機制與安全性設計可行，這有助於讓證明基礎設施更加開放。

證明者去中心化不只是技術問題，也取決於激勵機制、治理、硬體取得能力與軟體易用性。

證明者市場

證明者市場是讓不同證明者為應用程式競爭或合作產生證明的系統。

Rollup、跨鏈橋、zkVM 應用程式或隱私系統，可能會將證明工作提交給證明者網路。

證明者可能會競標該工作，或依照協議規則獲選。

證明者產生有效證明後，可能會收到報酬。

證明者市場透過鼓勵競爭，可能有助於降低成本。

由於應用程式不再受限於單一證明伺服器，也可能提升可靠性。

不過，證明者市場需要完善的驗證機制，因為系統必須拒絕無效證明並處理失敗的工作。

如果證明工作包含敏感的見證資料，也需要隱私保護措施。

若證明工作只涉及公開資料，有些工作可以安全地外包。

其他工作則可能需要機密計算、加密見證、可信硬體或審慎的協議設計。

遞迴證明

遞迴證明是指使用一份證明來驗證另一份證明，然後再證明這項驗證正確。

這聽起來可能很抽象，但對擴充系統非常有用。

證明者可以產生許多較小的證明，再將它們合併為一份較大的證明。

這有助於降低驗證成本，並減少提交至鏈上的資料量。

遞迴證明有助於 Rollup 彙整多個交易批次。

也能協助 zkVM 將長時間的計算拆分成較小區段來證明。

遞迴證明可以提升擴充性，但也會增加技術複雜度。

證明流程必須管理證明組合、驗證電路、彙整排程與效能取捨。

遞迴證明設計也可能影響延遲，因為最終證明可能必須等待前面的證明完成。

使用者通常不會直接看到遞迴證明，但它可能影響速度、費用與最終性。

證明彙整

證明彙整是將多份證明合併成一份證明或一個驗證流程的作業。

證明者或彙整者可能會接收多份個別證明，並產生一份代表所有證明的單一證明。

基礎鏈只需驗證一份彙整證明，而不必驗證多份個別證明，因此這有助於降低鏈上驗證成本。

證明彙整適用於 Rollup、隱私池、批次結算與跨鏈訊息系統。

也能支援共用證明基礎設施，讓多個應用程式受益於相同的證明流程。

取捨在於，彙整可能增加延遲，因為系統可能會等待足夠數量的證明再進行批次處理。

這也可能讓系統依賴彙整者或共用證明服務。

良好的彙整設計需要在效率、延遲、去中心化與可靠性之間取得平衡。

證明彙整是證明者逐漸成為加密貨幣重要基礎設施層的原因之一。

使用 ZK 證明的應用程式越多，有效率的證明彙整就越有價值。

證明者活性

證明者活性是指證明系統在需要時持續產生證明的能力。

如果 Rollup 需要證明才能完成批次結算，證明者停機可能會延遲結算。

如果跨鏈橋需要證明才能釋放資金，證明者停機可能會延遲提領。

如果隱私應用程式需要證明才能處理使用者操作，證明者停機可能會讓使用者無法完成交易。

活性不只取決於證明系統在數學上是否安全。

也取決於實際基礎設施能否在負載、服務中斷、攻擊與硬體故障下持續運作。

透過備援、分散式證明、工作佇列、備援證明者、監控與明確的緊急程序，可以提升證明者活性。

使用者應了解，ZK 系統在正確性方面可能降低信任需求，但及時運作仍可能仰賴證明基礎設施。

即使證明有效，如果沒有人產生它，也無濟於事。

因此，證明者的營運也是協議可靠性的一部分。

證明者健全性

健全性（soundness）是指惡意證明者不應能讓驗證者相信不實陳述。

在加密貨幣領域，健全性至關重要，因為錯誤的證明可能造成無效狀態轉換、偽造提領、錯誤餘額或未經授權的操作。

即使證明系統速度很快，若健全性不足，仍會非常危險。

健全性取決於密碼學假設、實作品質、參數選擇、電路正確性與驗證者正確性。

證明者可能心懷惡意，但驗證者仍應拒絕無效證明。

這正是證明系統如此強大的主要原因。

協議不必信任證明者是否誠實。

只要證明系統與驗證者安全即可。

然而，如果電路證明了錯誤的陳述，證明仍可能對該電路有效，卻無法保護應用程式。

健全性必須同時從證明系統層級與應用程式設計層級考量。

證明者完備性

完備性（completeness）是指誠實的證明者應能為真實陳述產生證明。

如果計算有效且證明者持有正確的見證，證明系統就應產生驗證者會接受的證明。

完備性很重要，因為無法接受有效證明或無法可靠產生證明的系統，實際上難以使用。

對 Rollup 而言，完備性不佳可能導致有效的交易批次無法完成結算。

對隱私應用程式而言，這可能代表誠實使用者無法證明有效操作。

對 zkVM 而言，實作錯誤或資源限制可能導致正確執行的程式無法產生證明。

完備性取決於正確的軟體、足夠的記憶體與計算資源、相容的證明參數及穩定的基礎設施。

實務上，開發者會大量測試證明系統，確保系統能可靠地為有效工作負載產生證明。

證明者既要能防止不實證明，也要能實際處理真實證明。

良好的證明者設計必須兼顧安全性與易用性。

證明者的零知識性

零知識性是指證明不會揭露超出待證陳述真實性所需的額外資訊。

當見證包含私密資料時，這項特性就很重要。

證明者可能知道私鑰、隱藏的交易金額、私密身分屬性或機密計算輸入資料。

零知識證明應讓證明者在不揭露秘密的情況下，證明所需的主張。

加密貨幣中使用的有效性證明並非都需要高度隱私。

有些系統主要是利用證明技術降低驗證成本。

需要隱私時，開發者必須審慎設計電路、公開輸入資料、中繼資料處理方式與使用者介面。

證明本身具備零知識性，不代表周邊資料不會洩漏資訊。

例如，時間資訊、錢包地址、IP 資料或交易模式仍可能揭露使用者行為。

證明者可以透過數學機制保護見證，但整個應用程式仍須在實務操作上保護隱私。

證明者使用的硬體

證明者可能依證明系統與工作負載使用 CPU、GPU、FPGA、ASIC 或雲端基礎設施。

產生證明可能涉及有限體運算、多項式承諾、雜湊、快速傅立葉轉換與執行追蹤處理等大量數學運算。

這些工作可以透過平行處理與專用硬體提升效率。

硬體加速可以縮短產生證明所需的時間並降低成本。

但如果只有資金充足的營運者負擔得起最好的證明硬體，也可能造成中心化壓力。

部分專案嘗試透過提升軟體效率並支援一般硬體，來減輕這個問題。

另一些專案則使用專用證明叢集提高處理量。

硬體方面的取捨取決於網路目標。

以最高處理量為目標的系統，可能會接受更專業化的證明基礎設施。

以廣泛參與為目標的系統，則可能優先採用能在更多容易取得的機器上執行的證明者設計。

證明者費用與經濟機制

營運證明者需要成本。

證明者需要硬體、電力、頻寬、工程、維護與監控。

在 Rollup 中，證明成本可能由交易手續費、協議收入、補助或營運者資金支付。

在證明者市場中，證明者可能會因完成證明工作而直接獲得報酬。

證明者的經濟機制很重要，因為高昂的證明成本可能增加使用者手續費。

也可能限制哪些應用程式實際上可行。

如果每次操作都需要昂貴的證明，一款遊戲、社群應用程式或低價值支付系統可能就難以運作。

開發者通常會最佳化電路、批次處理工作、彙整證明並使用遞迴，以降低每筆交易的證明成本。

使用者可能不會直接看到證明費用，但會透過交易成本、結算延遲或應用程式限制感受到影響。

有效率的證明，是讓 ZK 應用程式普及的關鍵之一。

證明者的安全風險

第一項證明者風險是實作錯誤。

有錯誤的證明者可能產生不正確的證明、在高負載下失效，或洩漏敏感的見證資料。

第二項風險是證明工作中心化。

如果只有單一營運者能產生證明，該營運者故障時，系統可能停機或遭受審查。

第三項風險是見證資料洩漏。

如果證明服務會接收私密輸入資料，安全防護不佳可能導致使用者資料外洩。

第四項風險是電路錯誤。

如果電路未能強制執行預期規則，證明者仍可能為錯誤的電路產生有效證明。

第五項風險是硬體遭入侵。

遭入侵的證明機器可能洩漏秘密、延遲工作或攻擊應用程式基礎設施。

第六項風險是經濟機制失靈。

如果證明者報酬不足，證明處理能力可能不夠。

第七項風險是升級風險。

修改證明軟體、電路或驗證者合約，可能引入新的漏洞。

證明者與資料可用性

證明者負責證明正確性，但不會自動確保資料可用性。

資料可用性是指使用者或節點能否取得重建或驗證系統狀態所需的交易或狀態資料。

在 Rollup 中，這項區別很重要。

有效性證明可以證明狀態轉換有效，但使用者仍需要足夠資料，才能確認餘額、提出退出，或重建狀態。

不同的 Rollup 與擴充設計會以不同方式處理資料可用性。

有些會將資料發布至基礎鏈。

有些會使用獨立的資料可用性層。

有些則會使用委員會或其他模式。

證明者負責證明某項陳述，而不是獨自解決所有資料可用性問題。

安全的擴充系統需要有效的證明與可用的資料。

證明者與最終性

最終性是指交易或狀態更新依照網路規則被接受為已結算。

在以有效性證明為基礎的系統中，產生證明的速度可能影響最終性時間。

交易批次可能很快就在 Layer 2 上執行，但在基礎鏈完成最終結算前，仍須等待證明。

證明者速度快，結算就可能更快完成。

如果證明者速度緩慢或負載過高，使用者可能需要等待更久，才能取得最終確認或提領資產。

遞迴證明與證明彙整可以提升效率，但也可能因批次處理而增加延遲。

最終性也取決於基礎鏈的區塊時間、確認規則與驗證者合約執行情況。

證明者只是最終性流程中的一個環節。

不過，在 ZK 系統中，證明者速度往往是最明顯的瓶頸之一。

更好的證明者可以讓 ZK 應用程式更快速、更可靠。

證明者與跨鏈橋

跨鏈橋可以使用證明者，證明來自一條鏈的事件、狀態轉換或訊息。

以證明為基礎的跨鏈橋，可能讓一條鏈驗證另一條鏈上的事實，而不必信任中心化簽署者群組。

例如，證明者可以產生證明，確認某筆交易、狀態根或訊息在來源鏈上有效。

接著，目標鏈上的驗證者合約就能檢查該證明。

與某些跨鏈橋模式相比，這有助於減少信任假設。

然而，以證明為基礎的跨鏈橋仍然複雜。

系統必須處理鏈重組、最終性假設、驗證者正確性、資料可用性、證明成本與升級風險。

證明者可以改善跨鏈橋的信任假設，但無法自動讓跨鏈橋設計變得安全。

使用者仍應將跨鏈系統視為高風險基礎設施。

跨鏈橋的安全性取決於整體架構，而不只是是否有證明者。

證明者與隱私

在重視隱私的加密貨幣應用程式中，證明者可以協助使用者證明其操作符合規則，同時隱藏敏感資訊。

例如，使用者可以證明自己持有某項憑證，而不必揭露完整憑證。

使用者可以證明交易餘額有效，而不必公開所有私密交易細節。

使用者可以證明自己屬於某個群組，而不必揭露自己究竟是哪位成員。

證明者會使用私密輸入資料產生證明。

驗證者則會依照公開規則檢查證明。

這樣就能選擇性揭露資訊。

不過，隱私不只取決於證明本身。

中繼資料、網路活動、時間資訊、重複使用地址、瀏覽器指紋識別與應用程式日誌，仍可能洩漏資訊。

完善的隱私系統必須保護使用者的完整使用流程，而不只是密碼學見證。

證明者與合規

證明者可以支援更有利於合規的加密貨幣設計，在不揭露不必要私密資料的情況下證明特定事實。

例如，使用者可以證明自己符合資格要求，而不必在鏈上公開完整身分證明文件。

協議可以證明某項計算遵循一組規則，而不必公開私密商業資料。

金融應用程式可以證明狀態轉換符合會計限制，而不必公開所有內部紀錄。

這不代表零知識證明能自動解決所有合規問題。

法律要求會因司法管轄區與使用情境而異。

部分規則仍可能要求保存紀錄、接受稽核、進行身分驗證、申報或揭露資訊。

證明者可以減少不必要的資料暴露，但無法取代法律分析。

完善的合規設計應結合密碼學、政策、治理與使用者同意。

證明者能讓選擇性驗證成為可能，但仍須由人來決定哪些內容必須證明。

證明者的優點

證明者的第一項優點是擴充性。

證明者可以將大型計算壓縮成較容易驗證的證明。

第二項優點是隱私。

若證明系統採用零知識設計，證明者可以在不揭露資料本身的情況下，證明私密資料相關事實。

第三項優點是降低信任需求。

只要無效證明會被拒絕，驗證者就不必信任證明者誠實。

第四項優點是互通性。

證明可以協助一個系統驗證另一個系統相關的事實。

第五項優點是可稽核性。

證明可以提供數學證據，證明某項計算遵循既定規則。

第六項優點是自動化。

智能合約可以驗證證明並據此執行操作，不必人工審核。

第七項優點是效率。

證明彙整與遞迴可以降低多筆交易或多個應用程式重複驗證的成本。

證明者的限制

第一項限制是成本。

產生證明可能需要大量計算資源。

第二項限制是延遲。

產生證明需要時間，可能延後結算或提領。

第三項限制是複雜度。

證明者系統需要專業密碼學、工程技術與安全審查。

第四項限制是中心化壓力。

高硬體需求可能讓許多獨立行動者難以執行證明者。

第五項限制是對電路的依賴。

證明只能證明電路或程式實際檢查的內容。

第六項限制是證明以外的隱私洩漏。

零知識證明不會自動隱藏中繼資料，也無法彌補不佳的應用程式設計。

第七項限制是升級風險。

修改證明軟體、電路或驗證者合約，可能帶來新的安全假設。

使用者應如何看待證明者

大多數使用者不會直接與證明者互動。

他們使用錢包、Rollup、跨鏈橋、隱私應用程式或去中心化應用程式，而這些服務會在幕後使用證明者。

使用者仍應了解證明者的角色，因為它會影響速度、費用、最終性與信任假設。

如果 Rollup 仰賴單一中心化證明者，使用者應了解該證明者離線時會發生什麼事。

如果隱私應用程式使用遠端證明服務，使用者應了解私密資料是否會傳送至該服務。

如果跨鏈橋仰賴證明，使用者應了解該證明驗證了什麼，以及沒有驗證什麼。

使用者也應確認驗證者合約是否經過稽核，以及證明系統是否具備明確的安全模型。

有證明者並不代表系統就能自動確保安全。

只有在證明系統、電路、驗證者、資料可用性與治理都經過妥善設計時，證明者才有價值。

使用者應將證明視為安全機制的一個層面，而不是整個系統的全部。

開發者的最佳實務

開發者應明確定義證明者需要證明的陳述。

他們應設計能精確執行預期規則的電路或程式。

他們應使用經過充分審查的證明系統，除非已由專家審查，否則應避免自創密碼學技術。

他們應在符合實際情況的工作負載、邊界案例與故障條件下測試證明產生流程。

他們應評估證明產生時間、記憶體使用量、硬體需求與驗證成本。

如果證明涉及敏感的使用者資料，他們應保護私密見證。

他們應記錄公開輸入資料，讓使用者與稽核人員了解驗證者實際檢查的內容。

在可行情況下，他們應將證明者基礎設施與受信任的管理員權限分開。

他們應為證明者停機、工作重試、監控與緊急備援做好規劃。

修改電路、證明金鑰、驗證者合約或證明者軟體時，他們應說明相關升級風險。

對證明者的常見誤解

一種常見誤解是證明者必須受到信任。

在設計完善的證明系統中，即使證明者不誠實，驗證者仍應拒絕無效證明。

另一種誤解是證明者一定能提供隱私。

有些證明者產生有效性證明，主要是為了擴充性，而不會隱藏所有交易資料。

另一種誤解是產生證明的成本很低。

產生證明的成本可能遠高於驗證，並可能需要專業基礎設施。

另一種誤解是有效證明能證明應用程式的所有事情。

證明只能驗證電路或程式所編碼的特定陳述。

另一種誤解是證明者去中心化已經在所有地方都解決了。

許多系統仍在努力打造更開放且去中心化的證明基礎設施。

另一種誤解是使用者完全不必關心證明者。

使用者或許不會執行證明者，但證明者設計可能影響提領、最終性、費用、隱私與應用程式可靠性。

常見問題

加密貨幣中的 prover 是什麼意思？

證明者是負責產生密碼學證明的行動者、程式、節點或服務，用來證明某項陳述、計算或狀態轉換有效。

零知識證明中的證明者是什麼？

在零知識證明中，證明者會產生證明，讓驗證者相信某項陳述為真，同時不揭露不必要的私密資訊。

證明者與驗證者有什麼差異？

證明者負責產生證明，驗證者則負責檢查證明是否有效。

為什麼證明者對 ZK-rollup 很重要？

證明者對 ZK-rollup 很重要，因為它們會產生有效性證明，讓交易批次能在基礎鏈上結算，而不必由每個節點重新執行所有交易。

證明者與排序器是同一種角色嗎？

不是。排序器負責排列交易順序，證明者則負責產生密碼學證明，確認執行正確或狀態轉換有效。

證明者一定會隱藏私密資料嗎？

不一定。有些證明者主要用於擴充性與正確性；是否能保護隱私，取決於證明系統與應用程式是否採用零知識設計。

不誠實的證明者能產生偽造證明嗎？

安全的證明系統應能防止不誠實的證明者為不實陳述產生有效證明。

為什麼產生證明的成本很高？

產生證明可能成本高昂，因為過程可能需要大量計算、耗用大量記憶體的執行追蹤、多項式運算、雜湊、遞迴與專用硬體。

證明中的見證是什麼？

見證是證明者用來產生證明的私密或內部資料，證明者不一定需要將這些資料揭露給驗證者。

什麼是遞迴證明？

遞迴證明是證明另一份證明有效的過程，有助於將多份證明合併成較小或更有效率的證明。

如果 Rollup 證明者離線會怎麼樣？

如果 Rollup 仰賴該證明者，證明提交與最終結算可能會延遲，直到證明能力恢復或啟用備援證明者為止。

證明者可以去中心化嗎？

可以。去中心化證明是持續發展與研究中的領域，但仍須解決工作分派、報酬、可靠性、隱私與驗證等問題。

結論

證明者是現代加密貨幣證明系統中最重要的基礎設施角色之一。

證明者會產生密碼學證明，讓驗證者能在不重複執行所有底層工作的情況下，確認陳述、計算、交易批次或狀態轉換有效。

證明者是零知識證明、ZK-rollup、zkVM、STARK 系統、SNARK 系統、證明彙整、遞迴證明、隱私協議、跨鏈橋與可驗證計算的核心。

證明者的主要價值，在於將繁重計算從驗證者端移開，同時維持驗證的可信度。

這有助於提升擴充性、減少鏈上工作、支援隱私並實現新的應用設計。

然而，證明者也帶來實際挑戰。

產生證明可能成本高昂、速度緩慢、需要大量硬體資源、營運複雜，有時也會出現中心化情況。

證明是否有用，取決於它所證明的陳述、所檢查的電路或程式、負責驗證的驗證者，以及維持證明服務正常運作的基礎設施。

對使用者而言，最重要的是了解證明者能提升密碼學驗證效率，但無法消除 Rollup、跨鏈橋、隱私應用程式或智能合約系統中的所有風險。

對開發者而言，最重要的是證明者設計必須安全、有效率、經過充分測試、兼顧隱私，並且文件清楚。

理解證明者最簡單的方式，就是把它想成負責執行艱深數學運算的元件，讓加密貨幣網路的其他部分能快速且無須信任地驗證結果。