免責聲明：本文旨在傳遞更多市場信息，不構成任何投資建議。文章僅代表作者觀點，不代表火星财經官方立場。

小編：記得關注哦

來源：Polygon

原标題 | Plonky2入門指南 ———關于全世界最快的ZK技術

Polygon Zero 的宗旨很簡單：在不影響去中心化或安全性的前提下，使用零知識證明将以太坊擴展到十億用戶。 實現這一點需要快速有效的驗證系統。 今天，我們很高興與大家分享 Plonky2——零知識密碼學的一個重要裡程碑。

Plonky2 是一種遞歸zk-SNARK(Zero-Knowledge Succinct Non-Interactive Argument of Knowledge, 零知識簡潔的非交互式知識論證)，比現有其他方案快 100 倍，并且與以太坊原生兼容。 它結合了 PLONK 和 FRI 以獲得最好的 STARK(Zero-Knowledge Scalable Transparent Argument of Knowledge，零知識可擴展的透明知識論證)，具有快速證明和無可信設置，以及最好的 SNARK，支持遞歸和以太坊上的低驗證成本。

Plonky2 代表了 Polygon 持續緻力于構建以太坊未來的最新一步，我們很自豪能與以太坊社區分享我們的工作。

遞歸

如果零知識證明有超能力，那就是遞歸。 SNARK 可以驗證任意計算，并且由于驗證 SNARK 是一種計算，因此 SNARK 可以驗證其他 SNARK。

要了解它為何有用，我們可以來做一個假設。假設：我們要證明一批總計1,000筆的交易是有效的，而且一次生成一個證明來依次驗證1,000筆交易将是昂貴且耗時的。

相反，我們可以使用 1,000 台機器并行生成 1,000 個證明，每筆交易對應一個證明。 接下來，我們可以獲取這些交易證明，并通過生成一層遞歸證明來遞歸聚合它們，每個證明都驗證兩個交易證明。 我們重複這個過程，直到我們得到一個可以驗證 1000 筆交易的證明。

遞歸方法更快，資源密集度更低，并且可以更加分散。

效率

遞歸證明對于區塊鍊的可擴展性至關重要。當我們在 2019 年啟動 Mir（即現在的 Polygon Zero）時，在一台高速計算機上需要兩分鐘才能生成一個遞歸證明。 2020 年以太坊新增了 60 秒證明時間的遞歸證明，并且Halo 的發明提供了更快的遞歸證明，但不兼容以太坊。

2021 年，我們有了一個大膽的目标：在以太坊上進行不到 1 秒的遞歸證明。我們意識到，STARKS 中使用的多項式承諾方案 FRI 可以為遞歸 SNARK 提供顯着的性能改進。在當時，這并不明顯。 Fractal 是遞歸 FRI 的唯一現有實現，大約需要 10 分鐘才能生成證明。

然而，FRI 有一些令人興奮的特性。它允許我們使用 64 位字段，我們的團隊發現了 Goldilocks 字段，它的模數可以在現代 CPU 上實現極其高效的字段運算。當與 PLONK 結合使用時，FRI 允許我們編寫具有更多電線的自定義邏輯門，因此我們可以編寫針對高效遞歸進行優化的電路。

這種數學洞察力、零知識密碼學方面的深厚專業知識和驚人的低級優化相結合，使我們能夠取得重大突破。 Plonky2 的遞歸證明在 Macbook Pro 上僅需 170 毫秒，比現有替代方案提高了 100 倍。

證明的大小

Plonky2 還允許我們為不涉及遞歸的證明的證明時間提速。使用 FRI，您可以擁有大型的快速證明（因此在以太坊上驗證它們的成本更高），或者您可以選擇小型的慢速證明。 正如 Starkware 在其 ZK-rollups中使用的 STARK，使用 FRI 的構造必須進行選擇。他們不能擁有足夠快的證明時間和足夠小的證明大小以在以太坊上進行合理驗證。

Plonky2 消除了這種權衡。 在證明時間很重要的情況下，我們可以優化最快的證明。 當這些證明被遞歸聚合時，我們隻剩下一個可以在小電路中驗證的證明。 此時，我們可以優化證明大小。 我們可以将證明大小縮小到 45kb，隻需 20 秒的證明時間（這沒什麼大不了的，因為我們隻在提交到以太坊時生成），相對于 Starkware，大大降低了成本。

兼容性

令人興奮的是，Plonky2 原生兼容以太坊。 Plonky2 隻需要 keccak-256 來驗證證明。我們估計，在以太坊上驗證 plonky2 大小優化證明的燃料費成本約為 100萬Wei（0.1Gwei）。

然而，這個成本主要是在以太坊上發布證明的 CALLDATA 成本。如果 CALLDATA 在 EIP-4488 中重新定價，plonky2 證明的驗證成本将下降到 170-200k gas 之間，這可能使其不僅是最快的證明系統，也是在以太坊上驗證的最便宜的系統。

結論

去年，Polygon 承諾支持零知識證明擴容。這代表了一個重要的轉變，因為 Polygon 從提供當前的基本解決方案轉向構建以太坊擴展的未來。 Plonky2 是這一旅程的重要一步，也是整個空間的重大突破。

ZK L2 受益于大量炒作，但當前的解決方案依賴于低效且限制可擴展性的密碼原語。最終，L2 将在吞吐量和成本上展開競争，而 Plonky2 為 Polygon 生态系統提供了構建性能最高和可擴展的 L2 的機會。