Zypher Research | 如何構建zkVM支持的可驗證鏈上遊戲

Zypher 希望透過用無需信任的狀態機替代對遊戲工作室/發行商的信任，構建一個新的開放式、去中心化遊戲範式，這些遊戲在狀態和邏輯層面是可組合且互操作的，並且在鏈上開發者可以進行無需許可的修改，這為鏈上遊戲的開放經濟和無限持續性奠定了基礎。

然而，將"核心玩法"整合到鏈上卻面臨著一些困境。讓我們以大眾熟悉的紙牌遊戲為例：

• 透明帳本無法滿足"隱藏"信息的需要，不能選擇性地僅向持卡人展示卡片。

• 玩家需要等待狀態轉換（玩家的動作）才能與其他遊戲的客戶端同步。

現有的 dApp 基礎設施，主要基於 EVM，不是為高響應性、頻繁狀態轉換的用例設計的，無法提供所需的成本效率、可擴展性和。因此，大多數鏈上遊戲被設計為 Web 2.5 遊戲，具有鏈上資產層以確保資產的互操作性和可信度，而"導致資產生成的核心遊戲玩法"仍然是中心化的。

鏈上遊戲開發改革

Zypher 開發了多個基於 Solidity/Rust/WASM 的 ZKP 解決方案來解決這些問題，將資源密集型的計算轉移到鏈下，並在鏈上驗證遊戲結果。

• Secret Engine 提供了一套 SDK，用於遊戲中策略隱藏與成就證明，例如洗牌 SDK、匹配SDK，以滿足鏈上隨機性和信息不對稱的需求。

• AW Engine 通過垂直擴展提供高吞吐量；它還支持可定制的zk 驅動的微鏈裝備-Z4，以實現即時多人遊戲。

• Zytron Kit 是一個可定制的 L3 Rollup Stack，支持這兩種引擎作為預編譯合約；以及其他即插即用模塊，包括優化的 P2P 層/數據兼容模塊/伺服器分片等。

Zytron 的首個alpha測試網，特點是 0 Gas 費用、0.2 秒的區塊時間，以及專為遊戲設計的預編譯合約將在兩週內推出，屆時將有幾款遊戲作為我們遊戲社區的先行測試者。更多詳情即將公布。

上圖：由 Zypher AW Engine 和 Bevy Engine 驅動的即時 PVP 遊戲演示，吞吐量提高了100倍。

下圖：首個完全基於鏈上、由 AI 生成的交易卡牌遊戲（TCG），由 Zypher Secret Engine 的 zk-shuffle 和 zk-matchmaking SDK 驅動。

Risc Zero zkVM：可驗證的計算，可驗證的遊戲

以太坊最初並未圍繞零知識證明（ZK）的友好性設計，因此以太坊協議的許多部分在進行 ZK 證明時需要大量計算。

Vitalik, "different types of ZK EVMs"

Risc Zero 開發了獨特的通用的、可驗證的零知識虛擬機。通過在 zkVM 中執行邏輯，代碼的輸出被忠實生成且永不被操縱。這提供了無需信任的認證和驗證，為開放式、由 DAO 治理、自我維持的鏈上遊戲玩法奠定了基礎。

在遊戲中，通過在 zkVM 中執行邏輯，保證了代碼的輸出被忠實生成且永不被操縱。這提供了一種無需信任地認證和驗證用戶已執行某些任務的方式，例如升級一個要塞建築、完成一個戰役等，而無需將每一個事件單獨註冊為交易。更重要的是，社區中的任何玩家都可以將遊戲的輸出與自我證明的proof進行配對，證明遊戲結果未被篡改且公平可驗證，為開放式、由 DAO 治理、自我維持的鏈上遊戲玩法奠定了基礎。

未來Zypher還將與 Risc Zero 的證明服務 Bonsai 集成，以在遊戲中高效、並行地生成證明；這對於使用性能較差的設備（例如移動設備）的玩家尤其有用，大大減少了遊戲過程中的繁瑣程度，並進一步減少 Autonomous Worlds 和鏈上遊戲對硬件設備的依賴。

與 Bonsai 的集成將幫助我們避免用戶對證明生成相關的投訴。

從零到一，邁向公共產品

上週，我們與 Risc Zero 團隊的工程師一起結束了一次測試會議，該測試會議是使用由 Risc Zero zkVM 提供支持的 shuffle SDK 構建的完全鏈上紙牌遊戲。遊戲以可接受的響應時間顯示洗牌、切牌、翻牌等過程。最重要的是，遊戲很好玩。 Risc Zero 團隊提到即將發布的版本將支持large integers，這可以將 SDK 的性能大大提升到一個新的水平。

Risc Zero 的 ZK VM 已經減輕了一般開發者用首選語言編寫 zk 遊戲的負擔，開發者無需使用低級語言處理複雜的密碼學相關電路。我們現在正在通過更多開發者工具進一步推動這一技術的大規模採用。

Zypher正在為基於 Risc Zero 的遊戲開發者提供一系列開源、一站式 SDK 服務。借助 Shuffle SDK、高度定制的 Rollup SDK 等內置服務，Web2 開發人員可以直接使用該工具包構建邏輯層面可互操作的鏈上遊戲，而無需對現有軟件開發周期進行根本性改變。Zypher將其設想為一組"公共開源產品"，以推動 ZK 的採用從相對"利基"的敘述轉向被 web3 領域數百萬用戶更廣泛地使用。

這次合作是邁向鏈上遊戲未來的激動人心的一步。它為新一代遊戲奠定了基礎，這些遊戲不再受限於 Gas 費用和 EVM。它展示了像 Zypher Games 這樣的世界級團隊如何使用 RISC Zero zkVM 構建創新且高效的基於 ZK 的應用程序。

• Steven Li, Growth at Risc Zero

隨著我們與 Risc Zero 開啟這次戰略合作夥伴關係，我們很興奮地引領鏈上遊戲的新一次創新。他們在開發 Risc Zero zkVM 和 Bonsai 市場方面的開創性努力，徹底改變了我們處理鏈上計算的方式，為更高效、可擴展和安全的遊戲鋪平了道路。我們相信，雙方合作，我們能夠創造出惠及全球用戶的開創性解決方案。

• Neo Sun, Zypher Games CTO

關於 Zypher Games

Zypher Games 正在構建下一代自治世界基礎設施，包括從主權 Layer 3 Rollups 到 ZK-as-a-service SDKs 的一系列 ZKP 驅動的遊戲引擎。我們的技術為去中心化遊戲提供了所需的可組合性、可編程性、可擴展性和密碼學原語。它賦予遊戲開發者創造豐富、互動的鏈上世界的能力，強調可擴展性、公平性和遊戲策略的複雜性。