BTC 從被動存儲到原生收益：Alea 深度解讀 GOAT Network 如何打造安全的 BTCFi 新範式

概覽

GOAT Network 是一個比特幣原生 zkRollup，旨在將$BTC 從被動的價值儲存轉變為可持續產生收益的資產。該生態網絡採用 Type-1 zkEVM 架構，既保證了對 EVM 的全面兼容，又在運行過程中繼承了比特幣的原生經濟安全性。

GOAT 的技術架構由三部分構成：

1. Ziren：用於高性能 ZK 證明生成；

2. GOAT BitVM2 驗證層：專為 zkRollup 設計，該層提供操作員雙花抵抗，支持去中心化排序，並依靠多輪隨機挑戰協議在 24 小時內實現經濟終局性；

3. 去中心化 PoS 排序器網絡：通過罰沒機制實現抗審查，並保障網絡持續運行。狀態承諾與挑戰腳本的強制執行由 BitVM2 實現，相應ZK證明提交到比特幣網絡。

GOAT 採用通用操作員模型，所有參與者輪流擔任排序者（sequencer）、證明者（prover）、發布者（publisher）和挑戰者（challenger）的角色，通過交叉補貼平衡成本與收益。

所有 Gas 費用以$BTC支付，輪換的 PoS 排序器將這些費用與區塊獎勵和所捕獲的 MEV 一起循環分配給參與者，形成以 $BTC 計價的真實收益。這一機制將收益生成與真實網絡使用直接掛鉤，構建出一個以活動驅動的經濟模型。

問題陳述

$BTC 被視為一種安全且具備流動性的資產，主要用於長期價值儲存。然而截至目前，仍然未出現真正可靠的機制，能夠讓人們在鏈上直接獲得以比特幣計價的收益。大多數尋求收益的 $BTC 持有者不得不依賴中心化金融（CeFi）方案，或將資產轉換為由托管方持有、在其他鏈上發行的封裝代幣。

儘管這些方法已被廣泛採用，但它們引入了對第三方的信任假設，背離了比特幣的透明性和自我托管原則。其所提供的收益也並非原生收益，通常來自代幣增發、流動性挖礦計劃或其他協議（如以太坊或其他 L1 鏈）發行的質押獎勵。在許多情況下，底層收益活動涉及借貸、複雜的 DeFi 策略或波動性較高的資產敞口。

此前構建比特幣二層解決方案（包括 Rollup）的嘗試，暴露出諸多經濟和運營層面的挑戰。許多設計將交易排序和狀態驗證等角色集中於少數參與者，帶來中心化風險，並為數據發布、欺詐檢測和狀態驗證等高成本角色設計了薄弱的激勵結構，而這些角色對構建可信、長期的公共基礎設施至關重要。此外，資金退出至比特幣的主網過程可能長達兩週，限制了資本效率，也損害了用戶體驗。

價值主張

GOAT Network 致力於將比特幣從一種被動的價值儲藏轉變為能夠產生收益的活躍資產，同時不犧牲其去中心化、無需信任和安全性等核心原則。

通過將 $BTC 用作 Gas，並整合去中心化排序器和信任需求最小化的橋接，GOAT 構建了一個以比特幣為安全錨定的網絡，為 $BTC 持有者帶來真實收益。用戶可質押 $BTC、$DOGE 和 $BTCB（未來將會支持更多代幣），賺取來自鏈上 Gas、MEV 和 dApp 活動的獎勵。

GOAT Network 確保用戶擁有無條件的退出權：任何用戶均可隨時通過原子交換將任意數量的資產從比特幣二層網絡提取至一層，從而提升安全性、資本效率和用戶體驗。

• 無需比特幣分叉：GOAT 運行在原生比特幣腳本上，充分利用增強的 BitVM2，無需對比特幣協議本身做出更改。

• 去中心化排序者（操作員）：與許多依賴單一中心化實體的 Rollup 不同，GOAT 上的排序者通過輪換機制承擔多重角色（驗證、排序和壓縮交易）。

• 實時ZK證明：GOAT 採用自研 Ziren 技術生成有效性證明，最終將 ZK 證明提交至比特幣進行結算和驗證。

• 原生 $BTC 收益：$BTC 作為 Gas 代幣，確保比特幣二層網絡活動產生的收益（費用）可直接作為獎勵返還給質押者，構成收益模型的基礎。

• 多資產質押：目前用戶可質押 $BTC、$DOGE 和 $BTCB（BNB 鏈上的 $BTC）。

• 排序者獎勵代幣化：排序者獎勵被封裝為 $yBTC，這是一種生息型 $BTC 衍生品，可進行交易或拆分為本金本金和收益，共同構成 $BTC 收益市場的基礎。

技術概覽

GOAT Network 通過鏈下計算（在 GOAT 上）與鏈上驗證（在比特幣上）相結合，擴展了比特幣的功能，且無需更改比特幣共識規則。BitVM2 作為鏈下欺詐證明系統，利用 Tapscripts、一次性簽名和預簽名交易，在比特幣上強制執行二層網絡狀態有效性。當操作員將聲稱的二層網絡狀態以比特幣 UTXO 形式發布後，可在特定時間窗口內使用 BitVM2 發起挑戰。這是對原始 BitVM 協議的升級，它消除了兩方限制，允許任何參與者對無效計算提出質疑。

排序者運行 Ziren 生成新的二層狀態後，會在比特幣上發布一個 Tapscript UTXO。這個 UTXO 記錄最新狀態，並包含兩個分支：無人挑戰時用於確認，有欺詐時用於否定。這些路徑隨後與 BitVM2 的一組預簽名交易結合使用，以便在潛在挑戰期間強制執行驗證步驟。

在樂觀計算假設下，挑戰者會持續監控發布在比特幣上的 UTXO，並通過多輪隨機挑戰機制驗證交易，以檢測潛在的欺詐。

在更高層的流程上，GOAT Network：

1. 在本網絡上執行 EVM 計算；

2. 使用 Ziren 將結果（二層網絡狀態）壓縮為簡潔的 ZK 證明，最終提交至比特幣主網；

3. 向比特幣主網寫入一筆 Taproot 鎖定的 UTXO，其中承載 ZK 證明，並在腳本層集成 BitVM2 的爭議路徑邏輯；

4. 允許任何人借助 BitVM2 的欺詐證明機制，對無效的狀態轉變進行挑戰。

GOAT 設計的核心是其自研 zkVM------Ziren。Ziren 將 GOAT 上的 EVM 交易轉換為恆定大小的 Groth16 證明，並發布到比特幣主網上。GOAT的Ziren 大幅縮短了證明生成時間，使 BitVM2 在比特幣上zkRollup中的實用化成為可能。

在解決了計算與證明層的核心問題之後，GOAT 進一步在網絡運行機制上進行了制度化設計。一言以蔽之，GOAT 引入了通用操作員模型，將排序者、證明者、操作員、發布者和挑戰者（sequencer、prover、operator、publisher 、challenger）等多個角色合併到一個由質押參與者組成的統一池中，以此平衡不同角色的風險與收益。該模型通過角色輪換實現成本與收入的動態均衡，進而降低了小節點的參與門檻，增強去中心化程度，並強化整體網絡穩定性和安全性。網絡由去中心化排序者打包交易、排序二層區塊，並將狀態根與證明哈希提交到比特幣。

當向比特幣提交 UTXO 時，操作員需要抵押保證金；一旦該操作員被挑戰並被證明錯誤，該保證金將被罰沒。GOAT 的樂觀機制意味著，Tapscript 的觸發權掌握在挑戰者手中，而不是系統自動執行。若無挑戰，這些腳本保持休眠，執行與否取決於實際爭議是否發生。

計算層

Type-1 zkEVM 與改進的 Op-geth 執行引擎

GOAT 屬於Type-1 zkEVM，它能夠為標準的 EVM 交易生成有效性證明。

不同類型 zkEVM 的對比圖，展示從 Type-1 到其他設計在兼容性和性能之間的權衡。

GOAT 的執行層將 op-geth（以太坊 EVM）改造後應用於比特幣，使 EVM 智能合約得以運行。共識層運行 CometBFT（現代的 Tendermint）。當一筆交易進入排序器的私有內存池後，驗證者運行一輪 BFT 共識以就下一個區塊達成一致。Op-geth 隨後執行該區塊，當 ≥2/3 驗證者簽名後，區塊即被最終確定；只要故障驗證者少於 1/3，區塊即可保持正常運作。

Ziren 證明生成

Ziren 是 ZKM 構建的 zkVM，運行在穩定、確定性的 MIPS32r2 指令集上，已經達到生產級別。這樣開發更方便，如果應用邏輯已經審計過，就不需要再重新審計 ZK 證明電路。

Ziren 不依賴特定的體系結構。其核心模塊包括 zkCompiler、證明器和驗證器，這些模塊相互協作，將高級代碼轉化為多項式，生成 ZK 證明，並通過智能合約或比特幣契約在信任需求最小化的環境中加以驗證。比特幣契約的本質，就是讓一個 UTXO 可以限定未來的支出規則。

Ziren 具備分段驗證電路能力，可壓縮公共輸入的承諾數據，同時以密碼學提示降低比特幣腳本複雜度。憑藉這些優化，GOAT 能夠依托比特幣原生腳本構建挑戰式驗證模型。

ZKM 的去中心化證明網絡把這些初始 Ziren 證明作為根證明，先用聚合證明器完成聚合，再交給 SNARK 證明器，轉換成簡潔的 Groth16 zkSNARK 證明。得益於GPU 加速與流水線化證明架構，處理包含一百筆交易的區塊時，證明生成大約僅需四十秒。

證明生成流程

整個證明流程被拆解成若干子任務。Minigeth、zkML 等程序被編譯為 MIPS ELF 二進制後，將發送至由 Stage Service 管理的任務池，由其拆分並分派給證明器執行。證明系統由三類組件組成，根證明器用於生成 Ziren 證明，聚合證明器負責合併，SNARK 證明器輸出 Groth16 證明，最終發送至 GOAT 節點。

最終生成的 Groth16 證明由操作員提交至比特幣主網。在 BitVM2 中，SNARK 在鏈下進行驗證，而爭議的結果通過預先簽署的交易路徑在鏈上強制執行，從而避免了在腳本層面進行 SNARK 檢查，既保留了比特幣的安全性，又在主網上支持對比特幣二層網絡的挑戰。

驗證與爭議

BitVM2 樂觀驗證

BitVM2 是 GOAT 的鏈上驗證與跨鏈協議。它並非直接執行計算，而是對計算結果進行驗證，這在概念上與樂觀 Rollup 相似。結合 Ziren 與去中心化排序機制，BitVM2 實現了高效且安全的比特幣 zkRollup。該協議通過預先簽署的交易與一次性簽名來實現可編程性。

GOAT Network 的樂觀計算模型讓比特幣與 GOAT Network 之間的資產能以安全和去中心化的方式流動。協議的安全性建立在三方面：首先，一次性 Winternitz 簽名方案確保交易的完整與不可篡改；1-of-n 誠實假設防止資產盜竊；跨越 GOAT 與比特幣兩層的雙重懲罰機制，使違規行為的代價成倍增加。

在爭議過程中，啟動、挑戰、斷言和反證四個階段分別對應 Tapscript 樹中的葉子節點。每個葉子都使用一次性 Winternitz 簽名（WOTS）和配套的 Tapscript。相關密鑰預先生成並簽署，保證每一步只使用一次。所有葉子節點組合成一棵 Merkle 樹，再與內部密鑰結合生成 Tapscript 輸出密鑰。這樣既能壓縮鏈上結構，又不會在分支被使用前暴露爭議邏輯。

在隨機多輪挑戰期內，任何人都可以抵押保證金並調用挑戰腳本對操作員提出質疑。操作員必須提交計算軌跡來證明正確性。若挑戰成功，挑戰者將獲得操作員的保證金；若失敗，挑戰者的保證金被罰沒。

該機制能夠快速選出順位挑戰者。如果前一個挑戰者對欺詐無所作為，而後一個挑戰者採取了行動，那麼前者將被處罰，後者得到獎勵，從而建立一個高效且安全的經濟激勵體系。

BitVM3

*如之後的文檔中提及 BitVM2-GC，其所指的機制與 BitVM3 相同。

BitVM3 是比特幣鏈下 SNARK 證明驗證的自然演進，建立在 BitVM2 與 Delbrag 協議等模型的基礎之上。BitVM2 引入了樂觀計算模型，而 Delbrag 則使用了 Yao 的混淆電路（GC）來處理 Groth16，不過二者在擴展性和可用性上均存在不足。

早期的跨鏈橋需要高額的鏈上抵押，導致大量資本被占用。BitVM3 通過引入 BitHash 並將大部分計算通過混淆電路轉移到鏈下，把成本削減到一百美元以下。挑戰者的鏈下存儲需求大約是 280GB，但成本不到 10 美元，進一步加強了在經濟上的可行性。

表格：BitVM3 與 BitVM2 的特徵比較

協調與基礎設施

去中心化 PoS 排序器網絡

GOAT 是比特幣原生 zkRollup。網絡會根據質押比例，以隨機輪換的方式挑選出排序者。操作員可能在某一周期承擔證明者或發布者等高成本角色，而在另一周期擔任排序者進而賺取交易費用。借助這一機制，沒有操作員能夠長期壟斷排序權，從而保障了經濟激勵的均衡，也使網絡更加穩健。

輪換機制還降低了門檻。資源消耗較大的任務不會長期由同一操作員承擔，使小型節點也有機會進入網絡，進一步鞏固了去中心化基礎。如果某個運營節點宕機，系統啟用輪換機制重新指派職責，以此保證網絡持續運作。

排序者需接受質押與懲罰約束。如果未能履職，例如錯過區塊提議或出現宕機，他們會被跳過並受到懲罰，而網絡則自動交由下一個合格節點繼續執行。

通用操作員抽象與經濟模型

通用操作員抽象由去中心化排序者的概念發展而來。它把單一的排序角色擴展為一個統一系統，讓同一組操作員同時負責所有核心任務。

二者的主要差別在於覆蓋範圍和激勵方式。去中心化排序器只負責交易排序的分布，而通用操作員模型會將所有關鍵角色都納入輪換與分配。

操作員必須質押 $goatBTC（即 GOAT 上的$BTC）才有資格參與，並對自己的角色負責。若排序者雙簽、離線或作弊，協議會銷毀其質押並凍結節點。相關腳本將自動執行懲罰，防止操作員提前退出，同時對誠實行為進行激勵。

某些特定職責，如發起挑戰或在比特幣主網上創建相應的 UTXO，參與者需要在腳本樹中額外鎖定一筆保證金。任何人都可以挑戰操作員，但若挑戰失敗，挑戰者的保證金將歸操作員所有。若早期挑戰者未能發現欺詐而後續挑戰者成功證明，則前者也可能被懲罰。所有罰沒資金都將進入委員會，再由委員會在二層網絡獎勵成功的挑戰者。

排序周期的利潤可用來覆蓋證明和發布的成本。操作員偶爾會承擔高成本任務，但憑藉其他周期的收益以及角色的周期性輪換，這些負擔能夠被有效平衡。通用操作員抽象因此降低了所有角色的參與門檻。

信任需求最小化的比特幣--GOAT 跨鏈橋

該橋接協議允許比特幣和 GOAT Network 之間進行安全的資產跨鏈，在既定安全假設下，系統中的錨定資產始終無需依賴托管。

GOAT BitVM2 是該架構的核心，運行邏輯建立在1-of-n（至少一方誠實）的假設之上。所有計算均在鏈下執行，而比特幣僅在爭議發生時介入，通過腳本完成結果驗證。

由操作員組成的去中心化自治組織 GOAT Federation 負責審核退出請求並觸發鏈下計算。操作員在跨鏈提現時承擔證明者的角色，為二層網絡到主網的提現生成有效性證明。該橋支持兩種資產轉移類型：Peg-In（從一層到二層的存入）與Peg-Out（從二層到一層的提取）。

Peg-In（比特幣到 GOAT Network）

• Peg-In 過程使用簡化支付驗證（SPV）來確認用戶的比特幣交易。用戶發起一筆比特幣交易，支付至帶 1-of-n 誠實假設的 Taproot 腳本，操作員則準備兩筆預簽署交易，作為後續執行時的保障路徑

• 中繼節點把最新的比特幣區塊頭傳給 GOAT 節點，後者在智能合約中保存 SPV Merkle 根。用戶再提交申領請求和 SPV 證明。通過驗證後，二層權益證明層（ PoS 層） EVM 會鑄造等值的封裝代幣，而原始$BTC依然鎖在多簽腳本裡。

Peg-Out（GOAT Network 到比特幣）

在一般的 Peg-Out 中，用戶請求提取 $BTC，操作員會先通過原子交換立刻把比特幣給用戶。操作員再向 Peg-out 池取回相應比特幣，並提交證明。

• GOAT 每個確認區塊都會附帶有效性證明、挑戰腳本和資產腳本，並由操作員提交到比特幣鏈。流程分為三步：用戶發起、提交證明、進入挑戰期。

• 挑戰期內，任何用戶可通過抵押（如 0.5 $BTC）質疑該請求，要求操作員披露中間計算步驟。若欺詐被證實，挑戰者獲得部分操作員資金，更大部分被銷毀；若挑戰失敗，挑戰者抵押金被沒收，操作員在延遲後全額收回。

• 資金最終通過多簽贖回腳本釋放，這一腳本會在挑戰期順利結束時自動生效。Peg-out 的執行過程通過 MAST 和 Tapscript 提交，每個葉子節點編碼一個計算步驟，使驗證者可以在出現矛盾時提交欺詐證明。

• 多輪隨機化挑戰機制能夠迅速選擇順序挑戰者，以完成審批。

數據可用性層

在 GOAT 網絡中，數據可用性由一個去中心化的排序者承諾機制來保證，該機制與 BitVM2 集成運作。它並不依賴單一的中心化實體來發布狀態數據，而是定期將完整的排序者名單（包括未來兩週內的排序者公鑰）通過 Tapscript 交易提交到比特幣主網。

這種承諾方式使任何參與者都能夠驗證排序者簽名數據的真實性，並據此重建完整的二層狀態。排序者的所有輸出都會簽名並與鏈上的名單綁定，因此輕客戶端和監控節點可以獨立完成驗證和獲取更新，而無需依賴某個中心化方。這樣就確保了狀態數據始終能夠被任何誠實參與者恢復或質疑。

在此架構中，BitVM2 借助 Ziren 來驗證二層區塊執行，以此完成欺詐證明。而斷言會參考鏈上提交的排序者名單，使挑戰者能夠確認狀態轉換既有效又可用。

目標市場

比特幣創立的初衷是成為一種無需許可、抗審查的點對點貨幣。這一設計選擇優先考慮去中心化和安全性，而非高吞吐量和靈活性，造成了區塊空間有限、底層腳本能力不足的弊病。隨著收益需求上升，而主網始終無法實現豐富的可編程性，DeFi 活動便逐漸轉向鏈下借貸平台和其他更可編程鏈上的封裝 $BTC，帶來了額外的信任、托管與審查風險。

為了解決這些矛盾，新一代比特幣二層網絡誕生。它們依靠比特幣主網完成結算，同時在二層引入 EVM 級別的可編程能力和更高的處理效率。在這樣的二層系統中，$BTC（原生或映射形式）可以用來支持借貸、交易所、衍生品、合成資產和收益結構，既能做微交易，也能跑複雜合約。鑑於 $BTC 是最大加密資產，具有深厚流動性和持續收益需求，這些平台自然吸引用戶和開發者。

隨著使用規模擴大，比特幣主網的信譽與安全性，與二層的擴展功能相結合，可以將大量閒置資金轉變為機構層面的生產性資本。各國政府、財政部門以及以社會影響為目標的組織，已經開始探索如何把比特幣二層網絡納入公共項目，例如國家財政優化、社會服務和氣候韌性建設，同時仍將最終結算錨定在比特幣鏈上。

主要用戶

GOAT 的用戶包括尋求收益的個體和機構 $BTC 持有者，也為 $DOGE 持有者提供類似機會。我們服務於DeFi 用戶、流動性提供者以及 EVM 構建者，每類群體都享有不同的潛在收益，也需面對各異的風險。

用戶可在 GOAT 上選擇不同的 $BTC 收益生成策略：

• Safebox 方案：面向既想確保比特幣投資安全、又不想失去自我托管權的人。存入後，用戶在錢包裡會收到一筆帶時間鎖的 UTXO，等鎖定期結束後就能支配 BTC。

• BTCB/DOGEB 金庫：通過排序者獎勵和 Gas 費獲取收益。

• 排序者 PoS 質押：收入來自 Gas 費、排序獎勵和 MEV。

• BTC 衍生品與 DeFi 收益：比如借貸、流動性質押、做市等。

代幣化機制

由排序者獲得的收入會轉化為 $yBTC，該資產可以進一步分解為本金 $pBTC 與 $yToken，即將純粹的收益部分與本金分離。

收益機制運作如下：

1. 用戶需將 $BTC 質押至系統（經由排序者抵押池），由此生成最初的收益資產 $yBTC。該資產隨後可進一步分解為 $pBTC 與 $yToken。

2. 系統鑄造 $yToken 和 $pBTC。

3. $yToken 代表收益部分。
   用戶可以選擇：

• 持有 $yToken 積累收益；

• 在市場上出售 $yToken；

• 持有 $pBTC 至到期贖回底層 $BTC。

收益與本金分離，在鎖定期結束前可自由交易或使用。$yToken 不代表固定數量的 $BTC，而是對未來以 $BTC 計價收益份額的索取權，份額數量未知且可變。

經濟設計

GOAT 的經濟模型圍繞四個核心理念構建，確保系統安全、公平且能夠為參與者提供回報：

• 以 $BTC 計價的 Gas 費用；

• 去中心化序列器架構；

• 權益證明（PoS）機制；

• 將各部分相互銜接的綜合性技術與經濟框架。

GOAT 收入主要來自鏈上活動。排序者獲取的費用會轉換成 $yBTC，同時，當資金從 GOAT 跨回比特幣主網時，還會在金額上收取固定比例的服務費，外加比特幣的 Gas 費。

GOAT 的收益來自用戶在其應用生態中的鏈上互動與交易活動。活動越多，Gas 和 MEV 收入越高，質押者的回報也就越多。排序者按質押隨機輪換產生，他們為了增加質押量和提升當選區塊提議者的機會，會傾向於分配更多收益。高收益吸引更多人參與質押，也促使資金跨入 GOAT 生態。

通用操作員機制在收入與成本之間實現平衡，達成激勵上的穩定。操作員必須在 GOAT 網絡中質押，因此需要持有 $goatBTC。輪換、質押以及經濟回報相結合的機制有效運行後，系統即構建了一個激勵循環。

風險與保障

GOAT Network 的架構結合了比特幣腳本、BitVM2 挑戰協議、Ziren ZK計算和去中心化排序者輪換。儘管設計目標是提供更高的安全性和擴展性，但每個環節都面臨著潛在風險。網絡層上，跨鏈橋腳本、證明驗證器或挑戰邏輯的缺陷可能危及二層網絡所有交易和資產的完整性。在應用層，GOAT 上的 dApp 和一般智能合約一樣，會受到邏輯漏洞或攻擊利用的威脅。

此外，GOAT 的收益機制（如 Safebox 和質押）需要依靠用戶持續使用和交易量支持。一旦活躍度下降，收益循環會受到影響，激勵減弱，生態可能走弱。下表列出了關鍵風險點及緩解措施。

從鏈級和 DeFi 級兩個維度，對風險與保障進行了分類說明：

常見問題

問：什麼是 GOAT Network？它對比特幣有何增強作用？

答：GOAT Network 是首個去中心化的比特幣二層網絡，在保持比特幣安全性的同時實現智能合約、dApp 和原生 $BTC/$DOGE 收益。該系統利用 BitVM2 實現信任需求最小化的計算，依靠 Ziren 完成高效證明生成，並通過去中心化排序機制確保安全和開放的交易排序。

問：GOAT Network 如何確保安全性和去中心化？
答：GOAT 通過 BitVM2 繼承比特幣安全性，無需分叉底層鏈即可在比特幣上驗證證明。利用去中心化排序、雙重罰沒機制和樂觀計算防止欺詐並確保誠實行為。

問：GOAT 如何處理資產跨鏈？
答：用戶將 $BTC 存入多重簽名地址，提交 SPV 證明後在 GOAT 上接收封裝 $BTC（$goatBTC）。提現時銷毀封裝 $BTC，生成ZK證明，挑戰期結束後即可釋放資產。BitVM2 通過原子交換提供原生安全性。

問：序列器節點的作用是什麼？如何獲得獎勵？
答：序列器負責交易排序、區塊生產、ZK 證明生成和安全性承諾。排序者直接獲得$BTC 作為獎勵，但如果存在惡意行為則會面臨懲罰。

問：什麼是 Ziren 和 ZKM？
答：Ziren 是基於 MIPS 的 zkVM，支持快速、兼容 EVM 的智能合約執行並生成可驗證的證明。ZKM 通過分層 zkSNARK 架構處理證明生成、資產跨鏈和高效比特幣驗證。

問：GOAT 的收益模型如何為 $BTC 和 DOGE 持有者服務？
答：用戶通過 $BTC 計價的 Gas 費、排序者獎勵和代幣化收益（如 $yBTC/$yDOGE）獲得可持續的原生比特幣收益。

問：開發者有哪些可用工具？
答：開發者可用 Solidity 編程，通過 Hardhat 部署，接入 GOAT 測試網、測試代幣水龍頭、核心合約和詳細文檔。GOAT 使用 $BTC 作為 Gas，內置預言機、跨鏈橋和完整 EVM 兼容性。

原文鏈接