從Web2到Web3的關鍵一步：為什麼選擇zkWASM？
希望我們能成為這個領域的Chainlink，在這裡，用戶不需要感知到我們的存在，但客戶可以借助我們的幫助建立無縫過渡從Web2到Web3的技術堆棧。 Vitalik Buterin創立以太坊的想法來自於Blizzard修改的“魔獸世界”中一個受人喜愛的角色，它仍然代表著這個行業的最初意圖：如何有效地打破在廣受歡迎的高並發應用（如遊戲）中的集中式服務器的恐懼。
正如他在Token2049的最新演讲中所述，有兩條錯誤的道路：要么為了去中心化而牺牲可用性，要么成為一個只吸引自身的生態系統。然而，“我們並非注定要陷入這兩個選擇之中；我們可以平衡去中心化和可用性。”
为了实现这一目标，整个区块链行业在过去的十年中经历了重大变革，从单一的区块链发展到模块化区块链，从第一层到第二层，TPS 和交易量也在不断增加。然而，我们仍然没有看到真正的大规模采用，这让许多从业者感到困惑。
以 Rollup 為例。目前的 Rollup 傾向於在實現指數級交易能力擴展的同時，與現有區塊鏈應用極高的兼容性。這似乎在平衡去中心化和可用性。然而，隨著基礎設施的建立，許多第二層解決方案已變成了“鬼城”。為什麼會這樣呢?
其一是當前Rollup基礎設施的基本假設是，現有區塊鏈的可用性和吸引力足以吸引Web2級應用程序和開發人員。然而，在2023年GitHub的編程語言排名中，像Solidity、Cairo和Move等語言的流行度甚至還沒有進入前兩頁。對於用戶來說，各種第二層解決方案之間的碎片化、漫長的最終確認等待時間，以及由委員會治理引起的中心化問題，在業內已被廣泛討論，因此無需進一步闡述。
想象一個場景，開發人員可以使用他們最熟悉的編程語言（如Rust、C++或Go）創建他們想要的遊戲，而不需要任何加密知識，基於他們已經了解的開發邏輯。用戶將不必承擔額外的時間和金錢成本來管理他們的遊戲資產和數據，不再擔心遠在數英里之外的集中實體可以通過一個點擊消除他們多年的升級或任意更改規則。在這樣的情況下，開發人員和用戶會如何選擇？
這不是一個空中樓閣；這正是本文主角Delphinus Lab與其他幾個zkVM項目正在致力於的目標。
為什麼選擇 zkVM？
“以太坊的未來將是多鏈的，類似於 Cosmos 的多鏈視野，但 Layer 1 提供數據可用性和共享安全。”—Vitalik Buterin
未來世界屬於多鏈解決方案。就像今天每家公司都有網站一樣，在未來，每家公司或項目都將擁有與以太坊（或其他去中心化價值網絡）相連的專用Rollup。該項目內的用戶操作將被打包並發送到以太坊主網進行驗證，而專用Rollup將確保用戶的最佳體驗，同時以太坊網絡將負責整體安全、核心數據存儲以及最為關鍵的結算服務。
然而，正如我們之前提到的，當前的多鍊願景對這個世界上最主流的開發者和應用程序並不友好。數據顯示，Web3開發者僅占全球開發者的約0.07%，而Solidity開發者的數量甚至更少。這使得通過zkEVM爭奪現有Solidity開發者資源或吸引開發者掌握一種新的、陡峭的學習曲線語言來顯著增加開發者的數量變得不太可能。另一方面，使用傳統Web2語言開發的應用程序無法原生地運行作為區塊鏈原生合約，這封鎖了區塊鏈應用程序在鏈上擴展的一個至關重要的途徑。
我們需要一個雙贏的擴展解決方案，可以同時滿足傳統的開發環境，並以無需信任的方式將應用程序無縫集成到當前的區塊鏈生態系統中。
目前，ZK 技術被認為是將程序以無信任方式集成到區塊鏈中的最主流方法。然而，許多人仍然認為 ZK 技術“難學”和“難實現”。這是因為在 ZK 技術的早期，開發人員通常使用像 Cairo 和 Noir 這樣的專門的 ZK 語言來開發 ZK 應用程序，這對於程序員來說實際上比像 Solidity 這樣的區塊鏈開發語言更具挑戰性。
隨著近年來ZK技術的快速發展，這個問題逐漸得到解決，開發一個通用的zkVM不再是一個遙不可及的夢想。2022年，Delphinus Lab發布了第一個支持WASM的開源zkVM，這標誌著他們實現應用無需信任集成的努力迈出了重要一步。讀者可以參考題為“ZAWA：一個ZKSNARK WASM模擬器根据Sinka Gao及其同事发表在IEEE上的技术细节。正如本文所述，“...我们提出并实现了第一个支持Wasm规范的ZKSNARK Wasm虚拟机，能够为执行结果生成简洁的零知识证明。此外，通过提供ZAWA，已编译为Wasm的现有程序可以满足云计算和边缘计算中新兴的隐私和信任要求，而无需进行任何修改。”
對於對Wasm不熟悉的讀者來說，它是主流網頁瀏覽器支持的一種字節碼。它為C、C++和Rust等源語言提供了高效的編譯目標，可以編譯到您的瀏覽器上，在您的CPU上以接近本地速度運行。2019年，它被W3C正式接受為第四個新的Web標準，具有顯著的革命性性能潛力。
關於zkWASM，我們建議閱讀zkWASM極致指南由Polygon的聯合創始人Sandeep撰寫。在這篇博客文章中，Sandeep大膽宣稱zkWASM將傳統編程的靈活性與注重隱私的零知識證明相結合，為去中心化技術帶來新的應用場景，同時確保強大的安全性、隱私性和互操作性。它有潛力顛覆區塊鏈行業。
為什麼Sandeep會做出這樣的主張呢？ 首先，Wasm作為一種二進制指令格式，最初是為了具有可移植性和高性能而設計的，支持幾乎所有您能想到的編程語言，包括C++、Rust、Python、Go、Java、JavaScript、Ruby、Swift等。由於幾乎所有網頁瀏覽器都內建了Wasm解譯器，這意味著開發人員可以根據其喜好和項目需求選擇最合適的語言，從而增強開發效率和代碼質量。隨著ZK技術的加入，zkWASM變得更加強大。開發人員可以使用他們偏好的編程語言編寫隱私應用程序，而無需任何零知證明的先前知識。可以說，zkWASM提供了安全性、可擴展性、互通性和隱私保護的組合。它不僅解決了區塊鏈和dApps的問題，還加速了ZK-ML和鏈上ML的實施，代表了一種理想的“強大協同作用”。
保持樂觀，但不要盲目。
由於近年來zkVM的快速進展，zkVM領域中的一些樂觀主義者，如來自Polygon Miden的Bobbin Threadbare，甚至認為：
"在当前情况下的最佳解决方案是构建一个基于WASM或RISC-V的zkVM，理想情况下支持Rust、Go、C++甚至Solidity等语言。如果存在这样一个通用的zkVM，它将对zkEVM构成降维攻击。"
然而，作為zkWASM開源虛擬機的創建者，Delphinus Lab採取更為謹慎的方法。根據他們2022年的規劃路線圖，儘管zkWASM是整體戰略中最關鍵的黏合劑，但它遠遠不足以支持“將Web2應用程序與Web3無需信任地鏈接”的宏偉藍圖。原因在於以下公式:
「開發者意願 = 經濟激勵」工具成熟度“可重複使用的代碼量” – Delphinus Lab 創始人高星嘉
從公式的右側我們可以看出，一般的虛擬機在推動開發者的意願方面並沒有太大的影響力。就像Linux內核需要強大的設備、驅動程序和POSIX API來展示其價值一樣，zkVMs不僅必須本身堅固，還必須利用成熟的平台、豐富的社區代碼庫和已建立的經濟效應，實現商業和技術的積極循環。
對於希望進一步了解 zkVMs 的讀者，他們將發現，除了 Delphinus Lab 的 zkWASM 外，許多其他頂尖團隊和解決方案也在這個領域活躍，例如 RISC-ZERO、Succinct 的 SP1、Valida 和 Nexus（在 2.0 版中採用了 Jolt）。目前，這些虛擬機器的主要競爭指標是在給定時間內可以證明的指令數量。例如，自 2024 年中期開始，RISC-ZERO 的性能數據表明，它可以在 GPU 4090 上證明一百萬個 RiscV 指令，大約需要 10 到 12 秒。與此同時，Delphinus Lab 也在不斷努力優化 zkWASM 的性能。目前，zkWASM 支持 64 位指令集，在 GPU 4090 上證明一百萬個指令需要 15 秒，並消耗 64GB 記憶體。
2024 Electric Capital ZK 市場地圖: 核心基礎設施
但是性能能决定一切吗？我們可以回顧一下 GitHub 上的編程語言年度排名，其中前三名的語言——JavaScript、Python 和 Java——正是性能最低的腳本語言。
性能僅僅是數字基礎設施的“啟動”指標，它不是決定性因素，也不應該被扭曲成一個脫離實際應用案例的終極目標，從而引發一場與實際應用無關的競爭。我們最初的意圖始終是創建更多的增量殺手級應用。如果我們預測“啟動”問題最終將得到解決，那麼 ZK 後端（例如 STARK、GKR、Jolt、KZG + folding 等）的性能將通過工程和硬件優化最終與摩爾定律保持一致。所以，除了性能，等式右側還有什麼？
正如查理·芒格所說，我們需要去魚多的地方釣魚。對於 Web3 的大規模採用來說，這個「豐富的漁場」將是瀏覽器。在這個階段，我們無法明確地說出哪種 zkVM 將會勝出，或者是否會有多種解決方案蓬勃發展。然而，Delphinus Lab 相信 Web3 採用仍將從小程序開始，而瀏覽器是這些小程序的重要發源地。無論是 ChatGPT 的初始瀏覽器版本還是首次在瀏覽器上提供的各種 CMS 平台，如 Shopify 和 WordPress，網絡確實是唯一可以在任何設備上訪問的真正通用平台。此外，Web 應用程序不斷發展，從最初的簡單功能，如搜索和發送電子郵件，到現在支持遊戲、視頻編輯、音樂製作等。
WASM是专门为浏览器设计的。一些研究人员将WASM比作一个魔法引擎，使得Web应用程序能够立即在任何地方仅需一次点击即可执行，无需下载或安装。zkWASM继承了这一优势，使用户可以像使用普通应用程序一样在浏览器中与这些应用程序交互，而无需任何特殊的硬件或软件。
只有在存在使用案例和用戶的地方才能有經濟效益。 zkWASM旨在解決無數小型和中型Web2應用程序迈入Web3世界時遇到的“最后一哩路”問題。與傳統的JavaScript相比，WASM在瀏覽器中高效運行的能力，有望將許多其他應用程序帶入瀏覽器終端。 zkWASM將進一步促進這些應用程序進入Web3領域，成為Web3大規模採用的催化劑。
Delphinus 實驗室路線圖
合作生態系統的願景
“我希望我们能成为这个领域的Chainlink，用户不需要意识到我们的存在，但客户可以在我们的帮助下无缝过渡从Web2到Web3，并构建自己的技术堆栈。”\
— Sinka Gao，Delphinus Lab創始人
當技術從實驗室走向市場時，僅僅討論技術是不夠的。將技術開發成可用產品的能力，以及戰略生態系統方法，將在決定該技術的成功或失敗中發揮重要作用。
Delphinus Lab從一開始就採取了務實的方法，專注於全心全意地服務中小型客戶。在與Blade Games的合作中，Delphinus Labs不僅幫助引入zkWASM來驗證其塔防遊戲，還共同開發了行業首個解決方案，允許從Unity直接創建可驗證的遊戲。遊戲開發人員可以使用熟悉的C#編程語言，而不是Solidity、Rust或Cairo，從而消除了將Unity引擎的渲染和動畫與基於Mud/Dojo的Solidity/Cairo遊戲邏輯代碼統一的耗時和勞動密集型工作的需要。
以這種協作開發解決方案為基礎，Blade Games和幾家遊戲工作室開發了多個可驗證的鏈上遊戲，例如沙丘工廠，Craftpunk, 以及最近測試版的策略遊戲 0xPioneer這使他們成為行業中第一個利用模塊化ZK技術堆棧來創建完全鏈上遊戲引擎基礎設施的公司。
與 MineMatrix 的合作類似。該行業長期以來一直在努力解決大多數空投獎勵被機器人索取的問題，這使得真實用戶獲得的獎勵極少。基於 zkWASM 技術，MineMatrix 開發了一個數字遊戲模板，該模板允許用戶通過解決有吸引力的 NP-hard 問題來證明其真實性，而無需透露其身份，從而確保空投的公平分配。該模板完全靈活和開放，使項目可以根據自己的風格或需求調整故事情節，修改遊戲機制或集成 NFT。基於 zkWASM 的機制為客戶提供了隨時可用的解決方案。
這一直是海豚實驗室的定位。除了將 Web2 開發人員引入 Web3 以構建可驗證的應用程序之外，更重要的是賦能生態系統。“我希望我們的客戶能在我們的幫助下開發自己的技術堆棧，而不是讓我們成為他們唯一的技術依賴，” Sinka Gao 說。
相反，行業中許多其他參與者專注於高調項目，但常常陷入傳統B2B服務公司的常見陷阱，這一點被“大公司，小項目”的觀念所體現。這與眾多金融IT公司將大型國有銀行列為客戶的情況類似，然而他們可能只是協助轉變內部OA系統。另一方面，與中小型客戶合作時，他們往往採取過於全面的方式，僅提供打包解決方案，這並不允許這些客戶發展其能力。
分享能力是一方面，但分享利潤則是一個更艱難的挑戰。 Delphinus Lab與其驗證者之間的關係是互惠互利的，而不僅僅是簡單的供應商-客戶關係。以Delphinus Lab、zkCross和Gevolut Network之間的合作為例。在直觀的ZKCross Playground平台上，開發人員可以在線編寫代碼，將其編譯為zkWasm兼容的字節碼，用他們的私鑰對其進行簽名，然後上傳到ZKCross節點。節點處理其餘任務，如證明存儲，將交易和證明存儲在模塊化區塊鏈（如Avail）的數據可用性（DA）層中，同時將生成的證明轉發給Gevolut Network。
在整個過程中，任何人都可以運行節點並分享驗證獎勵，以及潛在的未來空投獎勵。自今年6月以來，Delphinus Lab已將節點運營權限開放給第三方。有興趣成為外部zkWASM節點的任何人都可以加入，在測試期間獲得3%的獎勵激勵。
有許多類似的雙贏合作，例如與ETH Storage和Hyper Protocol聯合發布zkGo編譯器，這是行業首次將常規Go代碼編譯為ZK協議兼容的Wasm代碼。此外，還與Pi Squared合作，將zkWASM證明集成到其通用結算層（USL）中，並與開源開發工具Spin合作，協助其用戶使用zkWASM構建和運行可驗證應用程式。
Delphinus Lab也考慮到行業中所有參與者的觀點，考慮到價值鏈中的每個環節如何能夠獲得合理的回報，以促進健康發展。例如，在遊戲行業中，他們在之前發表的一篇文章中分享了一些見解，標題為Web3遊戲的困境與解決方案。他們提議通過迷你Rollup SDK構建應用程序Rollup鏈，提供一鍵借貸平台，允許用戶借用遊戲代幣，從而解決遊戲用戶的初始資金挑戰。這種方法還有效地作為遊戲資產的本地跨鏈橋樑，使遊戲衍生品產生的部分價值能夠被遊戲本身捕獲。
在这个阶段，Web3的创业者们需要关注的不是如何分割有限的蛋糕，而是如何一起扩大蛋糕。只有当门足够宽敞、道路清晰时，才能吸引大量的开发者和用户进入。通过持续引入新的参与者，Web3可以避免成为一个封闭的回音室，也可以避免陷入加密虚无主义的陷阱。
許多人認為當前的加密貨幣周期是一個虛無的周期，市場只是一場因美國股市的漲跌而起起伏伏的遊戲。然而，真正的基礎創新正在邊緣地帶浮現，遠離公眾的審查。正如Vitalik所說，“我們不是在加密貨幣行業的早期階段，而是在真正可用的加密貨幣的早期階段。” 這個行業中真正的建設者應該自信地預測，市場最終將重返“應用周期”，這個周期將以真實的收入、真正的壟斷和真正的用例為特徵。正如Sinka所希望的，在接下來的五年內，zkWASM將證明自己是一個能夠實現可持續經濟循環的項目，幫助Web2應用程序實現關鍵的跨越進入Web3，成為該行業增長飛輪的一個關鍵驅動力。
聲明:
مشاركة
مقالات ذات صلة
一文解讀什幺是區塊鏈
鏈上數據分析：六個分析工具介紹及使用案例
從Web2到Web3的關鍵一步：為什麼選擇zkWASM？
希望我們能成為這個領域的Chainlink，在這裡，用戶不需要感知到我們的存在，但客戶可以借助我們的幫助建立無縫過渡從Web2到Web3的技術堆棧。 Vitalik Buterin創立以太坊的想法來自於Blizzard修改的“魔獸世界”中一個受人喜愛的角色，它仍然代表著這個行業的最初意圖：如何有效地打破在廣受歡迎的高並發應用（如遊戲）中的集中式服務器的恐懼。
正如他在Token2049的最新演讲中所述，有兩條錯誤的道路：要么為了去中心化而牺牲可用性，要么成為一個只吸引自身的生態系統。然而，“我們並非注定要陷入這兩個選擇之中；我們可以平衡去中心化和可用性。”
为了实现这一目标，整个区块链行业在过去的十年中经历了重大变革，从单一的区块链发展到模块化区块链，从第一层到第二层，TPS 和交易量也在不断增加。然而，我们仍然没有看到真正的大规模采用，这让许多从业者感到困惑。
以 Rollup 為例。目前的 Rollup 傾向於在實現指數級交易能力擴展的同時，與現有區塊鏈應用極高的兼容性。這似乎在平衡去中心化和可用性。然而，隨著基礎設施的建立，許多第二層解決方案已變成了“鬼城”。為什麼會這樣呢?
其一是當前Rollup基礎設施的基本假設是，現有區塊鏈的可用性和吸引力足以吸引Web2級應用程序和開發人員。然而，在2023年GitHub的編程語言排名中，像Solidity、Cairo和Move等語言的流行度甚至還沒有進入前兩頁。對於用戶來說，各種第二層解決方案之間的碎片化、漫長的最終確認等待時間，以及由委員會治理引起的中心化問題，在業內已被廣泛討論，因此無需進一步闡述。
想象一個場景，開發人員可以使用他們最熟悉的編程語言（如Rust、C++或Go）創建他們想要的遊戲，而不需要任何加密知識，基於他們已經了解的開發邏輯。用戶將不必承擔額外的時間和金錢成本來管理他們的遊戲資產和數據，不再擔心遠在數英里之外的集中實體可以通過一個點擊消除他們多年的升級或任意更改規則。在這樣的情況下，開發人員和用戶會如何選擇？
這不是一個空中樓閣；這正是本文主角Delphinus Lab與其他幾個zkVM項目正在致力於的目標。
為什麼選擇 zkVM？
“以太坊的未來將是多鏈的，類似於 Cosmos 的多鏈視野，但 Layer 1 提供數據可用性和共享安全。”—Vitalik Buterin
未來世界屬於多鏈解決方案。就像今天每家公司都有網站一樣，在未來，每家公司或項目都將擁有與以太坊（或其他去中心化價值網絡）相連的專用Rollup。該項目內的用戶操作將被打包並發送到以太坊主網進行驗證，而專用Rollup將確保用戶的最佳體驗，同時以太坊網絡將負責整體安全、核心數據存儲以及最為關鍵的結算服務。
然而，正如我們之前提到的，當前的多鍊願景對這個世界上最主流的開發者和應用程序並不友好。數據顯示，Web3開發者僅占全球開發者的約0.07%，而Solidity開發者的數量甚至更少。這使得通過zkEVM爭奪現有Solidity開發者資源或吸引開發者掌握一種新的、陡峭的學習曲線語言來顯著增加開發者的數量變得不太可能。另一方面，使用傳統Web2語言開發的應用程序無法原生地運行作為區塊鏈原生合約，這封鎖了區塊鏈應用程序在鏈上擴展的一個至關重要的途徑。
我們需要一個雙贏的擴展解決方案，可以同時滿足傳統的開發環境，並以無需信任的方式將應用程序無縫集成到當前的區塊鏈生態系統中。
目前，ZK 技術被認為是將程序以無信任方式集成到區塊鏈中的最主流方法。然而，許多人仍然認為 ZK 技術“難學”和“難實現”。這是因為在 ZK 技術的早期，開發人員通常使用像 Cairo 和 Noir 這樣的專門的 ZK 語言來開發 ZK 應用程序，這對於程序員來說實際上比像 Solidity 這樣的區塊鏈開發語言更具挑戰性。
隨著近年來ZK技術的快速發展，這個問題逐漸得到解決，開發一個通用的zkVM不再是一個遙不可及的夢想。2022年，Delphinus Lab發布了第一個支持WASM的開源zkVM，這標誌著他們實現應用無需信任集成的努力迈出了重要一步。讀者可以參考題為“ZAWA：一個ZKSNARK WASM模擬器根据Sinka Gao及其同事发表在IEEE上的技术细节。正如本文所述，“...我们提出并实现了第一个支持Wasm规范的ZKSNARK Wasm虚拟机，能够为执行结果生成简洁的零知识证明。此外，通过提供ZAWA，已编译为Wasm的现有程序可以满足云计算和边缘计算中新兴的隐私和信任要求，而无需进行任何修改。”
對於對Wasm不熟悉的讀者來說，它是主流網頁瀏覽器支持的一種字節碼。它為C、C++和Rust等源語言提供了高效的編譯目標，可以編譯到您的瀏覽器上，在您的CPU上以接近本地速度運行。2019年，它被W3C正式接受為第四個新的Web標準，具有顯著的革命性性能潛力。
關於zkWASM，我們建議閱讀zkWASM極致指南由Polygon的聯合創始人Sandeep撰寫。在這篇博客文章中，Sandeep大膽宣稱zkWASM將傳統編程的靈活性與注重隱私的零知識證明相結合，為去中心化技術帶來新的應用場景，同時確保強大的安全性、隱私性和互操作性。它有潛力顛覆區塊鏈行業。
為什麼Sandeep會做出這樣的主張呢？ 首先，Wasm作為一種二進制指令格式，最初是為了具有可移植性和高性能而設計的，支持幾乎所有您能想到的編程語言，包括C++、Rust、Python、Go、Java、JavaScript、Ruby、Swift等。由於幾乎所有網頁瀏覽器都內建了Wasm解譯器，這意味著開發人員可以根據其喜好和項目需求選擇最合適的語言，從而增強開發效率和代碼質量。隨著ZK技術的加入，zkWASM變得更加強大。開發人員可以使用他們偏好的編程語言編寫隱私應用程序，而無需任何零知證明的先前知識。可以說，zkWASM提供了安全性、可擴展性、互通性和隱私保護的組合。它不僅解決了區塊鏈和dApps的問題，還加速了ZK-ML和鏈上ML的實施，代表了一種理想的“強大協同作用”。
保持樂觀，但不要盲目。
由於近年來zkVM的快速進展，zkVM領域中的一些樂觀主義者，如來自Polygon Miden的Bobbin Threadbare，甚至認為：
"在当前情况下的最佳解决方案是构建一个基于WASM或RISC-V的zkVM，理想情况下支持Rust、Go、C++甚至Solidity等语言。如果存在这样一个通用的zkVM，它将对zkEVM构成降维攻击。"
然而，作為zkWASM開源虛擬機的創建者，Delphinus Lab採取更為謹慎的方法。根據他們2022年的規劃路線圖，儘管zkWASM是整體戰略中最關鍵的黏合劑，但它遠遠不足以支持“將Web2應用程序與Web3無需信任地鏈接”的宏偉藍圖。原因在於以下公式:
「開發者意願 = 經濟激勵」工具成熟度“可重複使用的代碼量” – Delphinus Lab 創始人高星嘉
從公式的右側我們可以看出，一般的虛擬機在推動開發者的意願方面並沒有太大的影響力。就像Linux內核需要強大的設備、驅動程序和POSIX API來展示其價值一樣，zkVMs不僅必須本身堅固，還必須利用成熟的平台、豐富的社區代碼庫和已建立的經濟效應，實現商業和技術的積極循環。
對於希望進一步了解 zkVMs 的讀者，他們將發現，除了 Delphinus Lab 的 zkWASM 外，許多其他頂尖團隊和解決方案也在這個領域活躍，例如 RISC-ZERO、Succinct 的 SP1、Valida 和 Nexus（在 2.0 版中採用了 Jolt）。目前，這些虛擬機器的主要競爭指標是在給定時間內可以證明的指令數量。例如，自 2024 年中期開始，RISC-ZERO 的性能數據表明，它可以在 GPU 4090 上證明一百萬個 RiscV 指令，大約需要 10 到 12 秒。與此同時，Delphinus Lab 也在不斷努力優化 zkWASM 的性能。目前，zkWASM 支持 64 位指令集，在 GPU 4090 上證明一百萬個指令需要 15 秒，並消耗 64GB 記憶體。
2024 Electric Capital ZK 市場地圖: 核心基礎設施
但是性能能决定一切吗？我們可以回顧一下 GitHub 上的編程語言年度排名，其中前三名的語言——JavaScript、Python 和 Java——正是性能最低的腳本語言。
性能僅僅是數字基礎設施的“啟動”指標，它不是決定性因素，也不應該被扭曲成一個脫離實際應用案例的終極目標，從而引發一場與實際應用無關的競爭。我們最初的意圖始終是創建更多的增量殺手級應用。如果我們預測“啟動”問題最終將得到解決，那麼 ZK 後端（例如 STARK、GKR、Jolt、KZG + folding 等）的性能將通過工程和硬件優化最終與摩爾定律保持一致。所以，除了性能，等式右側還有什麼？
正如查理·芒格所說，我們需要去魚多的地方釣魚。對於 Web3 的大規模採用來說，這個「豐富的漁場」將是瀏覽器。在這個階段，我們無法明確地說出哪種 zkVM 將會勝出，或者是否會有多種解決方案蓬勃發展。然而，Delphinus Lab 相信 Web3 採用仍將從小程序開始，而瀏覽器是這些小程序的重要發源地。無論是 ChatGPT 的初始瀏覽器版本還是首次在瀏覽器上提供的各種 CMS 平台，如 Shopify 和 WordPress，網絡確實是唯一可以在任何設備上訪問的真正通用平台。此外，Web 應用程序不斷發展，從最初的簡單功能，如搜索和發送電子郵件，到現在支持遊戲、視頻編輯、音樂製作等。
WASM是专门为浏览器设计的。一些研究人员将WASM比作一个魔法引擎，使得Web应用程序能够立即在任何地方仅需一次点击即可执行，无需下载或安装。zkWASM继承了这一优势，使用户可以像使用普通应用程序一样在浏览器中与这些应用程序交互，而无需任何特殊的硬件或软件。
只有在存在使用案例和用戶的地方才能有經濟效益。 zkWASM旨在解決無數小型和中型Web2應用程序迈入Web3世界時遇到的“最后一哩路”問題。與傳統的JavaScript相比，WASM在瀏覽器中高效運行的能力，有望將許多其他應用程序帶入瀏覽器終端。 zkWASM將進一步促進這些應用程序進入Web3領域，成為Web3大規模採用的催化劑。
Delphinus 實驗室路線圖
合作生態系統的願景
“我希望我们能成为这个领域的Chainlink，用户不需要意识到我们的存在，但客户可以在我们的帮助下无缝过渡从Web2到Web3，并构建自己的技术堆栈。”\
— Sinka Gao，Delphinus Lab創始人
當技術從實驗室走向市場時，僅僅討論技術是不夠的。將技術開發成可用產品的能力，以及戰略生態系統方法，將在決定該技術的成功或失敗中發揮重要作用。
Delphinus Lab從一開始就採取了務實的方法，專注於全心全意地服務中小型客戶。在與Blade Games的合作中，Delphinus Labs不僅幫助引入zkWASM來驗證其塔防遊戲，還共同開發了行業首個解決方案，允許從Unity直接創建可驗證的遊戲。遊戲開發人員可以使用熟悉的C#編程語言，而不是Solidity、Rust或Cairo，從而消除了將Unity引擎的渲染和動畫與基於Mud/Dojo的Solidity/Cairo遊戲邏輯代碼統一的耗時和勞動密集型工作的需要。
以這種協作開發解決方案為基礎，Blade Games和幾家遊戲工作室開發了多個可驗證的鏈上遊戲，例如沙丘工廠，Craftpunk, 以及最近測試版的策略遊戲 0xPioneer這使他們成為行業中第一個利用模塊化ZK技術堆棧來創建完全鏈上遊戲引擎基礎設施的公司。
與 MineMatrix 的合作類似。該行業長期以來一直在努力解決大多數空投獎勵被機器人索取的問題，這使得真實用戶獲得的獎勵極少。基於 zkWASM 技術，MineMatrix 開發了一個數字遊戲模板，該模板允許用戶通過解決有吸引力的 NP-hard 問題來證明其真實性，而無需透露其身份，從而確保空投的公平分配。該模板完全靈活和開放，使項目可以根據自己的風格或需求調整故事情節，修改遊戲機制或集成 NFT。基於 zkWASM 的機制為客戶提供了隨時可用的解決方案。
這一直是海豚實驗室的定位。除了將 Web2 開發人員引入 Web3 以構建可驗證的應用程序之外，更重要的是賦能生態系統。“我希望我們的客戶能在我們的幫助下開發自己的技術堆棧，而不是讓我們成為他們唯一的技術依賴，” Sinka Gao 說。
相反，行業中許多其他參與者專注於高調項目，但常常陷入傳統B2B服務公司的常見陷阱，這一點被“大公司，小項目”的觀念所體現。這與眾多金融IT公司將大型國有銀行列為客戶的情況類似，然而他們可能只是協助轉變內部OA系統。另一方面，與中小型客戶合作時，他們往往採取過於全面的方式，僅提供打包解決方案，這並不允許這些客戶發展其能力。
分享能力是一方面，但分享利潤則是一個更艱難的挑戰。 Delphinus Lab與其驗證者之間的關係是互惠互利的，而不僅僅是簡單的供應商-客戶關係。以Delphinus Lab、zkCross和Gevolut Network之間的合作為例。在直觀的ZKCross Playground平台上，開發人員可以在線編寫代碼，將其編譯為zkWasm兼容的字節碼，用他們的私鑰對其進行簽名，然後上傳到ZKCross節點。節點處理其餘任務，如證明存儲，將交易和證明存儲在模塊化區塊鏈（如Avail）的數據可用性（DA）層中，同時將生成的證明轉發給Gevolut Network。
在整個過程中，任何人都可以運行節點並分享驗證獎勵，以及潛在的未來空投獎勵。自今年6月以來，Delphinus Lab已將節點運營權限開放給第三方。有興趣成為外部zkWASM節點的任何人都可以加入，在測試期間獲得3%的獎勵激勵。
有許多類似的雙贏合作，例如與ETH Storage和Hyper Protocol聯合發布zkGo編譯器，這是行業首次將常規Go代碼編譯為ZK協議兼容的Wasm代碼。此外，還與Pi Squared合作，將zkWASM證明集成到其通用結算層（USL）中，並與開源開發工具Spin合作，協助其用戶使用zkWASM構建和運行可驗證應用程式。
Delphinus Lab也考慮到行業中所有參與者的觀點，考慮到價值鏈中的每個環節如何能夠獲得合理的回報，以促進健康發展。例如，在遊戲行業中，他們在之前發表的一篇文章中分享了一些見解，標題為Web3遊戲的困境與解決方案。他們提議通過迷你Rollup SDK構建應用程序Rollup鏈，提供一鍵借貸平台，允許用戶借用遊戲代幣，從而解決遊戲用戶的初始資金挑戰。這種方法還有效地作為遊戲資產的本地跨鏈橋樑，使遊戲衍生品產生的部分價值能夠被遊戲本身捕獲。
在这个阶段，Web3的创业者们需要关注的不是如何分割有限的蛋糕，而是如何一起扩大蛋糕。只有当门足够宽敞、道路清晰时，才能吸引大量的开发者和用户进入。通过持续引入新的参与者，Web3可以避免成为一个封闭的回音室，也可以避免陷入加密虚无主义的陷阱。
許多人認為當前的加密貨幣周期是一個虛無的周期，市場只是一場因美國股市的漲跌而起起伏伏的遊戲。然而，真正的基礎創新正在邊緣地帶浮現，遠離公眾的審查。正如Vitalik所說，“我們不是在加密貨幣行業的早期階段，而是在真正可用的加密貨幣的早期階段。” 這個行業中真正的建設者應該自信地預測，市場最終將重返“應用周期”，這個周期將以真實的收入、真正的壟斷和真正的用例為特徵。正如Sinka所希望的，在接下來的五年內，zkWASM將證明自己是一個能夠實現可持續經濟循環的項目，幫助Web2應用程序實現關鍵的跨越進入Web3，成為該行業增長飛輪的一個關鍵驅動力。
聲明:
مقالات ذات صلة
一文解讀什幺是區塊鏈