可信設定

什麼是可信設定？

可信設定是一種密碼學程序，用於為某些零知識證明系統、多項式承諾方案及著重隱私的區塊鏈協議產生公開參數。

在加密貨幣中，可信設定最常見於 zk-SNARK、KZG 承諾、隱私幣、Rollup 及可擴充區塊鏈資料系統的討論。

此設定會建立共同參考字串，亦稱 CRS、結構化參考字串或 SRS，供證明者及驗證者日後建立和檢查證明。

「可信」一詞不代表使用者必須盲目信任一家公司或一名開發者。

它表示系統安全性取決於至少一名設定參與者誠實產生秘密隨機性，並永久銷毀該秘密隨機性。

若每位參與者皆不誠實或已遭入侵，設定可能變得不安全。

若至少一名參與者提供真正的隨機性並妥善刪除，最終公開參數仍可維持安全。

Ethereum 零知識證明文件說明，產生公開參數具有敏感性，因為若用於產生 CRS 的熵落入不誠實證明者手中，該證明者可能能計算出虛假證明。

對加密貨幣使用者而言，可信設定很重要，因為它是某些進階密碼學系統背後隱藏的信任假設之一。

協議在交易層可能是去中心化的，但仍可能依賴必須正確執行的設定儀式。

可信設定為何在加密貨幣中很重要

可信設定很重要，因為許多區塊鏈系統使用密碼學證明，讓交易具備隱私性、可擴充性，或降低驗證成本。

零知識證明可讓使用者證明某項敘述為真，而不揭露該敘述背後的私密資料。

這對私密付款、身分證明、Rollup 有效性證明、兼顧合規的系統及儲備證明設計很有用。

部分效率最高的證明系統在使用前需要設定參數。

若參數安全產生，系統即可產生小型且快速的證明。

若參數以不安全方式產生，攻擊者可能能建立看似有效的假證明。

這可能威脅協議的健全性。

健全性是指驗證者不應將錯誤敘述接受為真實的性質。

對加密貨幣而言，健全性遭破壞可能極其嚴重，因為可能允許隱藏式通膨、無效提領、虛假資產建立或詐欺性狀態轉換。

因此，可信設定不只是技術細節。

在依賴密碼學協議前，使用者、開發者、稽核人員及投資人都應了解它是一項安全假設。

可信設定如何運作

可信設定通常由協議團隊定義需要公開參數的密碼學系統開始。

團隊接著組織一場儀式，讓參與者貢獻隨機性。

每位參與者接收前一個步驟的輸入、加入自己的秘密隨機性、產生新的輸出，並發布該步驟已正確執行的證據。

參與者接著必須銷毀自己使用的秘密隨機性。

此秘密隨機性有時稱為「有毒廢料」（toxic waste）。

最終公開輸出成為證明系統使用的 CRS 或 SRS。

此程序通常設計為不需完全信任任何單一參與者。

只要有一名參與者誠實且銷毀其秘密，在該儀式的假設下，最終參數就應保持安全。

許多儀式亦會發布逐字紀錄、驗證工具、簽章及貢獻紀錄，供大眾檢查流程是否遵守規則。

這種透明度很重要，因為可信設定不僅關乎密碼學。

它也關乎公眾對密碼學材料如何建立的信心。

什麼是有毒廢料？

有毒廢料是在可信設定儀式期間產生、絕不可揭露或重複使用的秘密資訊。

這個名稱帶有戲劇性，因為該秘密若留存下來可能造成危害。

若攻擊者取得有毒廢料，可能能偽造證明、偽造有效性，或破壞依賴該設定之系統的安全性。

對 zk-SNARK 系統而言，有毒廢料可能讓不誠實的證明者為實際並不成立的敘述建立證明。

對依賴此類證明的加密貨幣而言，這可能成為重大風險。

在某些歷史隱私系統中，最大擔憂是有毒廢料可能允許未被察覺地建立幣，或建立無效的遮蔽交易。

因此，設定參與者通常採取嚴格的營運安全措施。

他們可能使用氣隙隔離機器、即時作業系統、實體來源熵、硬體銷毀或公開證明。

確切程序取決於儀式設計。

核心原則很簡單：公開參數應保留，但私密設定秘密應永遠消失。

什麼是多方運算儀式？

多方運算儀式（MPC ceremony）是一種涉及許多獨立參與者的可信設定方法。

系統不再信任單一個人誠實產生參數，而是讓許多人貢獻隨機性。

每位參與者都會為設定加入熵。

只要有一名參與者誠實並銷毀其秘密，最終設定即可維持安全。

這有時稱為「一名誠實參與者」假設。

MPC 儀式之所以普及，是因為可降低對單一可信方的依賴。

它們也讓程序更公開且更由社群驅動。

大型儀式可包括開發者、研究人員、驗證者、使用者、稽核人員及社群成員。

不過，參與者更多並不會自動代表完美安全。

儀式仍需要正確軟體、清楚驗證、強健隨機性、可靠的逐字紀錄發布，以及審慎防範惡意貢獻。

良好的 MPC 儀式同時具備密碼學健全性及營運透明度。

可信設定與 zk-SNARK

zk-SNARK 是 zero-knowledge succinct non-interactive argument of knowledge 的縮寫。

zk-SNARK 在加密貨幣中很受歡迎，因為它可產生容易驗證的精簡證明。

這使其適用於隱私系統及可擴充性系統。

部分 zk-SNARK 架構需要可信設定。

設定會產生證明者及驗證者日後使用的公開參數。

若設定安全，證明系統可提供強健的隱私及有效性保證。

若設定遭入侵，證明系統可能接受假證明。

此風險是可信設定儀式成為早期零知識加密系統最受討論議題之一的原因。

現代密碼學已提出可降低或移除可信設定要求的替代方案。

不過，以可信設定為基礎的 zk-SNARK 仍很重要，因為它們可高效、精簡且適合區塊鏈驗證。

其取捨在於效率與信任假設之間。

可信設定與 KZG 承諾

KZG 承諾是一種多項式承諾方案，應用於 Ethereum 的 Blob 交易系統及其他密碼學應用。

KZG 是承諾方案作者 Kate、Zaverucha 與 Goldberg 姓氏的縮寫。

KZG 承諾可讓協議對多項式作出承諾，並在之後高效證明與該多項式相關的主張。

在 Ethereum 中，KZG 承諾用於 EIP-4844 引入的 Blob 系統，亦稱 proto-danksharding。

官方Ethereum danksharding 文件說明，proto-danksharding 讓 Rollup 可透過 Blob 將更低成本資料加入 Ethereum 區塊。

同一份文件說明，KZG 儀式產生了用於驗證 Blob 資料承諾的隨機值。

KZG 承諾需要可信設定，因為結構化參考字串包含不得為人所知的隨機值秘密冪次。

若設定背後的秘密為人所知，惡意行為者可能可建立誤導性的承諾或證明。

因此，Ethereum 在正式使用 KZG 承諾前組織了大型公開 KZG 儀式。

Ethereum KZG 儀式

Ethereum KZG 儀式是為 proto-danksharding 所使用 KZG 承諾建立的大型公開可信設定儀式。

Ethereum 的官方KZG Summoning Ceremony 頁面將該儀式描述為產生 KZG 承諾所需結構化參考字串的程序。

Ethereum.org 表示，KZG 儀式有超過 140,000 次貢獻，使其成為全球同類型中規模最大的儀式。

Ethereum Foundation 的KZG Ceremony 總結發布了最終逐字紀錄雜湊值，並說明最終逐字紀錄輸出。

這很重要，因為 Ethereum 的 Blob 系統依賴 KZG 承諾進行高效率資料驗證。

Proto-danksharding 已隨 2024 年 3 月 Ethereum Mainnet 的 Cancun-Deneb（Dencun）升級上線。

截至 2026 年，KZG 儀式仍是主要區塊鏈協議使用大型公開可信設定的最重要真實案例之一。

對使用者而言，該儀式大多不可見。

但對協議安全而言，它是 Ethereum Blob 承諾系統信任模型的核心部分。

Zcash 與 Powers of Tau

Zcash 協助讓可信設定儀式在加密貨幣產業中廣為人知。

早期 Zcash 隱私技術依賴需要設定參數的 zk-SNARK。

Zcash 生態系後來使用名為 Powers of Tau 的大型儀式，為 zk-SNARK 專案建立可重複使用的公開參數。

Zcash Foundation Powers of Tau 公告表示，該儀式旨在產生可供使用 zk-SNARK 的專案採用的部分公開參數。

同一公告說明，使用這些參數之證明的正確性，需要至少一名參與者銷毀儀式期間取樣的部分隨機性。

Powers of Tau 很重要，因為它將可信設定從小型私人活動推向更開放、多參與者的程序。

它也顯示儀式可發布逐字紀錄及驗證工具，讓大眾檢視結果。

Zcash 案例常被用於說明可信設定為何強大但敏感。

若設定正常運作，使用者可受益於高效隱私證明。

若設定遭入侵，使用者必須了解系統健全性面臨的風險。

可信設定與透明設定

可信設定要求參與者建立公開參數，同時保存並銷毀秘密隨機性。

透明設定不需要來自可信參與者的隱藏隨機性。

透明證明系統使用公開隨機性、雜湊函數或其他避免有毒廢料的方法。

ZK-STARK 是透明證明系統的常見例子。

官方Ethereum 零知識證明文件說明，ZK-STARK 依賴可公開驗證的隨機性，而非可信設定。

這使 ZK-STARK 比以可信設定為基礎的 zk-SNARK 更透明。

不過，透明系統也可能有取捨。

它們可能產生更大的證明，或具有不同的驗證成本。

在某些使用情境下，以可信設定為基礎的系統可能提供較小證明及更快驗證。

選擇取決於協議需求、安全模型、證明大小、證明者成本、驗證成本及使用者信任假設。

通用與電路特定可信設定

電路特定可信設定會為某一特定運算或電路建立參數。

若電路變更，可能需要重新執行設定。

對需要頻繁升級或使用許多不同證明電路的協議而言，這可能不便。

通用可信設定建立的參數可支援多個電路，但受限於一定大小或複雜度上限。

通用設定更具彈性，因為多個專案或應用程式可重複使用相同設定輸出。

Powers of Tau 常被討論為 zk-SNARK 系統的通用或可重複使用設定基礎。

通用設定可減少整個生態系所需儀式的數量。

但它們也可能將更多價值集中於一項設定。

若許多系統依賴相同設定，對該設定的信任便更加重要。

開發者應了解其證明系統使用的是電路特定設定、通用設定、透明設定，還是完全不需設定。

可信設定與 Rollup

Rollup 是區塊鏈擴充系統，會在鏈下處理交易，並將壓縮資料或證明發布至基礎鏈。

部分 Rollup 使用零知識證明來證明狀態轉換有效。

若 Rollup 的證明系統依賴可信設定，該 Rollup 的安全性也部分取決於設定假設。

這不會自動代表該 Rollup 不安全。

它表示使用者應了解完整信任模型。

Rollup 可能依賴智能合約、排序器、證明者、資料可用性、升級金鑰、治理及密碼學設定假設。

可信設定是更大安全圖像中的一部分。

對 Ethereum Blob 而言，KZG 承諾有助於降低發布及驗證 Rollup 資料的成本。

官方EIP-4844 規格引入攜帶 Blob 的交易，其資料無法由 EVM 執行存取，但可存取其承諾。

這是可信設定對現代 Ethereum 擴充仍具相關性的主要原因。

可信設定與隱私幣

可信設定也一直是著重隱私的加密貨幣系統的重要部分。

隱私幣可能使用零知識證明，讓使用者證明交易有效，而不揭露發送者、接收者或金額詳細資料。

部分隱私系統在歷史上使用以可信設定為基礎的 zk-SNARK，因為其證明小且高效。

此效率使私密交易更適合在鏈上進行。

風險在於遭入侵的設定可能影響健全性。

在某些系統中，隱私本身可能仍受保護，但若虛假證明允許建立無效幣，貨幣健全性可能受到威脅。

因此，設定儀式設計是早期隱私幣安全辯論的核心部分。

現代隱私研究持續探索改善證明系統、降低信任假設及讓設定程序更容易驗證的方法。

對使用者而言，關鍵是應同時依隱私保證與證明系統信任假設評估隱私技術。

可信設定與健全性

健全性是指錯誤證明不應被驗證為真實的性質。

在加密貨幣中，健全性至關重要，因為智能合約及區塊鏈節點可能自動接受密碼學證明。

若健全性遭破壞，系統可能接受無效提領、虛假餘額、不正確狀態轉換或偽造私密交易。

可信設定可能影響健全性，因為設定秘密若為人所知，可能允許建立假證明。

這就是必須銷毀有毒廢料的原因。

公開驗證者通常無法只透過查看後續證明，判斷可信設定是否遭入侵。

若參數看似有效，但攻擊者知道秘密，攻擊者可能能悄悄作弊。

這使可信設定不同於許多一般軟體漏洞。

一般漏洞可能在發現後修補。

遭入侵的設定可能需要更換參數、遷移系統或改變證明系統。

可信設定與零知識

零知識是指證明除所證明敘述為真之外，不會揭露不必要私密資訊的性質。

可信設定主要與健全性相關，但也可能是更廣泛證明系統設計的一部分。

Zcash Foundation 的 Powers of Tau 公告指出，即使所有參與者皆遭入侵，該協議仍保證所得證明的零知識性。

這項區分很重要，因為證明系統可能具有不同安全性質。

設定遭入侵可能影響健全性，而不一定暴露使用者隱私。

在其他系統中，不佳實作或劣質隨機性也可能影響隱私。

使用者不應假設所有設定失敗都會造成相同後果。

確切風險取決於證明系統、應用程式及設定設計。

對交易者及投資人而言，最重要的實務問題是設定遭入侵是否可能造成隱藏的經濟損害。

對隱私使用者而言，問題也包括私密交易詳細資料是否可能外洩。

可信設定與公開驗證

當大眾可驗證儀式逐字紀錄時，可信設定會更具強度。

公開驗證是指任何人皆可檢查每次貢獻是否遵守協議規則。

這通常需要發布逐字紀錄、雜湊值、簽章、軟體、說明及貢獻中繼資料。

Ethereum 的 KZG 儀式發布最終逐字紀錄雜湊值，並讓逐字紀錄可供驗證。

Zcash Foundation 也為 Powers of Tau 發布參數、逐字紀錄、驗證工具及參與者證明。

公開驗證無法證明每位參與者都銷毀了有毒廢料。

它確實有助於證明可見的儀式步驟格式正確。

誠實參與者假設仍然存在。

因此，儀式透明度是必要條件，但未必充分。

良好儀式需要可驗證的公開輸出，以及可信的私密熵銷毀。

可信設定與儀式規模

較大型儀式可降低信任集中度，因為有更多人貢獻隨機性。

若儀式只需一名誠實參與者即可安全，加入更多獨立參與者可提升信心。

Ethereum 的 KZG 儀式是有力例子，因為它有超過 140,000 次貢獻。

不過，儀式規模不是唯一重要因素。

若大量貢獻來自同一實體，有效多樣性可能低於表面數量所示。

若儀式軟體存在漏洞，大量參與者未必能解決問題。

若逐字紀錄驗證困難，使用者可能無法獨立檢查流程。

若貢獻程序遭審查或難以參與，儀式可能不如表面般開放。

良好分析應考量參與者數量、參與者多樣性、軟體安全、逐字紀錄驗證、熵品質及設定周邊治理。

可信設定與加密貨幣安全稽核

使用可信設定系統的安全稽核不應只檢查智能合約程式碼。

稽核人員應檢查證明系統、設定參數、驗證金鑰、實作函式庫、儀式逐字紀錄及整合邏輯。

智能合約可能正確呼叫驗證者，但驗證者可能依賴不安全參數。

證明系統理論上可能健全，但實作可能錯誤處理輸入或邊界情況。

儀式可能有效，但專案可能使用錯誤驗證金鑰。

Rollup 可能安全使用可信設定，但治理可能允許未來升級以不安全程式碼替換驗證者。

因此，可信設定分析應納入完整協議風險檢視。

使用者應尋找清楚文件，說明使用何種設定、是否為通用或電路特定設定、誰參與，以及如何驗證參數。

無法清楚說明其設定假設的專案值得格外審慎對待。

可信設定與可升級性

可升級性可與可信設定風險互動。

若協議升級其電路、驗證者合約或證明系統，可能需要新的設定或驗證參數。

電路特定設定可能在電路變更後失效。

視證明系統及大小限制而定，通用設定可能可支援新電路，而不需完整新儀式。

若協議悄悄改變證明參數，使用者可能不會注意到信任模型已變更。

因此，升級應保持透明，理想上應受治理、稽核、時間鎖及公開公告保護。

對 Rollup 而言，驗證者升級尤其重要，因為它們決定接受哪些狀態轉換證明。

對隱私系統而言，參數升級可能影響安全假設及使用者信心。

可信設定不應被視為一次性的行銷活動。

它應成為持續協議維護及公開風險揭露的一部分。

可信設定與共同參考字串

共同參考字串（CRS）是在特定證明系統中供證明者及驗證者使用的共享公開資料。

CRS 可能包括群元素、秘密值的冪次或其他具結構的密碼學材料。

使用者通常不會直接與 CRS 互動。

開發者及協議客戶端會透過證明和驗證軟體使用它。

若 CRS 是透過可信設定產生，系統便依賴建立 CRS 的秘密未知這項假設。

在某些情境中，人們幾乎可交替使用 CRS 與 SRS。

SRS 通常強調參考字串具有結構，例如隱藏值的冪次。

關鍵問題是參考字串透過透明方式或可信設定產生。

了解這點有助於使用者看出信任如何進入零知識或多項式承諾系統。

可信設定與結構化參考字串

結構化參考字串（SRS）是一組具有數學結構的公開參數。

在 KZG 承諾中，SRS 包含與隱藏隨機數秘密冪次相關的值。

這些值可公開使用，而不揭露秘密本身。

若秘密已銷毀且無法重建，系統即可維持安全。

若秘密為人所知，系統可能遭入侵。

這就是 KZG 承諾需要可信設定儀式的原因。

SRS 功能強大，因為它支援高效率承諾及證明。

它也具有敏感性，因為隱藏結構會建立信任假設。

對開發者而言，SRS 管理包括正確載入、版本管理、驗證，以及與客戶端軟體的相容性。

對使用者而言，主要疑慮是 SRS 是否安全產生及處理。

可信設定的優點

可信設定的第一項優點是效率。

部分以可信設定為基礎的證明系統可產生非常小、鏈上驗證成本低的證明。

第二項優點是實際可擴充性。

當區塊鏈需驗證大量交易或大型鏈下運算時，小型證明很有用。

第三項優點是成熟工具。

許多以可信設定為基礎的系統已被研究、實作、稽核及投入正式使用。

第四項優點是與特定承諾方案相容。

KZG 承諾高效且適合資料可用性及多項式證明系統，但需要 SRS。

第五項優點是生態系重複使用。

通用設定可支援許多應用程式，不需要每次都進行新儀式。

這些優點說明了即使透明證明系統存在，可信設定仍具相關性。

可信設定的風險

可信設定最大的風險是有毒廢料外洩。

若設定秘密為人所知，攻擊者可能能偽造證明或承諾。

另一項風險是參與者多樣性不足。

若所有參與者皆被單一攻擊者控制或入侵，誠實參與者假設便會失效。

第三項風險是有缺陷的儀式軟體。

若設定工具錯誤，儀式可能產生脆弱或無效參數。

第四項風險是驗證薄弱。

若使用者無法驗證逐字紀錄，便必須更高度依賴組織者。

第五項風險是文件不清楚。

若專案未清楚說明其設定，使用者可能不了解自己信任的是什麼。

第六項風險是未來遷移。

若可信設定日後被認定不安全，協議可能需要遷移至新參數或新證明系統。

可信設定與不需可信設定

具有可信設定的系統可非常高效，但需要對儀式有信心。

不需可信設定的系統可減少與儀式相關的信任，但可能存在不同效能取捨。

ZK-STARK 常被作為避免可信設定的透明證明系統例子。

一些現代 SNARK 系統也致力於降低、通用化或消除設定假設。

最佳選擇取決於協議需求。

隱私支付系統可能優先考量小型證明及低驗證成本。

Rollup 可能優先考量證明者效能、驗證成本及升級彈性。

資料可用性系統可能優先考量高效承諾及與採樣的相容性。

處理極高價值資產的系統可能偏好較少信任假設，即使證明較大。

不存在一體適用的答案。

可信設定是一項必須在脈絡中評估的設計取捨。

使用者如何評估可信設定

使用者應先確認協議是否使用可信設定。

接著應確認哪種證明系統或承諾方案依賴該設定。

應確認設定是通用還是電路特定。

應確認是否有公開逐字紀錄。

應確認是否提供獨立驗證工具。

應確認有多少參與者貢獻，以及參與是否開放。

應確認專案是否清楚說明有毒廢料假設。

應確認協議整合設定參數後是否已接受稽核。

應確認未來升級能否在缺乏強健治理控制下替換證明參數。

對大額入金或長期使用而言，可信設定應納入使用者的風險檢視。

可信設定與交易風險

當代幣、Rollup、跨鏈橋或隱私系統依賴證明健全性時，可信設定可能影響交易風險。

若設定受到廣泛信任且文件完整，可能有助於提升對協議的信心。

若設定具爭議、不透明或驗證不佳，交易者可能將較高風險歸於相關資產。

設定失敗未必會在風險變嚴重前顯示於價格圖表中。

它可能是隱藏技術風險，而非可見市場訊號。

這對交易者很重要，因為加密貨幣市場通常比技術細節更快反映敘事。

協議可能因 TVL 高、交易量高或品牌強大而顯得穩健。

不過，若其證明系統依賴薄弱設定假設，真實風險可能高於市場認知。

因此，技術風險應納入基本面分析。

當協議保障大量使用者資金時，可信設定尤其重要。

可信設定與 DeFi

DeFi 協議可能透過 Rollup、隱私層、證明系統或資料可用性工具間接使用可信設定。

部署於 Rollup 的 DeFi 應用程式可能依賴該 Rollup 的有效性證明系統。

若 Rollup 證明系統使用可信設定，DeFi 應用程式便間接承繼部分該假設。

使用零知識身分或合規證明的借貸協議也可能依賴設定參數。

私密交易或私密資產協議可能依賴以可信設定為基礎的證明系統，在隱藏敏感資料的同時證明有效性。

對 DeFi 使用者而言，可信設定常隱藏在應用程式介面之下。

App 可能顯示簡單的入金、閃兌或借款按鈕。

按鈕背後可能有證明系統、驗證者合約、承諾方案、排序器或資料可用性假設。

了解可信設定有助於使用者理解 DeFi 風險具有多層次。

可信設定與開發者

開發者應將可信設定視為安全關鍵基礎設施。

應依清楚取捨選擇證明系統，而非追隨炒作。

應記錄設定參數是通用、電路特定、可重複使用或應用程式特定。

應發布供使用者及稽核人員使用的驗證說明。

應避免悄悄變更證明金鑰、驗證者合約或 CRS 檔案。

可能時應使用已稽核的函式庫。

應測試證明產生及驗證是否使用相同預期參數。

應在安全文件及威脅模型中納入設定假設。

應規劃參數需要輪替、替換或淘汰時的處理方式。

可信設定不只是密碼學儀式，也是長期維護責任。

關於可信設定的常見誤解

第一項誤解是可信設定代表系統中心化。

可信設定可涉及許多獨立貢獻者，仍可支援去中心化協議。

第二項誤解是所有可信設定風險相同。

風險取決於儀式設計、參與者多樣性、逐字紀錄驗證、軟體品質及證明系統假設。

第三項誤解是可信設定一定威脅使用者隱私。

在許多系統中，主要設定風險是證明健全性，而非直接隱私外洩。

第四項誤解是大型儀式可移除所有風險。

只有軟體、驗證、熵及參與流程皆健全時，大型儀式才可提升信心。

第五項誤解是透明證明系統總是更好。

透明系統可降低設定信任，但可能有較大證明或不同成本結構。

第六項誤解是使用者永遠不需關心設定。

當設定保護資產、Rollup 有效性、隱私或關鍵協議邏輯時，使用者應關心。

可信設定檢查清單

確認協議是否使用 zk-SNARK、KZG 承諾或其他依賴設定的系統。

確認設定是公開、私人、通用還是電路特定。

確認儀式是否使用多方運算。

確認是否只需至少一名誠實參與者即可維持安全。

確認是否清楚說明有毒廢料銷毀。

確認逐字紀錄、最終雜湊值及驗證工具是否公開。

確認驗證者合約及證明金鑰是否已稽核。

確認升級是否可替換證明參數。

確認協議是否有在需要時從舊參數遷移的計畫。

確認專案是否以使用者能理解的語言說明設定假設。

常見問題

簡單來說，什麼是可信設定？

可信設定是一種密碼學儀式，會為證明系統建立公開參數，並要求參與者銷毀秘密隨機性。

為什麼稱為可信設定？

之所以稱為可信設定，是因為使用者必須信任至少一名參與者貢獻了誠實隨機性，並銷毀秘密有毒廢料。

可信設定中的有毒廢料是什麼？

有毒廢料是設定期間產生的秘密隨機性，若留存或揭露可能造成危害。

為什麼部分 zk-SNARK 需要可信設定？

部分 zk-SNARK 需要可信設定，因為其公開證明及驗證參數依賴系統使用前產生的秘密隨機性。

若可信設定遭入侵會發生什麼事？

若設定遭入侵，攻擊者可能能建立看似有效的假證明或承諾。

可信設定一定影響隱私嗎？

不一定，因為在許多系統中，主要風險是健全性遭破壞，而非直接隱私外洩。

什麼是 MPC 儀式？

MPC 儀式是一種多方設定程序，許多參與者貢獻隨機性，因此只要至少一名參與者誠實，設定便可維持安全。

什麼是 Ethereum KZG 儀式？

Ethereum KZG 儀式是一場公開可信設定儀式，產生 Ethereum Blob 系統中 KZG 承諾所使用的結構化參考字串。

什麼是 Powers of Tau？

Powers of Tau 是一場與 Zcash 相關的大型儀式，旨在為 zk-SNARK 系統產生可重複使用的公開參數。

ZK-STARK 不需要可信設定嗎？

是，ZK-STARK 通常被描述為透明證明系統，因為它們依賴可公開驗證的隨機性，而非可信設定。

可信設定不好嗎？

可信設定不一定不好，但它是一項必須被理解、記錄及驗證的信任假設。

為什麼協議仍使用可信設定系統？

協議可能使用可信設定系統，因為它們可提供小型證明、高效驗證、成熟工具及實用的區塊鏈效能。

可信設定可重複使用嗎？

部分通用可信設定可跨多個電路或應用程式重複使用，電路特定設定則僅限於一種電路設計。

使用者如何檢查可信設定的安全性？

使用者可檢視儀式文件、參與者數量、逐字紀錄可用性、驗證工具、稽核及升級控制。

結論

可信設定是一種密碼學程序，用於為加密貨幣中的某些證明系統及承諾方案產生公開參數。

它對 zk-SNARK、KZG 承諾、隱私系統、Rollup 及可擴充區塊鏈資料設計尤其重要。

主要安全概念是儀式期間建立的秘密隨機性必須被銷毀。

只要至少一名參與者誠實行事並刪除其有毒廢料，在儀式假設下設定即可維持安全。

若每位參與者皆不誠實或遭入侵，系統可能容易受到假證明或無效承諾攻擊。

可信設定已促成高效密碼學系統，包括小型證明及實用的鏈上驗證。

它也為區塊鏈使用者帶來嚴肅的信任及透明度問題。

主要例子包括與 Zcash 相關的 Powers of Tau 儀式，以及 Ethereum 為 proto-danksharding 舉行的公開 KZG 儀式。

ZK-STARK 等現代透明證明系統可降低或移除可信設定假設，但可能涉及不同的效能取捨。

理解可信設定的最佳方式，是將其視為設計選擇，而非單純缺陷。

對使用者而言，可信設定應納入協議風險分析。

對開發者而言，它應是安全架構、稽核範圍、文件及升級規劃的一部分。

對更廣泛的加密貨幣生態系而言，可信設定顯示去中心化不僅依賴共識及智能合約，也依賴使進階區塊鏈應用程式成為可能的密碼學基礎。