零知識證明開發指南：從入門到高階_ARK

通過闡述整個開發工具集，本文希望提供一個指南，幫助開發者在決策過程中選擇合適的zk堆棧。

去年夏天，Vitalik寫了一篇博文，概述了不同類型的zkEVM。Vitalik根據性能和兼容性來定義與權衡。

這是一個非常有用的啟發式方法，以區分支持zkEVM的方法。然而，zkEVM是構建零知識應用程序的所有可能方法的一個子集。對于想要利用zk計算的獨特屬性，即簡潔性、零知識和正確性的程序員來說，zkEVM可能不是最好的選擇。通過闡述整個開發工具集，本文希望提供一個指南，幫助開發者在決策過程中選擇合適的zk堆棧。

抽象復雜度的力量

在過去的一兩年中，zk工具有了巨大的進步。使得普通軟件的開發人員可以利用zk的強大屬性，而不需要深入了解令人生畏的基礎數學和工程。另一方面，為高級用戶提供的工具激增，使zk專家能夠極其精細地控制zk堆棧。

現代軟件是建立在無數的抽象層上的，以最大限度地提高專家的生產力。工程中的抽象有許多優勢，這些優勢在某種程度上是直觀的--網絡開發者不需要深入了解操作系統的工作原理。

建立良好的、可重復使用的抽象層的關鍵是封裝一個層的復雜性，然后為堆棧中更高的層提供簡單但有表現力的接口。正確的做法是，這使得具有不同專業領域和知識的開發人員能夠在整個堆棧中建立有用的工具。

毫不奇怪，這些原則也適用于zk系統，而且這些抽象層正變得足夠成熟，一個zk新手今天就可以開始使用它們并構建應用程序。

zk堆棧與各層的一些工具/技術實例

低級別的zk開發

Arkworks-rs

Arkworks-rs是一個Rust庫的生態系統，它為zkSNARK應用程序的子組件提供高效和安全的實現。Arkworks為開發者提供了必要的接口，以定制zk應用程序的軟件棧，而不必重新實現與其他現有庫的共性。

在Arkworks之前，創建一個新的zk應用程序的唯一方法是從頭開始構建一切。與定制的垂直整合工具相比，Arkworks-rs的主要優勢在于其靈活性水平，減少重復工程，以及減少審計工作。Arkworks組件之間合理的接口線允許升級的速度，可以使堆棧在zk技術快速創新的過程中保持相關性，而不會迫使團隊從頭開始重建一切。

SKALE即將發布去中心化零知識證明解決方案Levitation Protocol:6月2日消息，以太坊側鏈 SKALE 開發人員宣布了一項 SKALE 改進提案，即，去中心化零知識證明解決方案 Levitation Protocol，旨在通過使全套 ZK 解決方案無縫連接到 SKALE 架構，并將 Rollup 連接到以太坊主網。該提案包括進一步的生態系統升級，增加了一個新的「Layer 1 Megachain」，稱為 SKALE G（G 代表木衛三，太陽系中最大的衛星）。

SKALE 開發人員計劃在未來幾個月內開始發布 Levitation Protocol 源代碼，之后將啟動公共測試網。Levitation Protocol 主網計劃于 2023 年第四季度推出。[2023/6/2 11:53:31]

優點

通過模塊化實現靈活性

減少重復代碼

降低工程成本

減少審計/bug的表面積

無需重大重構即可升級任何組件

易于在快速發展的zk環境中試驗新原語

缺點

需要深入了解完整的軟件堆棧

如果沒有正確理解，太多的控制會導致腳槍

精細控制需要堆棧所有級別的專業知識。

Arkworks確實提供了一些合理的默認設置。

zk領域專用語言(DSL)

為了創建一個關于某些計算的證明，首先這個計算必須以一個zkSNARK系統可以理解的形式來表達。一些特定領域的語言已經創建了編程語言，允許應用開發者以這種方式表達他們的計算。這些語言包括AztecNoir、Starknet的Cairo、Circom、ZoKrates和Aleo的Leo等等。底層的證明系統和數學細節一般不會暴露給應用開發者。

開發者的經驗

zkApp的開發者必須熟練地用特定領域的語言編寫程序。其中一些語言看起來很像我們熟悉的編程語言，而其他語言可能相當難學。讓我們來分析一下其中的幾個。

Cairo-StarkwareDSL對于在Starknet上構建應用程序是必要的。編譯成Cairo特有的匯編語言，可由CairozkVM解釋。

ZoKrates-ZoKrates是一個滿足SNARK常見需求的工具包，包括一種編寫電路的高級語言。ZoKrates在曲線、證明方案和后端方面也有一些靈活性，允許開發者通過簡單的CLI參數進行熱交換。

OKX將升級儲備證明，包括full liability tree披露和用于償付能力驗證的零知識證明:3月2日消息，OKX宣布將在未來幾個月內升級其儲備證明（PoR），包括full liability tree披露和用于PoR償付能力驗證的零知識證明（ZKP）。升級建立在OKX當前的Merkle tree解決方案之上，以確保最大程度的透明度，同時增強客戶隱私，具體安排如下：

- full liability tree：此升級將在即將發布的3月PoR報告中生效，允許任何人下載Full liability Merkle tree，從而提高透明度。同時，它將通過將每個用戶的余額分割和轉移到幾個部分（分割葉節點）來維護帳戶余額的隱私；

- 零知識證明：這一升級將在未來幾個月生效，是一種防篡改的加密方法，允許用戶驗證所有客戶存款都被計入，并通過比較用戶資產凈值與交易所儲備來保證償付能力。[2023/3/2 12:39:00]

Circom—Circom是一種用于構建電路的專用語言。目前，它是生產電路的實際語言。該語言不是特別符合人體工程學，使開發者敏銳地意識到正在編寫電路。

Leo——Leo被開發為Aleo區塊鏈的語言。Leo有一些類似Rust的語法，專門用于區塊鏈內部的狀態轉換。

Noir–受Rust啟發的語法。圍繞IR而不是語言本身構建，這意味著它可以有一個任意的前端。

適用于誰

任何想要在其應用程序中利用zk的獨特屬性的應用程序開發人員。

其中一些語言已經過數十億美元的實戰測試，如在ZCash和Starknet等鏈的流動。雖然我們將討論的一些項目還沒有完全準備好用于生產，但使用其中一種語言編寫電路是目前最好的策略，除非需要像Arkworks這樣的工具包提供的更精細的控制。

優點

用戶不需要了解底層的zk細節

有一定的生產經驗，今天就可以使用

可在鏈上驗證

生態系統不可知

缺點

用戶需要學習一個新的DSL

圍繞這些語言的工具和支持都是孤立的

對底層證明堆棧幾乎沒有控制權。

a16z：零知識證明保護去中心化和隱私，將取得一系列進展:4月15日消息，a16z發文《去中心化的速度：零知識證明的進步》表示，隨著區塊鏈吸引了數以百萬計的用戶，并且它們所承載的應用程序的復雜性不斷提高，圍繞隱私和可擴展性的兩個關鍵需求已經出現。需要識別的一個關鍵趨勢是，雖然正在為其中許多應用開發專用硬件，但也有一項運動正在優化消費者級硬件的算法，以保護去中心化和隱私。這一趨勢的一個特別好的例子是零知識證明。

我們目前正處于一個非常早期的時刻，零知識證明計劃將取得一系列進展。我們已經從零知識領域中極少數面向消費者的應用程序，發展到在很短的時間內為隱私和可擴展性提供應用程序和區塊鏈的整個生態系統。像這樣的新技術最令人興奮的一點是，很難預測另一面到底是什么樣子。[2022/4/15 14:27:35]

zkEVMs

zkEVM的主要目標是采取Ethereum狀態轉換，并使用簡潔的零知識正確性證明來證明其有效性。正如Vitalik的帖子中提到的，有許多方法可以做到這一點，并有微妙的差異和相應的權衡。

所有這些方法之間的主要技術區別在于，在語言棧中，計算究竟在哪里被轉換為可以在證明系統中使用的形式。在一些zkEVM中，這發生在高級語言中，而其他方法則試圖將EVM一直證明到操作碼級別。這些方法之間的權衡在Vitalik的帖子里有深刻的論述，但我將用一句話來概括它。在堆棧中發生的轉換/算術化越低，性能損失就越大。

高操作成本

為虛擬機創建證明的主要挑戰是，電路的大小與每條執行指令的所有可能指令的大小成比例地增長。這是因為電路不知道在每個程序中會執行哪些指令，所以它需要支持所有的指令。

在通用電路中，每條執行的指令的成本與所有支持的指令之和成正比。

這在實踐中意味著，你要為最昂貴的指令支付，即使你只是在執行最簡單的指令。這導致了通用性和性能之間的直接權衡--當你為通用性增加更多的指令時，你要為你證明的每一條指令付出代價！這就是通用電路的根本問題。

但隨著IVC等技術的新發展，這種限制可以通過將計算分成更小的塊來改善，每個塊都有專門的、更小的子電路。

Filecoin：Filecoin網絡已成為最大的零知識證明網絡:Filecoin發表博客稱，目前Filecoin已成為最大的零知識證明（zk-SNARK）網絡。據官方數據顯示，目前Filecoin網絡每日會運行6至7百萬次零知識證明，每一個零知識證明中包含了超過1億個約束電路證明。目前Filecoin網絡的可信配置已支持最高128M大小的電路證明，單個證明最大已超過100M，而Zcash最高僅支持2M。此外，目前Filecoin實現了通過SnarkPack將10個零知識證明捆綁至單次證明中，并正在研究零知識證明聚合以實現將數千個零知識證明聚合至單次證明中。硬件支持方面，Filecoin將零知識證明中高度可并行化的部分交由GPU完成，將CPU和內存釋放出來進行較為復雜的計算，進一步提高了零知識證明的效率。[2021/7/14 0:51:01]

今天的zkEVM實現使用不同的策略來減輕這個問題的影響......例如，zkSync去掉了更昂貴的操作

zkEVM的理想客戶是那些需要比L1以太坊上的交易便宜幾個數量級的智能合約應用。這些開發人員不一定有專業知識或帶寬來從頭開始編寫zk應用程序。因此，更喜歡用熟悉的更高級的語言來寫應用程序，如Solidity。

眾多開發團隊

擴展Ethereum是目前zk技術最需要的應用。

zkEVM是一個以太坊擴展解決方案，可以無摩擦地緩解限制L1dApp開發者的擁堵問題。

開發者體驗

zkEVM的目標是支持一個盡可能接近當前以太坊開發的開發者體驗。完全支持Solidity意味著團隊不必建立和維護多個代碼庫。這在某種程度上是不切實際的，因為zkEVM需要交換一些兼容性，以便能夠在合理的時間內生成合理規模的證明。

zkSync與Scroll

zkSync和Scroll之間的主要區別在于它們在堆棧中的何處/何時執行算術運算——也就是說，它們從普通EVM構造轉換為SNARK友好表示的位置。對于zkSync，當他們將YUL字節碼轉換為他們自己的自定義zk指令集時，就會發生這種情況。對于Scroll來說，這發生在最后，當實際的執行跟蹤用實際的EVM操作碼生成時。

因此，對于zkSync，在生成zk字節碼之前，一切都與與EVM交互相同。對于Scroll，在執行實際的字節碼之前，一切都是一樣的。這是一個微妙的差異，它以性能換取支持。例如，zkSync不會像開箱即用的調試器那樣支持EVM字節碼工具，因為它是完全不同的字節碼。雖然Scroll很難從指令集中獲得良好的性能，但這并不是為zk設計的。這兩種策略各有利弊，最終有很多外生因素會影響它們的相對成功。

以太坊基金會更新支持的研發項目，涉及零知識證明的項目數量最多:4月27日消息，以太坊基金會公開了正在支持的研發團隊的項目和領域，其中涉及“應用零知識證明”的團隊和技術最多，近14個項目。

除了零知識證明之外，以太坊基金會還支持了關于ETH2研究、以太坊基金會官網、Ewasm、形式化驗證、Geth客戶端、Javascript團隊、Remix、無狀態客戶端、Solidity等領域。[2021/4/27 21:03:39]

zkLLVM電路編譯器

正如詳細討論的那樣，開發zk應用程序有無數不同的選擇，所有這些都有自己獨特的權衡。此圖表將幫助總結此決策矩陣，以便根據您的zk專業知識水平和性能需求，選擇最適合該工作的工具。這不是一個完整的列表，會隨著zk的發展更新。

zkLLVM被設計為現有LLVM基礎設施的擴展，LLVM基礎設施是一個行業標準工具鏈，支持許多高級語言，如Rust、C、C++等。

怎么運行

想要證明某些計算的用戶只需用C++實現該計算即可。zkLLVM采用其修改后的clang編譯器支持的高級源代碼，并生成電路的一些中間表示。此時，電路已準備好進行驗證，但用戶可能希望根據一些動態輸入來驗證電路。為了處理動態輸入，zkLLVM有一個稱為分配器的附加組件，它生成一個分配表，其中包含所有輸入和見證，這些輸入和見證已完全預處理并準備好與電路一起進行證明。

這兩個組件是生成證明所必需的。理論上，用戶可以自己生成證明，但由于這是一項有點專業化的計算任務，可能需要花錢請擁有硬件的其他人做這件事。對于這種交易對手發現機制，=nil；Foundation還建立了一個“證明市場”，證明者競相為支付給他們的用戶證明計算。這種自由市場動態將導致證明者優化最有價值的證明任務。

權衡利弊

由于每個要證明的計算任務都是獨一無二的，并且會生成不同的電路，因此證明者需要能夠處理的電路數量是無限的。這種強制的通用性使得單個電路的優化變得困難。證明市場的引入允許對市場認為有價值的電路進行專業化。如果沒有這個市場，由于這種自然的冷啟動問題，說服驗證者優化該電路將是一項挑戰。

另一個權衡是經典的抽象與控制。愿意采用這種易于使用的界面的用戶正在放棄對底層加密原語的控制。對于許多用戶來說，這是一個非常有效的權衡，因為讓密碼學專家為您做出這些決定通常更好。

優點

用戶可以用熟悉的高級語言編寫代碼

所有的zk內部結構都被抽象出來，不受用戶影響

不依賴增加額外開銷的特定"虛擬機"電路。

缺點

每個程序都有一個不同的電路。難以優化。(證明市場部分解決了這個問題)

交換/升級內部zk庫并非易事

zkVM

zkVM描述了所有zk虛擬機的超集，而zkEVM是一種特定類型的zkVM，由于其在當今的流行，值得作為一個單獨的主題進行討論。除了定制的加密VM之外，還有一些其他項目正在致力于構建基于ISA的更通用的zkVM。

系統可以證明不同的指令集架構(ISA)，例如新VM中的RISC-V或WASM，而不是證明EVM。致力于這些通用zkVM的兩個項目是RISCZero和zkWASM。

讓我們在這里深入了解一下RISCZero，以證明這種策略是如何工作的，以及它的一些優勢/劣勢。

RiscZero

Risc?Zero證明生成的高級架構

RISCZero能夠證明任何在RISC-V架構上執行的計算。RISC-V是一個開源的指令集架構標準，已經越來越受歡迎。RISC的理念是以最小的復雜性建立一個極其簡單的指令集。這意味著堆棧中較高層次的開發者在使用這種架構實現指令時最終會承擔更大的負荷，同時使硬件實現更加簡單。

這種理念也適用于一般的計算，ARM芯片一直在利用RISC風格的指令集，并開始主導移動芯片的市場。事實證明，更簡單的指令集也具有更大的能量和芯片面積效率。

這個類比對于生成zk證明的效率來說相當適用。正如前面所討論的，在證明zk的執行軌跡時，你要為軌跡中每一項的所有指令的成本之和買單，所以更簡單、更少的總指令是更好的。

如何工作

從開發者的角度來看，使用RISCZero來處理zk證明，很像使用AWSLambda函數來處理后端服務器架構。開發人員通過簡單地編寫代碼與RISCZero或AWSLambda互動，服務處理所有后端復雜性。

對于RISCZero，開發者編寫Rust或C++。然后，系統接受編譯過程中產生的ELF文件，并將其作為虛擬機電路的輸入代碼。開發者只需調用證明，返回一個收據對象，任何人都可以從任何地方調用`驗證'。從開發者的角度來看，沒有必要了解zk是如何工作的，底層系統處理所有這些復雜的問題。

為了支持這樣一個通用接口，需要大量的開銷。

需要對證明生成技術進行重大改進，以實現對現有庫的廣泛支持

預建的可重復使用電路

對于一些對區塊鏈應用或其他地方特別有用的基本和可重復使用的電路，團隊可能已經為你構建和優化了這些電路。你只需為你的特定用例提供輸入即可。例如，Merkle包容證明是加密貨幣應用中普遍需要的東西。作為一個應用程序的開發者，你總是可以重新使用這些經過實戰檢驗的合約，只是在上面修改一些層，以創建一個獨特的應用程序。

例如，TornadoCash的電路可以重新用于私人空投應用程序或私人投票應用程序。Manta和Semaphore正在構建一個完整的工具包，包括像這樣的通用電路小工具，可以在Solidity合約中使用，而無需了解或不了解底層的zkmoon數學。

正如詳細討論的那樣，開發zk應用程序有無數不同的選擇，所有這些都有自己獨特的權衡。

此圖表將幫助總結此決策矩陣，以便根據您的zk專業知識水平和性能需求，選擇最適合該工作的工具。這不是一個完整的列表，會隨著zk的發展更新。

zkGalaxy應用開發者指南

1.低級Snark庫

適用場景

需要對整個證明堆棧進行精細控制

避免重建公共組件

嘗試證明方案、曲線和其他低級原語的不同組合

不適用場景

尋找高級證明接口的新手

可選用工具

Arkworks-rs

2.zkDSLs

適用場景

想使用一些久經考驗的語言

需要最小的電路尺寸，愿意放棄抽象

不適用場景

需要對證明的后端進行精細控制

可選用工具

Circom

AztecNoir

Cairo

ZoKrates

Leo

3.zk編譯器

適用場景

不愿意承擔通用電路的開銷

想用熟悉的語言編寫電路

需要高度定制的電路

不適用場景

想要控制底層加密原語

需要一個已經高度優化的電路

可選用工具

nilzkLLVM

4.zkEVM

適用場景

有一個已經在EVM上運行的dApp

需要為用戶提供更便宜的交易

希望將部署到新鏈的工作量降到最低

只關心zk的簡潔性

不適用場景

需要完美的EVM等效性

需要zk的隱私屬性

有一個非區塊鏈用例

可選用工具

zksync2.0

PolygonzkEVM

Scroll

Starknet

5.zkVM

適用場景

想用高級語言編寫代碼

需要證明該執行的正確性

需要向驗證者隱藏該執行的一些輸入信息

幾乎沒有zk方面的專業知識

不適用場景

在延遲極低的環境中。

有一個巨大的程序。

可選用工具

RISCZero

zkWASM

6.預建的可重復使用的電路

適用場景

有一個依賴常見的zk構建模塊的智能合約應用，比如Merkle包容。

對zk底層的東西幾乎沒有專業知識

不適用場景

有高度專業化的需求

用例不被預建電路所支持

可選用工具

MantaNetwork

Semaphore

結論

zk處于多項技術的前沿，構建它需要對數學、密碼學、計算機科學和硬件工程有深刻的理解。然而，隨著每天都有越來越多的抽象層可用，應用程序開發人員無需博士學位即可利用zk的強大功能。隨著時間的推移，通過對堆棧的所有級別進行優化，證明時間的限制會逐漸解除，我們可能會看到針對普通開發人員的更簡單的工具。

Tags：ARKISCORKWORStarSharksCannabisCoinLGCY NetworkPax World

BTC