Plonky2 簡介

Polygon Labs 旗下 Polygon Zero 部門致力於運用零知識證明技術擴展以太坊，目標是支援 10 億名用戶，同時兼顧去中心化與安全性。為實現這項宏大藍圖，必須打造高效且快速的證明系統。Plonky2 在零知識密碼學領域實現了重大突破，將多種證明系統的優點整合成一套高度優化的解決方案。

Plonky2 屬於遞迴 SNARK，與現有方案相比效能大幅提升，並對以太坊具備原生相容性。結合 PLONK 和 FRI（Fast Reed-Solomon Interactive Oracle Proofs），Plonky2 承襲了 STARKs 的快速生成與無需可信設定等關鍵優勢，以及 SNARKs 的遞迴支援與以太坊上的低驗證成本。

遞迴

遞迴是零知識證明系統最具突破性的能力之一。SNARKs 能驗證任意計算，而驗證 SNARK 本身也是一種計算，因此 SNARK 可以用來驗證其他 SNARK。Plonky2 的遞迴特性極大提升了系統的可擴展性。

以實際應用為例，驗證者需證明 1,000 筆交易的有效性。若一次為全部 1,000 筆交易產生單一證明，計算與時間成本極高。更佳做法是分散處理：1,000 台平行機器分別為每筆交易產生獨立證明，之後再透過多層遞迴證明逐步聚合，每層證明負責驗證上一層的兩份交易證明。最終僅需一個證明，即可認證所有 1,000 筆交易的有效性。

Plonky2 的遞迴架構帶來多重優勢，包括縮短計算時間、降低資源消耗，並能透過多節點分散式生成證明，實現更高層級的去中心化。

效率

遞迴證明是區塊鏈擴展能力的基石。遞迴證明技術發展迅速：2019 年 Mir（現為 Polygon Zero）推出時，使用高效能硬體產生單一遞迴證明約需 2 分鐘。2020 年，遞迴證明已落地以太坊，產生時間縮短至 60 秒。Halo 協議進一步提升證明產生速度，但卻放棄了以太坊相容性。

2021 年，Polygon Zero 設定一項前所未有的技術目標：在確保以太坊相容性的前提下，達成小於 1 秒的遞迴證明。Plonky2 的突破在於發現 FRI（STARKs 的多項式承諾方案）能為遞迴 SNARKs 帶來巨大效能提升，而過去如 Fractal 等方案產生證明仍需 10 分鐘，這並非直觀結果。

FRI 具備優異的數學特性，支援 64 位元域。Polygon 研究團隊發現 Goldilocks Field，其模數讓現代 CPU 架構下的域運算更有效率。結合 PLONK，FRI 可實現更高線數的自訂邏輯閘電路，使 Plonky2 電路針對遞迴效率最佳化。

這種數學創新、密碼學專業與底層效能優化的結合，最終帶來質的飛躍：在 MacBook Pro 上，Plonky2 產生遞迴證明僅需 170 毫秒，效能遠勝現有解決方案。

證明規模

Plonky2 不僅優化了遞迴證明效能，也提升了非遞迴證明的產生效率。傳統 FRI 系統需在「快速產生大規模證明」與「緩慢產生小規模證明」之間取捨，影響以太坊的驗證成本。其他方案也僅能在這兩種次優方案中權衡。

Plonky2 透過架構創新，徹底化解這一難題。若需快速產生證明，系統可優先提升速度；隨後這些獨立證明遞迴聚合，最終的單一證明可用極簡電路驗證，專為證明規模優化。兩階段方案下，證明規模可小至 45 KB，產生時間僅需 20 秒——而證明只於提交以太坊時產生，這段時長幾乎可忽略。相較其他實現方式，營運成本大幅下降。

相容性

Plonky2 的核心優勢之一是與以太坊區塊鏈的原生相容。證明驗證過程只需 keccak-256 密碼雜湊函數，完全支援現有以太坊基礎設施。初步估算，在以太坊上驗證經過規模優化的 Plonky2 證明約需 100 萬 gas。

但大部分 gas 消耗來自 CALLDATA 上鏈的發佈成本。若 EIP-4488 優化 CALLDATA 定價，驗證成本可降至 17 萬至 20 萬 gas 區間。因此，Plonky2 不僅是高效能證明系統，也極具以太坊上的經濟性。

結論

Plonky2 是零知識證明技術的里程碑式進展，也是以太坊擴容基礎設施的關鍵節點。Polygon Zero 以 Plonky2 展現數學創新與工程實力的結合，突破傳統證明系統的限制。即使零知識 Layer-2 方案持續受到關注，目前主流實現依賴的加密原語仍受限於效能與可擴展性。

隨著 Layer-2 賽道競爭加劇，系統吞吐量與營運成本將成為關鍵競爭力。Plonky2 為 Polygon 生態系提供打造高效能、高擴展性 Layer-2 系統的底層工具，是推動以太坊擴展解決方案革新的關鍵力量。

常見問題

Plonky2 是什麼？主要特點和優勢有哪些？

Plonky2 是 Polygon 推出的遞迴 ZK-SNARK 技術，速度較現有方案快 100 倍，並完全相容以太坊。其結合 PLONK 與 FRI 的優點，實現極快的證明生成與更強的擴展性。

Plonky2 與 Circom、ZoKrates 等其他零知識證明框架有何不同？

Plonky2 採用小型 Goldilocks 域，支援高效遞迴，效能優於 Circom 與 ZoKrates。其證明生成速度最佳，安全性也更高。

Plonky2 的主要應用場景有哪些？

Plonky2 主要用於區塊鏈隱私保護、Layer-2 擴展及加密驗證。可實現安全交易與智慧合約的零知識證明。

如何使用 Plonky2 建構與驗證零知識證明？

Plonky2 支援為任意可驗證計算建構零知識證明，並高效遞迴組合證明。可透過自訂邏輯閘電路最佳化設計，提升效能與擴展性。

Plonky2 的效能如何？證明生成速度和驗證速度分別是多少？

Plonky2 在 MacBook Pro 上產生遞迴證明僅需 0.17 秒，速度較現有方案提升 100 倍。驗證過程約 20 秒，效能卓越，適用於零知識證明應用。

Plonky2 支援哪些程式語言和開發環境？

Plonky2 主要支援 Rust 程式語言，專為具備 Rust 開發經驗的開發者設計。此方案提供高效的零知識證明開發環境，支援模組化與可擴展的證明系統建構。

Plonky2 與 Plonk 演算法有何關聯？為何命名為 Plonky2？

Plonky2 是 Plonk 的增強版，將 KZG 承諾機制替換為 STARK 技術中的 FRI 承諾。Plonky2 這個名稱展現其進化與提升，兼具 Plonk 的高效能與 FRI 的抗量子性及更快證明能力。