作者：mo 來源：X，@no89thkey 翻譯：善歐巴，金色財經
讓我試著用一個數字來回答這個問題：
我們是否有可能僅收斂於權衡平面中的一個神奇的最佳點？不，鏈下可驗證計算的未來是一條連續曲線，模糊了專用ZK 和通用ZK 之間的界限。請容許我解釋一下這些術語在歷史上是如何演變的，以及它們在未來將如何融合。
兩年前，「專業」的ZK 基礎設施意味著circom、Halo2 和arkworks 等低階電路框架。用這些建構的ZK 應用程式本質上是手寫的ZK 電路。它們對於非常特定的任務來說速度快且成本低，但通常難以開發和維護。它們類似於當今IC行業中的各種專用積體電路晶片（物理矽），例如NAND 晶片和控制器晶片。
然而，在過去的兩年裡，「專業化」的ZK 基礎設施已經發展成為更「通用化」的基礎設施。
我們現在擁有ZKML、ZK 協處理器和ZKSQL 框架，它們提供易於使用且高度可編程的SDK，可以建立不同類別的ZK 應用程序，而無需編寫一行ZK 電路程式碼。例如，ZK 協處理器允許智慧合約無需信任地存取歷史區塊鏈狀態/事件/交易，並對這些資料運行任意計算。 ZKML 讓智能合約能夠可靠地利用人工智慧推理結果來實現廣泛的機器學習模型。
這些演進的框架顯著提高了其目標領域內的可編程性，同時仍保持高性能和低成本，因為抽象層（SDK/API）很薄並且接近裸機電路。它們類似於IC 市場中的GPU、TPU 和FPGA：它們是可編程的領域專家。
ZKVM 在過去兩年中也取得了長足的發展。值得注意的是，所有通用ZKVM 都是建構在低階、專用ZK 框架之上的。這個想法是，您可以用高級語言（甚至比SDK/API 更用戶友好）編寫ZK 應用程序，這些應用程式可以編譯為指令集（RISC-V 或WASM 類）的專用電路的組合。在我們對IC 產業的類比中，它們就像CPU 晶片。
ZKVM 是低階ZK 框架之上的抽象層，就像ZK 協處理器等一樣，儘管是更厚的層。
正如一位智者曾經說過的，一層抽象可以解決每個電腦科學問題，但同時又會產生另一個問題。我的朋友，權衡就是這裡遊戲的名稱。從根本上說，對於ZKVM，我們在效能和通用性之間進行權衡。
兩年前，ZKVM 的「裸機」表現確實很糟糕。然而，短短兩年時間，ZKVM 的效能有了顯著提升。為什麼？
因為這些「通用」的ZKVM 已經變得更「專業」了！效能提升的一個關鍵領域來自於「預編譯」。這些預編譯是專門的ZK 電路，可以計算常用的高級程序，例如SHA2 和各種簽名驗證，比將它們分解為指令電路的正常流程要快得多。
因此，現在的趨勢已經很明顯了。
專業化的ZK 基礎設施正變得越來越通用，而通用化的ZKVM 也變得更加專業化！
對於過去幾年的這兩種解決方案，最佳化是實現比以前更好的權衡點：在一個點上做得更好，而不犧牲另一點。這就是為什麼雙方都覺得「我們絕對是未來」。
然而，電腦科學智慧告訴我們所有人，在某個時刻，我們將遇到「帕累托最優牆」（綠色虛線），在這種情況下，我們無法在不犧牲另一種特徵的情況下改善一種特徵。
因此，一個價值百萬美元的問題出現了：其中一種會在適當的時候完全取代另一種嗎？
如果IC 產業的類比能有所幫助的話：CPU 的市場規模為1,260 億美元，整個IC 產業，加上所有「專用」IC，市場規模為5,150 億美元。我確實相信，在微觀層面上，歷史將在這裡押韻，並且不會相互取代。
話雖如此，今天沒有人說，“嘿，我正在使用一台完全由通用CPU 驅動的計算機”，或者“嘿，看看這個由專用IC 驅動的奇特機器人。”
是的，我們確實應該從宏觀層面來看這件事，未來就是提供一個權衡曲線，讓開發者可以根據個人需求靈活選擇。
未來，領域專家ZK 基礎設施和通用ZKVM 可以並且將會協同工作。這可以多種形式發生。
如今，最簡單的方法已經成為可能。例如，您可能使用ZK 協處理器在區塊鏈交易的長期歷史中產生一些計算結果，但這些資料之上的計算業務邏輯非常複雜，以至於您無法輕鬆地在SDK/API 中表達它。
你能做的就是獲得資料和中間運算結果的高效能和低成本的ZK 證明，然後透過證明遞歸將它們匯集到廣義VM。
雖然我確實認為這些類型的辯論很有趣，但我知道我們都在為由鏈下可驗證計算提供支援的區塊鏈建立非同步計算的未來。當我們看到未來幾年出現大規模用戶採用的用例時，我相信這場爭論可以輕鬆解決。
