可證明的Goblin
轉發原文標題《Provable Goblins》
自治世界（Autonomous Worlds， AWS）面臨着同樣的三難困境。AWS 需要能夠擴展到數百萬並發玩家，這是一個很難解決的問題。
Rollups部分地解決了這個三難問題，將其轉化爲一個兩難問題，這要歸功於繼承了結算層的安全性——只要存在Layer 1（L1）本地資產和無許可退出。
對於樂觀匯總，您需要在可擴展性和安全性之間進行選擇，這就是爲什麼一些匯總方法通過使用替代數據可用性 (alt DA) 或等離子 DA 來實現可擴展性，從而犧牲安全性。然而，通過 ZK Rollup，您可以以最小的信任假設來證明狀態的完整性，旨在解決所有三個挑戰：可擴展性、安全性和去中心化。 Zk 是終局之戰。
誠信的《大金剛》 (Donkey Kong)——從鏈上到可證明再到回歸
鏈上遊戲向我們保證言論自由和信息主權。它們擁有這些屬性，因爲它們運行在經過共識驗證的區塊鏈上。可證明遊戲使用 zk 證明，允許在沒有大型共識方案的情況下驗證遊戲狀態和計算。用類似的語言編寫Cairo、Noir或運行RISC-Zero，這些遊戲可以像瀏覽器一樣在隔離的 zkVM 上獨立運行，並具有可驗證的輸出，確保真實執行。這拓寬了我們在鏈上遊戲行業的可能性。
像《大金剛》這樣的遊戲就體現了這一點。目前，爲了讓您的高分在排行榜上得到認可，您必須在經過認證的機器上玩遊戲以防止作弊，同時記錄您的遊戲過程。然而，如果《大金剛》是一款可證明的遊戲，那麼玩家就可以單獨競爭。想要獲得高分，只需要向大金剛組織提交一份證明進行驗證即可。這種方法可以讓玩家在舒適的家中成爲金剛之王，而無需記錄他們的遊戲過程！
目前，在孤立的 zkVM 中運行完整的遊戲具有挑戰性。爲了解決這個問題，Dojo 生態系統正在努力通過最小化復雜性來簡化流程。像Tonk這樣的團隊正在可證明的遊戲領域取得進展，其中一項顯著的成就是在 zkVM 上運行Doom，預示着“可證明Doom”的到來。隨着證明成本的降低和新的證明者的出現（如Stwo）變得可用，設計可證明的遊戲和應用程序的潛力擴大了。
我們不一定需要在孤立的 zkVM 中運行可證明的遊戲才能從其可證明的屬性中受益。相反，我們可以在迷你 StarkNet 網路上以最少的參與者數量運行我們的遊戲，並且仍然獲得有保證的安全性。
值得注意的是，該方法不是二元的。例如，您可以在 EVM 上運行鏈上遊戲，然後將基於Cairo的遊戲放在上面，增強核心遊戲，同時擴大其功能。
爲什麼要費心去驗證遊戲呢？
想象一下，如果 RuneScape 的世界突然關閉，永久刪除了每個人的遊戲統計數據，就會有一些憤怒的遊戲玩家。當開發人員決定關閉服務器時，這種情況必然會發生。我們能做的更好嗎？我們能否創造一個像 RuneScape 一樣豐富、多樣化和激烈的世界，並且不受這種情況的影響？
這一挑戰正是整個鏈上遊戲場景目前正在努力解決的問題：創造一個持久、永恆和自治的世界。許多團隊正在探索各種方法，這正是所需要的創新和實驗。
鏈上遊戲正在投入大量創新，但我們的重點是使用 Cairo 和 Starknet VM 探索可證明的遊戲技術樹。本文旨在將一些可證明的遊戲概念轉化爲實際示例，其靈感來自於傳奇遊戲 RuneScape。
本篇文章的創造靈感來自於傳奇的 Skystrife chad Kooshobas 在 Eth Istanbul 的演講
可證明的Goblin
讓我們建立一個可以證明goblin存在的世界，以 RuneScape 爲例，我們將重點關注遊戲的初始區域 Lumbridge 及其周圍環境進行探索：
- Lumbridge城堡
- 茂密森林
- goblin
- 庫存物品
對於可證明的goblin，我們需要：
- 模擬goblin和生物的動態運動，打造生動的遊戲世界。
- 當玩家拾取物品時啓用實時庫存更新。
- 在全球範圍內跟蹤並保存玩家進度，以實現一致的遊戲玩法。
- 設計機制以防止被利用，確保遊戲的完整性。
- 支持數百萬並發玩家的可擴展性。
擴展現代傳統遊戲
傳統遊戲開發依賴中心化服務器來實現進程、NPC 行爲、玩家狀態管理、物品控制和規則執行等基本功能。爲了擴展，需要添加更多服務器，並對遊戲狀態進行劃分（分片），從而爲不同的玩家組提供單獨的遊戲區域實例。雖然這是一種有效的擴展解決方案，但這種中心化意味着開發人員擁有最終控制權，包括關閉服務器的能力。這就是創建鏈上遊戲行業的原因——能夠擁有一個無需信任的 RuneScape……
傳統區塊鏈方式
當嘗試使用傳統的區塊鏈方法復制中心化服務器的功能時，雖然理論上是可行的，但由於以下幾個限制，它變得不切實際，並且幾乎不可能擴展到超過幾千個並發用戶：
交易驗證
交易或玩家操作必須由網路上的多個節點進行驗證和處理。雖然這種方法通過復制處理和使用共識來確保系統的安全性，從而使系統更難受到損害，但它也在事務處理速度（即TPS）方面引入了重大瓶頸。現在，當然可以通過使用單個中央排序器（就像幾乎每個 L2 一樣）來回避這一點 - 然而這需要更多的信任假設。
每秒交易次數
區塊鏈虛擬機的 TPS 限制妨礙了遊戲處理玩家操作的能力。當玩家數量及其行爲超過區塊鏈的 TPS 容量時，就會形成積壓，導致費用飆升和玩家體驗惡化。這有效地限制了單個區塊鏈排序器可以管理的並發玩家數量。爲了克服這些限制，以太坊專注於以匯總爲中心的路線圖，將執行轉移到匯總層。
在匯總上操作我們的世界可以大大增強可擴展性，但如果沒有 zk Proofs，我們仍然依賴於大型共識機制或廣泛的潛在不穩定的信任假設，這會帶來風險。因此，zk 被認爲是擴展的最終解決方案，盡管它尚未完全實現。
與 OP 層相比較情況下的 ZK 層的信任假設。 ZK 假設仍然很強，參與水平較低，允許迷你 zk rollup 存在。
可證明的方法 ——使用遞歸證明和多層協議
任何區塊鏈的目標都是讓用戶對其行爲有絕對的信任。這一原則在業界經常被遺忘；如果我們的目標不是創建去信任的系統，那麼我們的努力還有什麼意義呢？我們不妨依賴中央服務器，它們的功能非常出色。
在我們的 RuneScape 世界中，我們將專注於使用 STARK 首創的遞歸縮放。Tarrence寫了一篇與這個主題相關的深入研究，強調了遞歸證明在維持第2層、第3層協議最小信任假設方面的重要性。
在我們的世界中，我們可以利用遞歸證明來擴展和分割世界，同時確保任何人擊敗的goblin確實是goblin。
粗略圖如下：
讓我們來分解一下。
L1以太坊
我們在這裏確定了最終狀態，因此任何人都可以根據需要重建 L2。這就是每個真正的匯總所做的事情。
L2Starknet
我們在這裏解決了 L3 狀態，因此任何人都可以根據需要重建 L3。這就是我們維護整個世界的狀態的地方。
L3 Realms World或其他 L3
支持玩家全局狀態的高性能執行層。我們在這裏保存 Lumbridge Shards 的最終狀態。這允許在需要恢復玩家平衡時快速創建新的碎片。
Ephemeral Lumbridge 分片
“Ephemeral”意味着暫時的，強調高效、安全地管理每個玩家的遊戲狀態的重要性——這是所有玩家最關心的問題。通過採用鏈分片將每個分片限制爲最多30個玩家（理論上數字可能更高，但此處以這個數字作爲示例），我們鏡像了傳統服務器的結構，並進行了關鍵的增強：利用 zk 證明來確保完整性狀態變化。這使我們能夠水平擴展到數千個分片，而不會犧牲玩家的任何性能。
將此方法應用於 RuneScape
就像傳統遊戲服務器中水平擴展的概念一樣，我們在這裏應用了類似的策略。通過將遊戲世界劃分爲許多較小的分片，我們使系統能夠有效地擴展並能容納數百萬並發用戶。
傳統遊戲服務器與這種方法的主要區別在於，玩家可以完全控制自己的遊戲狀態，從而確保更大的自主權和安全性。每一點狀態都可以重建！
讓我們舉例進行演示：
當玩家到達 Lumbridge 時，他們會被分配到一個具有容量的臨時鏈，促進與多達29個其他玩家的交互，同時通過快速和低成本的交易確保高性能。現在更深入：
- 森林，擁有木材等資源
通過這條短暫的鏈，玩家在前往森林時的移動可以被跟蹤，從而強制執行一定程度的移動物理，我們利用該分片所支持的廉價計算能力來做到這一點。然後他們可以繼續砍柴，增加他們的平衡並升級他們的玩家。
- Goblins和其他低級怪物
Goblins可以通過排序器上的內置遊戲刻度有效地模擬。當遊戲開始時，排序器會推進狀態和他們的位置，直到用戶出現並被殺死。如果我們選擇的話，我們可以佔用大量的分片帶寬，因爲我們限制了玩家的數量，所以我們可以最大化 NPC 的移動。
- 散落各處的物品或怪物掉落的物品
物品可以拾取並存儲在玩家的餘額中。當玩家結束會話時，這些項目將保存到全局狀態。這些值不是臨時的，而是會保存到 L3 以便在下一個會話中使用。
結束會話
在遊戲會話結束時，玩家的狀態通過轉換回 L3 保留在全局狀態中，爲下一個區域或會話奠定基礎。然後在 StarkNet L2 上進行驗證，隨後在 L1 上進行驗證，有效地建立了一個可證明公平的 RuneScape。現在，下一步就是實現這一願景……
我們正在構建的整個堆棧都是開源的 - 現在加入dojo discord或直接爲core做貢獻。
這些層之間的橋接怎麼樣？這對於玩家來說豈不是一場噩夢嗎？
是的，目前橋接是有問題的。然而，這個問題有一個明確的解決方案，已經在 Starknet 生態系統中使用，並將很快在其他第2層協議上提供。這些被稱爲存儲證明。是的，我正在嵌入我自己的推文。第2部分文章將討論這一點：
https://twitter.com/lordOfAFew/status/1762796441494520267
爲什麼遞歸證明和臨時鏈優於其他方法？
首先要說明的是，這是 Dojo、Cartridge 和 Realms 生態系統正在採用的方法，用於擴展我們設想的世界。值得注意的是，這並不是唯一的方法，探索多種方法總是會更好。我認識的一些最聰明的人也在解決這個領域最具挑戰性的問題，他們的工作絕對值得一看。
- Lattice - 帶有 Redstone 的 OP Plasma 可以實現非常便宜的交易。
- Playmint - 獨特的樂觀引擎可實現快速的遊戲玩法
- PoP - 定制EVM分片
- Argus - 自定義EVM遊戲碎片
- Curio - 修改了 EVM 服務器方法
結語：回到Runescape
創建一個能夠支持數百萬並發玩家且免費開放的 RuneScape 並不是一件容易的事。然而，鏈上遊戲行業的集體智慧和創造力具有強大的力量。因此，可以合理地預測此類遊戲和其他遊戲將在未來半年到一年內出現。是時候回到 RuneScape，或者更恰當地說，迎接 RealmScape 的到來了。 ;)
聲明：
- 本文轉載自[@lordofafew]，原文標題《Provable Goblins》，著作權歸屬原作者[ @lordofafew ]，如對轉載有異議，請聯系Gate Learn團隊，團隊會根據相關流程盡速處理。
- 免責聲明：本文所表達的觀點和意見僅代表作者個人觀點，不構成任何投資建議。
- 文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得復制、傳播或抄襲經翻譯文章。
Partager
Contenu
Articles connexes
什幺是山寨幣
可證明的Goblin
轉發原文標題《Provable Goblins》
自治世界（Autonomous Worlds， AWS）面臨着同樣的三難困境。AWS 需要能夠擴展到數百萬並發玩家，這是一個很難解決的問題。
Rollups部分地解決了這個三難問題，將其轉化爲一個兩難問題，這要歸功於繼承了結算層的安全性——只要存在Layer 1（L1）本地資產和無許可退出。
對於樂觀匯總，您需要在可擴展性和安全性之間進行選擇，這就是爲什麼一些匯總方法通過使用替代數據可用性 (alt DA) 或等離子 DA 來實現可擴展性，從而犧牲安全性。然而，通過 ZK Rollup，您可以以最小的信任假設來證明狀態的完整性，旨在解決所有三個挑戰：可擴展性、安全性和去中心化。 Zk 是終局之戰。
誠信的《大金剛》 (Donkey Kong)——從鏈上到可證明再到回歸
鏈上遊戲向我們保證言論自由和信息主權。它們擁有這些屬性，因爲它們運行在經過共識驗證的區塊鏈上。可證明遊戲使用 zk 證明，允許在沒有大型共識方案的情況下驗證遊戲狀態和計算。用類似的語言編寫Cairo、Noir或運行RISC-Zero，這些遊戲可以像瀏覽器一樣在隔離的 zkVM 上獨立運行，並具有可驗證的輸出，確保真實執行。這拓寬了我們在鏈上遊戲行業的可能性。
像《大金剛》這樣的遊戲就體現了這一點。目前，爲了讓您的高分在排行榜上得到認可，您必須在經過認證的機器上玩遊戲以防止作弊，同時記錄您的遊戲過程。然而，如果《大金剛》是一款可證明的遊戲，那麼玩家就可以單獨競爭。想要獲得高分，只需要向大金剛組織提交一份證明進行驗證即可。這種方法可以讓玩家在舒適的家中成爲金剛之王，而無需記錄他們的遊戲過程！
目前，在孤立的 zkVM 中運行完整的遊戲具有挑戰性。爲了解決這個問題，Dojo 生態系統正在努力通過最小化復雜性來簡化流程。像Tonk這樣的團隊正在可證明的遊戲領域取得進展，其中一項顯著的成就是在 zkVM 上運行Doom，預示着“可證明Doom”的到來。隨着證明成本的降低和新的證明者的出現（如Stwo）變得可用，設計可證明的遊戲和應用程序的潛力擴大了。
我們不一定需要在孤立的 zkVM 中運行可證明的遊戲才能從其可證明的屬性中受益。相反，我們可以在迷你 StarkNet 網路上以最少的參與者數量運行我們的遊戲，並且仍然獲得有保證的安全性。
值得注意的是，該方法不是二元的。例如，您可以在 EVM 上運行鏈上遊戲，然後將基於Cairo的遊戲放在上面，增強核心遊戲，同時擴大其功能。
爲什麼要費心去驗證遊戲呢？
想象一下，如果 RuneScape 的世界突然關閉，永久刪除了每個人的遊戲統計數據，就會有一些憤怒的遊戲玩家。當開發人員決定關閉服務器時，這種情況必然會發生。我們能做的更好嗎？我們能否創造一個像 RuneScape 一樣豐富、多樣化和激烈的世界，並且不受這種情況的影響？
這一挑戰正是整個鏈上遊戲場景目前正在努力解決的問題：創造一個持久、永恆和自治的世界。許多團隊正在探索各種方法，這正是所需要的創新和實驗。
鏈上遊戲正在投入大量創新，但我們的重點是使用 Cairo 和 Starknet VM 探索可證明的遊戲技術樹。本文旨在將一些可證明的遊戲概念轉化爲實際示例，其靈感來自於傳奇遊戲 RuneScape。
本篇文章的創造靈感來自於傳奇的 Skystrife chad Kooshobas 在 Eth Istanbul 的演講
可證明的Goblin
讓我們建立一個可以證明goblin存在的世界，以 RuneScape 爲例，我們將重點關注遊戲的初始區域 Lumbridge 及其周圍環境進行探索：
- Lumbridge城堡
- 茂密森林
- goblin
- 庫存物品
對於可證明的goblin，我們需要：
- 模擬goblin和生物的動態運動，打造生動的遊戲世界。
- 當玩家拾取物品時啓用實時庫存更新。
- 在全球範圍內跟蹤並保存玩家進度，以實現一致的遊戲玩法。
- 設計機制以防止被利用，確保遊戲的完整性。
- 支持數百萬並發玩家的可擴展性。
擴展現代傳統遊戲
傳統遊戲開發依賴中心化服務器來實現進程、NPC 行爲、玩家狀態管理、物品控制和規則執行等基本功能。爲了擴展，需要添加更多服務器，並對遊戲狀態進行劃分（分片），從而爲不同的玩家組提供單獨的遊戲區域實例。雖然這是一種有效的擴展解決方案，但這種中心化意味着開發人員擁有最終控制權，包括關閉服務器的能力。這就是創建鏈上遊戲行業的原因——能夠擁有一個無需信任的 RuneScape……
傳統區塊鏈方式
當嘗試使用傳統的區塊鏈方法復制中心化服務器的功能時，雖然理論上是可行的，但由於以下幾個限制，它變得不切實際，並且幾乎不可能擴展到超過幾千個並發用戶：
交易驗證
交易或玩家操作必須由網路上的多個節點進行驗證和處理。雖然這種方法通過復制處理和使用共識來確保系統的安全性，從而使系統更難受到損害，但它也在事務處理速度（即TPS）方面引入了重大瓶頸。現在，當然可以通過使用單個中央排序器（就像幾乎每個 L2 一樣）來回避這一點 - 然而這需要更多的信任假設。
每秒交易次數
區塊鏈虛擬機的 TPS 限制妨礙了遊戲處理玩家操作的能力。當玩家數量及其行爲超過區塊鏈的 TPS 容量時，就會形成積壓，導致費用飆升和玩家體驗惡化。這有效地限制了單個區塊鏈排序器可以管理的並發玩家數量。爲了克服這些限制，以太坊專注於以匯總爲中心的路線圖，將執行轉移到匯總層。
在匯總上操作我們的世界可以大大增強可擴展性，但如果沒有 zk Proofs，我們仍然依賴於大型共識機制或廣泛的潛在不穩定的信任假設，這會帶來風險。因此，zk 被認爲是擴展的最終解決方案，盡管它尚未完全實現。
與 OP 層相比較情況下的 ZK 層的信任假設。 ZK 假設仍然很強，參與水平較低，允許迷你 zk rollup 存在。
可證明的方法 ——使用遞歸證明和多層協議
任何區塊鏈的目標都是讓用戶對其行爲有絕對的信任。這一原則在業界經常被遺忘；如果我們的目標不是創建去信任的系統，那麼我們的努力還有什麼意義呢？我們不妨依賴中央服務器，它們的功能非常出色。
在我們的 RuneScape 世界中，我們將專注於使用 STARK 首創的遞歸縮放。Tarrence寫了一篇與這個主題相關的深入研究，強調了遞歸證明在維持第2層、第3層協議最小信任假設方面的重要性。
在我們的世界中，我們可以利用遞歸證明來擴展和分割世界，同時確保任何人擊敗的goblin確實是goblin。
粗略圖如下：
讓我們來分解一下。
L1以太坊
我們在這裏確定了最終狀態，因此任何人都可以根據需要重建 L2。這就是每個真正的匯總所做的事情。
L2Starknet
我們在這裏解決了 L3 狀態，因此任何人都可以根據需要重建 L3。這就是我們維護整個世界的狀態的地方。
L3 Realms World或其他 L3
支持玩家全局狀態的高性能執行層。我們在這裏保存 Lumbridge Shards 的最終狀態。這允許在需要恢復玩家平衡時快速創建新的碎片。
Ephemeral Lumbridge 分片
“Ephemeral”意味着暫時的，強調高效、安全地管理每個玩家的遊戲狀態的重要性——這是所有玩家最關心的問題。通過採用鏈分片將每個分片限制爲最多30個玩家（理論上數字可能更高，但此處以這個數字作爲示例），我們鏡像了傳統服務器的結構，並進行了關鍵的增強：利用 zk 證明來確保完整性狀態變化。這使我們能夠水平擴展到數千個分片，而不會犧牲玩家的任何性能。
將此方法應用於 RuneScape
就像傳統遊戲服務器中水平擴展的概念一樣，我們在這裏應用了類似的策略。通過將遊戲世界劃分爲許多較小的分片，我們使系統能夠有效地擴展並能容納數百萬並發用戶。
傳統遊戲服務器與這種方法的主要區別在於，玩家可以完全控制自己的遊戲狀態，從而確保更大的自主權和安全性。每一點狀態都可以重建！
讓我們舉例進行演示：
當玩家到達 Lumbridge 時，他們會被分配到一個具有容量的臨時鏈，促進與多達29個其他玩家的交互，同時通過快速和低成本的交易確保高性能。現在更深入：
- 森林，擁有木材等資源
通過這條短暫的鏈，玩家在前往森林時的移動可以被跟蹤，從而強制執行一定程度的移動物理，我們利用該分片所支持的廉價計算能力來做到這一點。然後他們可以繼續砍柴，增加他們的平衡並升級他們的玩家。
- Goblins和其他低級怪物
Goblins可以通過排序器上的內置遊戲刻度有效地模擬。當遊戲開始時，排序器會推進狀態和他們的位置，直到用戶出現並被殺死。如果我們選擇的話，我們可以佔用大量的分片帶寬，因爲我們限制了玩家的數量，所以我們可以最大化 NPC 的移動。
- 散落各處的物品或怪物掉落的物品
物品可以拾取並存儲在玩家的餘額中。當玩家結束會話時，這些項目將保存到全局狀態。這些值不是臨時的，而是會保存到 L3 以便在下一個會話中使用。
結束會話
在遊戲會話結束時，玩家的狀態通過轉換回 L3 保留在全局狀態中，爲下一個區域或會話奠定基礎。然後在 StarkNet L2 上進行驗證，隨後在 L1 上進行驗證，有效地建立了一個可證明公平的 RuneScape。現在，下一步就是實現這一願景……
我們正在構建的整個堆棧都是開源的 - 現在加入dojo discord或直接爲core做貢獻。
這些層之間的橋接怎麼樣？這對於玩家來說豈不是一場噩夢嗎？
是的，目前橋接是有問題的。然而，這個問題有一個明確的解決方案，已經在 Starknet 生態系統中使用，並將很快在其他第2層協議上提供。這些被稱爲存儲證明。是的，我正在嵌入我自己的推文。第2部分文章將討論這一點：
https://twitter.com/lordOfAFew/status/1762796441494520267
爲什麼遞歸證明和臨時鏈優於其他方法？
首先要說明的是，這是 Dojo、Cartridge 和 Realms 生態系統正在採用的方法，用於擴展我們設想的世界。值得注意的是，這並不是唯一的方法，探索多種方法總是會更好。我認識的一些最聰明的人也在解決這個領域最具挑戰性的問題，他們的工作絕對值得一看。
- Lattice - 帶有 Redstone 的 OP Plasma 可以實現非常便宜的交易。
- Playmint - 獨特的樂觀引擎可實現快速的遊戲玩法
- PoP - 定制EVM分片
- Argus - 自定義EVM遊戲碎片
- Curio - 修改了 EVM 服務器方法
結語：回到Runescape
創建一個能夠支持數百萬並發玩家且免費開放的 RuneScape 並不是一件容易的事。然而，鏈上遊戲行業的集體智慧和創造力具有強大的力量。因此，可以合理地預測此類遊戲和其他遊戲將在未來半年到一年內出現。是時候回到 RuneScape，或者更恰當地說，迎接 RealmScape 的到來了。 ;)
聲明：
- 本文轉載自[@lordofafew]，原文標題《Provable Goblins》，著作權歸屬原作者[ @lordofafew ]，如對轉載有異議，請聯系Gate Learn團隊，團隊會根據相關流程盡速處理。
- 免責聲明：本文所表達的觀點和意見僅代表作者個人觀點，不構成任何投資建議。
- 文章其他語言版本由Gate Learn團隊翻譯， 在未提及Gate.io的情況下不得復制、傳播或抄襲經翻譯文章。
Articles connexes
什幺是山寨幣