自 4 月的黑山 EDCON 開始，「ZK」就成了今年最熱的一個詞彙，拓展以太坊所帶來的敘事空間更是來到新的高點。不少人認為，這將是一個千億美元的新市場，創造出更多機遇和財富故事，比如「ZK 挖礦」等。當然，ZK 作為一個尚未到來的新時代，也意味著許多機遇是我們難以在當下精準識別的。 ZK 未來會是什麼樣，仍然需要更多的想像。而=nil; Foundation 構建出的 Proof 市場，就激起了我對這個千億美元時代的無限幻想。

近日，我與=nil; Foundation 聯合創始人Mikhail Komarov（以下稱呼Misha）進行了一場深度對話，談論了關於=nil; Foundation、 zkLLVM 以及Proof 市場三個方面的相關話題。

訪談摘要

1.人們用 ZK 來進行信息壓縮，是該技術棧最令人興奮的「誤用」。

2.生成 ZK 證明應該外包給提供此類專業服務的生產商，組建一個專業的生產商網絡來響應市場請求。

3.在當前的 Proof 市場中，已經出現了 PEV（證明者可提取價值）現象。

4.Proof市場目前尚未完全去中心化，這將是團隊未來一段時間的工作中心。

=nil；起源

Misha 自2013 年開始接觸加密行業，入圈後的第一件事就是研究Bitmessage 的C++實現。這是一個比特幣消息協議，儘管該協議後來被攻破了幾次，但在當時很多人都為之瘋狂。後來，Misha 開始圍繞 BitShares，與 Dan Larimer（即 BM，Steemit、Bitshares 和 EOS 創始人）做了一連串的開發工作，並在這個過程中遇到了後來做了 Lido 的 Konstantin Lomashuk。那時 Konstantin 手上有一些 Bitshares 相關的加密項目，想要創建一個專門針對俄羅斯的 Steemit 分叉，即 Golos Network。

這是在 2016 年，Misha 以 Golos CTO 的身份，與 Dan 和 Konstantin 一同開啟了新旅程。但兩年後，Misha 便對 Golos 感到厭倦，他認為 Dan 設計的產品並不能讓人滿意，其內部架構不合適，質量也不夠。因此，Misha 離開了 Golos 和 Steemit 等相關項目，並在 2018 年 4 月與 Konstantin 創立了 Nil。

Misha 最開始的想法，是讓人們不再遇到在Golos 和Steemit 上存在的不穩定問題，比如沒有合適的數據管理、架構、安全保障等。因此，Nil 的目的是將數據庫管理行業的成果引入加密行業，為這個領域帶來更多可靠性、安全性、擴展性等。當然，Misha 沒有想到的是，自己的新征程通向的將是加密世界擴展性未來的正中心。

BlockBeats：請先簡要介紹一下你的背景，比如你是如何開始加密事業的，又為什麼要加入加密行業呢？

Misha：那是很久以前的事了。我在 2013 年左右開始接觸加密行業，那時候我正在研究 Bitmessage 的 C++實現。你可能還記得那時候大家都為之瘋狂的那種類似比特幣的消息協議，雖然後來被攻破了幾次，但那時候它還是很火的。

然後我開始圍繞BitShares 和Dan Larimer（即BM，Steemit、Bitshares 和EOS 創始人）所做的一切進行開發，後來我遇到了Konstantin Lomashuk ，現在你可能因為Lido 而知道他。那時候他手上有一些 Bitshares 相關的加密項目，想要創建一個專門針對俄羅斯的 Steemit 分叉。因此我們做了 Golos，我在 2016 年成為了 CTO，從那時起，我們一直在一起工作。

但在2018 年4 月，我對Golos 感到厭倦，因為Dan 設計的產品讓人不滿意，他的產品從來沒有長時間運行過，雖然它們確實在運行，但我認為內部架構對我來說並不合適，質量也不夠，所以我離開了Golos 和Steemit 等所有項目，並在2018 年4 月創立了Nil。

我最開始的目的是讓人們不再遇到我在Golos 和Steemit 上遇到的問題，比如沒有合適的數據管理、架構、安全保障等，一切都非常不穩定。我覺得這不是一個好的解決方案，所以我和 Kosta 一起創立了 Nil，目的是將數據庫管理行業的成果引入加密行業，因為這意味著可靠性、安全性、擴展性等。之後的故事就是 Nil 的發展歷程。

BlockBeats：=nil; Foundation 開始關注零知識證明是在什麼時候呢？

Misha：回想起來，大概在2020 年左右我們完成了第一個DBMS（數據庫管理系統）原型時意識到了一些問題。老實說在我們嘗試將數據庫管理系統與加密行業結合之前，沒有人真正嘗試過這樣做，完成這個項目時我們意識到信任假設並不是我們想要的。

如果要讓它運行起來，無論是使用我們的數據還是其他方面，每個人都必須信任我們。我們思考著如何降低這種不信任的假設，如何讓它盡可能地無需信任，那時我們意識到可能需要用到某種技術，我們需要一個密碼學工具來實現這個目標，所以我們為了這個目的構建了一個密碼學套件。

那時行業還處於發展初期，沒有 Arc Works 等開發環境，我們想既然有理論概念，有一些實驗，那必須嘗試一下。我們構建了一個套件，建立了一個自己的證明系統。然後我們與以太坊基金會和 Mina 基金會的人合作，構建了一個電路編譯器。為了不自己生成證明，我們為引入市場動態到證明生成而建立了一個 Proof 市場。

在與 Mina 基金會的人一起構建編譯器的過程中，我們也和 Solana 基金會的人一起合作。在那個過程中我們意識到我們需要狀態證明，而狀態證明也是當時 Mina 和以太坊的人正在尋求的東西。大約在 2021 年初，我們在為數據庫管理系統開發必要的狀態證明時，Mina、以太坊和 Solana 的人覺得這就是「zk Bridging」。因為 Justin Drake、Evan Shapiro 和 Anatolly 都認為，我們需要更安全的 Bridge 技術，然後他們說不管你怎麼稱呼它，它就是 zkBridge。

BlockBeats：關於零知識證明，加密領域已經研究和嘗試了相當長的時間，一直沒能取得顯著的進展。但今年以來，ZK 領域的發展似乎進入井噴狀態，這是為什麼？

Misha：整個zk 技術實際上只有兩種方法可以應用，第一種方法顯然易見是用於隱私目的，第二種方法用於壓縮，比如大家都在談論的擴容，出現了zk-Rollups、zk-Bridges、zk-MLS、zk-Oracles 等。人們「誤用」這個技術棧來進行壓縮，我認為這是我見過的最令人興奮的「誤用」。那麼問題來了，為什麼是現在？我們早在幾年前就可以完成這個任務，也可能是幾個關鍵的技術發展里程碑，使其成為可用、可行和有趣的用途。第一個里程碑是在 2016 年，當時這項技術對加密行業來說已經變得越來越實用。當時，Rank-1 約束系統（R1CSs）變得相當普遍，不同的應用開始出現。

從根本上說，當它變得可行以保護隱私時，這件事就有了可能性。比如 Zcash、Tornado Cash 等，這些項目都是在那個時代誕生的，或者說這些項目的想法都是在那個時代誕生的。第二個是在 2019 年到 2021 年之間，是這項技術的第二個關鍵時期。當時，布隆過濾器（Blunt argumentations）變得越來越普及。人們開始構建基於布隆過濾器的證明系統。我們也有自己的證明系統，叫做佔位符（placeholder）。為什麼這段時間很重要呢？因為得益於這些基於布隆過濾器的證明系統，使項目能夠將這個技術棧用於壓縮。它提高了壓縮功能，使得進行適當的 Rollups 擴容以及在 2021 年實現 zkBridge 變得更加便宜和可行。

目前，我們在進一步發展證明系統方面取得了一定的進展，同時也在我們的項目中取得了一定的突破。可以這麼說，編寫複雜數學約束和計算在這樣一個長期共享信息的環境中也是相當具有挑戰性的。很多人投身於這個問題，例如引入 STARK、為了解決這一複雜性問題而推出的 zkVM，我們推出了 zkLLVM 編譯器，這也使得構建應用變得更簡單。從 2019 年到 2021 年，證明系統一直在發展，從 2020 年末至 2021 年初再到 2022 年末期間，工具開發也有所進展。所有這些進展都使得構建複雜計算證明變得足夠高效，並且在經濟上可行。當然，證明系統的發展還遠未結束。為了實現更多應用場景，證明系統還有許多工作要做。例如，也許在今年或者明年，我們將看到證明系統的發展，我們這邊也在進行相關的研究和發展。這些證明系統的發展將使得在經濟上可行的 zkLLVM 應用成為可能，我們希望成為第一個實現這一目標的團隊。但無論如何，目前每個人都在努力提升證明系統。

BlockBeats：你剛才提到了 zkLLVM，這是一個為開發者構建的編譯器，用於創建他們自己的 zk 電路。您認為 zkLLVM 的重要性在哪裡，目前產品的成熟度如何？

Misha：zkLLVM 可能不是第一個，但確實是最早的電路編譯器之一。之前我見過一些原型，也見過一些 DSL 項目，但有完整功能的電路編譯器而非虛擬機，我之前還沒有見過很多。確實有一些，但我不確定是否有人真的在用，所以這就是為什麼我覺得這很重要。並且相當多的人在這個行業裡努力擺脫「非我所創」的困境，這是非常耗費精力的。很明顯，人們最終會創造出非常好的產品，但是這種「非我所創」的困境使得開髮變得耗時、耗錢。

比如我們現在正在通過 Zoom 交流，我們的筆記本電腦上幾乎所有的軟件都是用 LLVM 編譯的。我們只是把所有這些都拿過來，並使其可證明。所以我認為我們只是把整個編譯器生態系統引入了加密行業，讓這些成果能夠在加密領域為了效率和經濟可行性而重複使用。這也帶來了廣泛使用的編程語言。世界上有很多用 Rust、C++、Go、TypeScript 等編寫的軟件，人們可能希望在以太坊內部以及無信任環境中執行這些軟件。我最喜歡的例子是人們獲取 Doom 源代碼（C/C++源代碼），他們通過 zkLLVM 證明到以太坊，然後將其拖到彼此之間，以炫耀他們完成的時間。例如，我在 20 分鐘內完成了 Doom 的速度挑戰，這裡有證據還有你的以太坊 NFT，證明你在 20 分鐘內完成了 Doom 的速度挑戰。

BlockBeats：目前都有哪些用戶群體在使用 zkLLVM，創造出來的產品都大致有哪些？

Misha：很多不同類型的項目都在使用這些技術，有些項目可能只是在構建一些東西試圖部署，或者可能已經在運行。最明顯的用例是我們使用編譯器構建的 zkBridge，通過其證明系統進行保護。或許這也是我們當初認識到編譯器的必要性並開始構建它的原因之一。也有人正在嘗試使用它來證明語句的形式驗證，為了不試圖將程序的形式規範與它們放在一起，而是通過使用 zkLLVM 編譯形式語句的編譯器來將其壓縮到證明中。實際上，人們確實在編譯編譯器。以 zkOracles 類應用程序為例，人們已經建立了 zkOracle 來檢索以太坊歷史數據或 Lido，以確保以太坊質押發行的安全。人們正在解決存在很多信任假設的問題，儘管已經運行了兩年多。當我們在 2020 年設計 Lido 時，這是可以接受的，但後來我們想要減少信任假設，因為不能冒險讓用戶的 TVL 受到風險，所以我們決定用 ZK 的工作證明來保護它。除此之外還有很多其他項目，說實話我可以永遠地繼續講下去，目前我手頭有大約 80 個項目在 CRM 中。

BlockBeats：=nil; Foundation 此前以超過 2 億美元的估值獲得了 StarkWare、Mina 等 L2 團隊以及其他 VC 們的投資。這筆錢是否是用於建立 Proof 市場，來自 StarkWare 和 Mina 的投資又是否意味著你們會更傾向於和特定生態進行合作？

Misha：這是我們五年來的第一輪也是唯一一輪融資，因為我們以前沒有這個需求，而現在是時候去做這件事了。我們已經進行了足夠的原型設計，扶持了足夠的項目，學到了很多東西，我們感覺足夠強大、自信，可以按照我們認為應該建立的方式來推出產品了。

這輪融資大約一年前完成，我們宣布這個消息的時間比實際發生的時間晚了好幾個月。直到我們覺得開始談論「這是我們開發的東西」很舒服時才發布融資消息。因為籌集資金，就會開始向彼此承諾東西，然後他們會問你籌集資金的目的是什麼，我們要交付什麼？什麼是產品？有人在使用你的產品嗎？所以我們特意推遲了關於這個話題的任何討論，直到我們至少做了一些事情。我們確實在與Mina 和Starkware 團隊的整個生態系統合作，目前已經有很多來自Mina 生態系統的應用程序，要么是在我們的基礎上構建的，要么是與我們一起構建的，要么是與我們合作建設的。最近 Mina 的團隊開始研究開發 roll-ups，為此他們需要大量的驗證能力。此外我們在 2021 年與 Mina 一起基於編譯器構建了狀態證明驗證，這是另一個與我們合作的 Mina 生態系統項目。

在與 Starkware 生態系統的合作中也發生了很多事情。當然這是我們合作的目的，以便我們對 Starknet 生態系統中的可證明應用也有用。例如有幾個連接到 Starknet 的橋接項目使用我們的技術堆棧成為零知識證明橋接。幾個遊戲項目跟我們說需要驗證能力。

還有一些其他項目試圖使用舊的橋接技術，利用狀態證明驗證並在其基礎上構建以太坊應用程序。有些人在 StarkNet 上構建 L3，他們表示擁有驗證能力將是一個不錯的選擇。總之，這就是我們與他們走到一起的目的。老實說，我對這段合作關係感到滿意。

ZK 證明的二級市場

零知識證明（ZK Proof）是當前加密市場ZK 領域裡的絕對核心，它的存在為ZK Rollup 和zkEVM 等許多場景提供了無限的可能。但生成一個 ZK 證明也是一項繁重的計算任務，往往需要數小時才能完成一次證明，這也是為什麼當前大部分排序器仍舊沒有解決中心化問題的原因。為了可靠且有成本效益地生成 ZK 證明，我們不僅需要開發和維護計算基礎設施，更需要對其進行擴展。而在 Misha 看來，引入市場機制是這個難題的最優解。

=nil; Foundation 團隊認為，生成 ZK 證明是一項應該外包給提供此類專業服務的生產商的任務。在這個前提下，我們就需要一個 Proof 市場，每個人都可以請求生成需要的 ZK 證明，然後一個專業的生產商網絡將響應此類請求。

BlockBeats：現在讓我們具體談談 Proof 市場，它的想法來源於哪裡，背後的故事是什麼？

Misha：這個想法源於我們在2020 年到2021 年底廣泛參與協議應用和Filecoin 相關的各種事物。當時我們不僅親眼目睹了發生在 Filecoin 周圍的瘋狂現象，還從我們的角度參與其中。那時我們學會瞭如何正確處理所有的證明系統、如何進行適當的論證等，並且實現了一個比公共版本快 10 倍的 Filecoin 證明器，讓礦工充分利用他們的硬件。我們實際上就是一個見證了所有試圖從礦工角度降低成本的試驗的樞紐。在那段時間裡，我們了解到了很多實際市場的數據，比如用這種硬件生成這個特定證明的價值有多大，需要多長時間；哪些人使用哪種硬件、哪些數據中心為此而建等等。然後與以太坊基金會、Mina 基金會以及其他許多基金會合作時，我們發現這些狀態證明和共識證明非常繁重，我們絕對不會讓任何人自己證明這些證據。

因為說實話，沒有人有這種硬件可以快速生成，因為它們太龐大了。例如，與 Mina 的共識一樣，Mina 的狀態證明是政策投資者曲線乘以約 350 億美元，這相當多。或者 Solana 共識證明，除了其他內容之外，它還包含大約 4000 個 ECDSA 簽名，生成它需要花費很多時間。

當注意到這一點時我們決定不再這樣做。我們想，好吧，我們會把這個工作外包出去。我們會為此建立一個市場，因為我們已經掌握了與Filecoin 相關的大量數據，讓我們建立一個市場吧，讓我們把它變成一種商品，讓市場動態應用到這上面，讓人們能夠在去中心化協議的協調下相互競爭，以便我們不再成為這個樞紐，而是讓協議成為這個樞紐。結果證明，我們的想法是正確的。現在每個人都在建立 Proof 市場，我們猜對了方向。

BlockBeats：在你們構建 Proof 市場時，有沒有考慮過它與你們已經構建的 zkLLVM 之間的動態關係？

Misha：起初這兩個項目實際上是分離的，它們是兩個獨立的事物。例如，我們只是需要構建電路的工具鏈，因為我們不會手動構建它，這太大了。然後我們發現其他人也需要這個工具鏈，所以我們決定開源它，讓大家都能使用。

而 Proof 市場也是一個分離的事物，因為我們認為它只是一個證明生成市場。我們甚至沒有想過人們會嘗試用證明進行投機。他們實際上是在嘗試低買高賣之類的東西，這相當荒謬，因為它本不應該是這樣的，但無論如何，這就是事實。支持 Proof 市場的協議必須是一個非常特殊的協議，因為我們需要大量的驗證，需要處理大量關於這方面的負載。當人們帶著需要驗證的數據來時，我們需要處理大量的數據，因為他們會將數據加載到 Proof 市場的訂單中，這使得協議變得非常數據密集，比如描述平均狀態證明的數據量。曾經一個精心完成的平均狀態證明描述需要佔用大約 2GB 的數據，試著找一個可以處理 2GB 數據的協議。這幾乎是不可能的。

但後來，人們開始使用zkLLVM 證明一些非常龐大的東西，與人們在Solidity 中做的事情相比，像Ross 和C++這樣的代碼庫算是非常龐大。所以我們把它們放在一起，讓它們相互關聯，然後作為一個可用的服務。我們仍然認為編譯器在效率方面表現得相當好，希望能保持這種狀況。

BlockBeats：目前來說，Proof 市場的主要用戶群體和參與者都有哪些？

Misha：第一類用戶主要是 zkBridge，一些共識證明、狀態證明生成起來相當繁重。如果你像構建以太坊的共識證明一樣生成正確、安全的驗證，例如用完整的以太坊共識驗證，還有所有的 10 萬節點簽名驗證器驗證，會花費你一段時間去生成。

第二類是zk 預言機，比如那些需要訪問以太坊歷史數據的應用，或者以某種特定方式處理以太坊數據，然後將其與EVM 一起使用。有些應用試圖用這種方式減少他們的 gas 成本，比如借貸協議試圖將其抵押品資產的風險參數計算和加載到 EVM 中，但在成本上她們無法在 EVM 中計算。

他們從不同的交易平台，從不同的指數中獲取所有必要的以太坊數據，將其放入EVM 中，然後將其作為一組風險參數用於抵押品。這就像是另一種 Lido 的預言機，展示了協議如何通過外包一系列計算（比如僅僅是 Proof 市場和 zkLLVM 中的安全性）來提高其安全性和降低執行成本。毫無疑問零知識預言機非常重要。

第三類是 Rollup，目前已經存在的 Rollup 或者新建的 Rollup 都可以使用這個技術，甚至有些已經在嘗試這樣。所有打算成為 Rollup 驗證者的人會帶著在 Proof 市場實現某種證明的願望來。對於驗證者來說，處理專門的硬件和在租用的 AWS 服務器上運行節點非常具有挑戰性。事實上 AWS 目前還沒有提供 ATX，也沒有提供非常強大的 GPU，所以基本上驗證者會帶著這些 zkLLVM 用例來。很明顯，我們已經有了一些 zkLLVM 用例，但我必須承認，它們還沒有投入生產。

對於大模型或者非常複雜的模型，zkLLVM 用例也非常適用，因為它們需要證明自己手頭的模型複雜度。這也是目前正在進行的事情，但是再次強調目前還沒有投入生產，只是處於實驗階段。一旦投入生產，我們就能夠將 Proof 市場變成一個可證明的 AI 計算市場，這聽起來很荒謬。

BlockBeats：如果我想成為 Proof 市場上的證明生成者，需要具備哪些條件？

Misha：成為證明生成者其實並沒有太多的要求或限制，這完全取決於你想證明的特定電路和特定聲明。我們專門設置了一個稱之為「Proof 市場工具鏈」的東西，證明者在處理市場上的各種證明時，只需要把它作為一個服務啟動，或者把它作為一個在你的機器上運行的後台進程。

如果市場上沒有針對特定聲明、特定電路、特定應用、特定證明的更好硬件供應，那麼你就可以接到訂單並生成證明。如果你擁有最好的硬件，如果你能做出最快生成證明的承諾，並且沒有其他更好的競爭者，你就可以接下訂單，生成證明並獲得獎勵。

BlockBeats：所有使用=nil; Foundation 的用戶都需要註冊一個賬戶，如果生成的證明本身或者其交易及所有權信息都存儲在私人服務器上，會不會引入一些中心化問題？

Misha：這正是我們計劃在年底前解決的問題。是的，目前市場證明並沒有那麼去中心化，我們還沒有發布支持它的協議節點，也沒有在公共場合談論過這個協議。目前的運作方式如下：有幾位也參與 Lido 並擔任驗證者和驗證者運營商的人作為驗證者，我們可以暫時託管它，看看情況如何。然後我們將源代碼分發給他們，實際上有六到八個作為測試模式在運行。目前，該系統在某種程度上是去中心化的，但它還不是公開的，也沒有真正實現去中心化。並不是每個人都可以加入並運行他們的 Proof Market 節點。這對我們來說也是一個問題，我們喜歡那些向我們詢問關於安全性、去中心化程度的應用程序，他們問我們是否可以依賴它？這是我們目前可以使用的嗎？我回答說，是的，你可以，但它還不夠去中心化，因為我們正在以測試模式運行它。我們將努力解決這個問題，這也是我們目前最重要的任務。

BlockBeats：你們採取了哪些措施來解決這些問題？

Misha：首先，我們設計了一個基於去中心化協議的市場證明（proof of market），一開始就使用了某個去中心化協議。我們討論了幾種部署和運行的方案，我們嘗試直接將其部署在以太坊上，但在計算經濟可行性時，發現如果這樣做每年需要支付大約 25 億美元的以太坊費用。因此在以太坊上運行市場證明從財務上根本不可行。接著，我們嘗試將其運行在 Rollup 之類的技術上。然而儘管我們嘗試了幾種不同的 Rollups，成本仍然高昂。當我們計算運行市場證明並進行套利所需的費用時，發現每年僅市場證明方面就需要支付 2.5 億美元的費用，這也是相當高的成本。因此，我們不得不提出了自己的協議，它可以處理負載、成本、數據密集型等問題。

我們的目標是讓這個協議盡可能接近以太坊的安全性，因為沒有其他方式可以讓應用依賴於此。事實證明，這種協議對於序列化等操作也非常有用，因為在進行序列化時，需要處理的負載基本相同。人們希望減少排序器和證明者之間的延遲，以便他們能夠立即將數據發送給證明者，從而贏得區塊。

如何將排序器部署在這個協議之上，這也是我們當前的主要關注點之一，我們希望建立一個可以供第三方開發者使用的平台，讓任何人都能啟動和運行支持此協議的節點。並且確保市場證明應用在代碼部署方面與以太坊一樣安全。

BlockBeats：能否分享更多關於協議的激勵機制呢？

Misha：我們當然更傾向於用各種代幣來支付證明，所以我們不能強迫每個人去使用特定的代幣，這意味著我們必須盡可能地對代幣保持中立，就像我們對任何產品和應用程序保持中立一樣。例如，它很可能類似於 Arbitrum 與以太坊的運作方式，你可以擁有以太坊和 Arbitrum，為什麼不呢？

朝著這個方向邁出的第一步無疑是 EVM 端點批准市場，我們前幾天已經部署了它。這是使所有以太坊部署的資產在Proof 市場中用作激勵批准者或用於那些願意在Proof 市場上支付自己代幣的應用程序的支付解決方案，這就是朝著這個方向邁出的第一步。

Proof 市場的奇思妙想

既然是市場，就一定會有人無法預測和掌控的多變性和復雜性。人們是否會針對 ZK 證明進行投機，怎樣投機，這都是團隊需要監控和記錄的重要數據。經過幾個月的實測後，Proof 市場都出現了什麼有趣的現象？團隊未來還有什麼計劃？

BlockBeats：引入市場機制是否會延長證明生成過程的時間？

Misha：拍賣或者說是找到最適合這項工作的出價者，確實需要一些時間，可能不是我們這邊的幾秒鐘，而是幾個瞬間。通常來說，這個過程需要幾個瞬間，大多數情況下是不到一秒。在我看來，供求關係相當豐富，所以這確實會引入一些不到一秒的延遲。

即使是不到一秒的延遲，在最糟糕的情況下，我見過的最糟糕情況是，應用程序在三到四秒鐘內無法找到一個供應商。但即使是這樣，這個延遲與證明生成時間總體上也是無法相比的。所以，我認為與市場動態所帶來的群體生成優勢相比，這不是一個值得擔憂的問題。

BlockBeats：如果有人想通過生成的證明進行投機，這是一件好事還是壞事？團隊會不會對此作出一定的干預？

Misha：我們的網站上發生了很多奇怪的事情，剛才提到的這個事情並不是最奇怪的一個，在Proof 市場上，甚至還有更奇怪的事情發生，但讓我們先談談投機的問題。我們沒有對此進行任何控制，因為我們無法控制。一旦我們把這個項目推向公眾，一旦我們使這個協議對每個人都可用，讓每個人都可以每週運行一次，或許是作為一個 rollup，或者其他方式，我們將不再能夠控制這一切。

我們現在努力不去干涉，不去嘗試做些什麼，因為在某個時候我們將無法再這樣做了，那麼這有什麼意義呢？所以讓我們投機吧。人們可以構建一個類似電路的應用，像一個可以證明的應用，基本上就是這樣，所以投機甚至是可行的。除了在 Proof 市場上進行投機之外，沒有其他用途。

我看到的最奇怪的一個用例之一是，某人試圖為計算能力進行期貨交易，然後用這些期貨進行投機的討論。這就像比特幣的哈希率期貨，但對於 zk 證明來說也是一樣的。你是否曾經想過 MEV？如果我告訴你，實際上還有一個證明者可提取價值（Prover Extract Value, PEV）呢？

它的工作原理不像應用程序帶來了一些數據，然後某些東西需要一個證明，證明者們來完成它。他們帶來數據，開始生成證明，一切都按照預期進行。但與此同時，如果一個證明者試圖在這些數據上賺取更多利潤或類似的行為。他們會在其他地方使用這些數據，例如在以太坊或其他協議，甚至是一些 Rollup 上。

他們這樣做的目的是盡可能地從這些數據中提取價值，而不是將其用於生成證明。還有其他不同類型的可提取價值證明，例如人們試圖預測證明何時會生成，然後將購買或出售證明的交易注入到 Proof 市場協議中，通過逆向工程 API 並嘗試在其中註入交易。這樣證明者就能出售，或者買家就能猜測價格以從中獲取價值，就像閃電礦工，或著構建者和提議者在以太坊中進行交易投機時一樣。有些人已經開始嘗試如何防止證明者在生成證明時利用他們獲得的數據。為了做到這一點，唯一的方法就是在 FHE（同態加密）數據上生成證明。他們試圖製作類似於 zkFHE 這樣的東西，為了隱藏證明生成所需的數據，但 FHE 非常耗費計算能力，所以這增加了證明的成本。

就像把它發送到天上一樣，這樣會使證明成本增加兩倍、三倍甚至十倍。但他們會說，沒有人利用我的數據，沒有人從我的數據中提取任何東西。所以，zkFHE 將會從 Proof 市場中誕生，這是一個獨立的複雜層次，就像是高高在上的複雜性。

BlockBeats：目前 Proof 市場兼容 ZKLLVM 和 Mina，我想知道未來這個 Proof 市場如何為不同電路生成證明？

Misha：簡單來說其過程如下：一個應用帶著一個需要證明的聲明，這個聲明被編譯成字節碼或虛擬機，為Proof Market 提供動力，這個虛擬機就是EVM。然後它們帶著這個需求來到這裡，說我需要證明這個聲明。 Proof Market 是無需許可的，然後一個新的電路對會被部署，這就是一個新的電路對產生的方式，每個新電路都是一個新的交易對。當證明者看到某個特定的新聲明有需求時，這個新聲明可能是突然出現的，可能是持續的需求，也可能是一次性的大需求，或者是一次性的但仍然有趣的需求。證明者可以說，好的，我想把這個電路添加到我關注的電路列表中，我想為這個電路生成證明。然後 Proof Market 會進行相應的更改，生成並提交證明。我們正在努力改進讓這個過程盡可能簡潔。

BlockBeats：那針對不同的證明系統又是如何實現的呢？

Misha：這是一個更有趣的故事，對於不同的證明系統連接到Proof 市場的要求基本上只有一個，就是讓這個證明系統的驗證器編譯成EVM 字節碼。因為是 EVM 為 Proof 市場提供動力，所以驗證器要編譯成 EVM。它可能是用 Solidity 編寫的，也可能是用 Rust 或 C++編寫的。

如果它是用Solidity 編寫的，只需部署它就可以了；而如果它是用Rust 或C++編寫的，我們將利用zkLLVM 提供一個從Rust 和C++編譯驗證器的工具鏈，以便將zkLLVM 作為從主流語言到EVM 的編譯器，這會可以從Rust、C++或其他語言生成驗證器，並將它們部署到Proof 市場。一旦部署，Proof 市場就支持了新的證明系統驗證。在這種程度上，它是無需許可的。

BlockBeats：我記得你曾在一場圓桌討論上說過關於Rollup 的去中心化進程，=nil; Foundation 的路徑與大部分Rollup 相反，是先構建證明生成網絡，再對排序器進行去中心化。那麼現在，=nil; Foundation 的 Proof 市場是否有機會成為這些 Rollup 項目的去中心化解決方案呢？

Misha：我記得是在Denver，當時我們從不同的方向出發討論市場策略，很多人開發了許多內部需要零知識證明、證明系統和大量證明的應用程序，然後他們遇到了這樣的問題：我們已經開發了產品，但它還不夠完善，因為它沒有實現去中心化，證明也沒有實現去中心化，但我們沒有足夠的證明能力，所以陷入了困境。

人們已經開發了產品，但他們感覺像是被困住了。在我們這邊，我們已經為解決這些問題構建了一套技術棧，我們可以改進市場服務，將其納入價值鏈中，實現去中心化和證明的去中心化，為 roll-ups 提供支持。它的工作原理是那些 roll-ups 的驗證者，需要從某個地方獲得證明，他們本身也應該是證明者。

有些情況下驗證者可能不願意、沒有能力或者由於其他原無法配置自己的硬件、GPU、ASIC 等，當你只有資本而沒有基礎設施時，你需要從某個地方獲得證明，這時，Proof Market 就大顯神通了，它為那些有資本但沒有基礎設施或者不想擁有基礎設施的人提供證明。第二點是我提到我們從不同方向出發的原因，我們從決策的角度著手改進它們。像第三方團隊這樣的人正在嘗試在我們的基礎上添加去中心化排序器，也許有人會在整個系統的頂部加上一個roll-up，到那時技術棧就會完成，整個系統就會實現完善。

BlockBeats：最後，Misha 能否透露=nil; Foundation 在今年的路線圖中最重要的事情是什麼？

Misha：我們主要有兩大方向。第一個方向是可驗證的應用，我們必須讓這些用例公之於眾，讓更多人知道它們。其中一些已經為人所知，有些還不太為人所知，有些甚至還沒有啟用，例如我們的 zkLLVM 用例需要一個專門為 zkLLVM 應用構建的前端。這將使 Drupal 和 zkLLVM 對於 zkLLVM 用例和所有這些事情變得有用。

另一個例子是我們希望幫助那些在我們基礎上進行開發的人完成他們的項目，這將會是關於zk 遊戲的一些有趣的事情。你是否想過在以太坊上玩 3D 第三人稱射擊遊戲，目前還不可行，但它將變得可行，這就是為 Proof 市場和 zkLLVM 啟用新用例的方式。有時候是奇特的，有時候是有趣的，有時候是真正有用的。這就是第一個大方向。第二個大方向，我們必須讓這個協議去中心化、讓任何人都能訪問，這將使我們能夠實現去中心化的排序器用例，使每個人都能訪問協議、嘗試實驗、在其基礎上構建一些東西。我們會看看情況如何發展，但我們希望它能夠成功。因為我們為 Proof 市場構建的協議，目前市場上沒有類似的東西。

也許除了解決實際問題之外，還會因為第三方開發者可以使用它而變得有趣，因為他們可以嘗試一些在其他地方無法實現的功能。所以這就是我們的兩個大方向：確保安全，實現去中心化。

欢迎加入律动 BlockBeats 官方社群：

Telegram 订阅群：https://t.me/theblockbeats

Telegram 交流群：https://t.me/BlockBeats_App

Twitter 官方账号：https://twitter.com/BlockBeatsAsia