GOAT Network推出了一個新的34 BTC試點基金，以支持流動性激勵和我們社區的增長。 這是比特幣第二層網絡首次承諾將其自己的BTC國庫用於生態系統激勵。 雖然其他比特幣生態系統項目有時會發行自己的代幣，但它們並沒有提供原生BTC收益——這是最大的、最成功的流動性提供者所必需的。 承諾我們自己的BTC國庫展示了對可持續生態系統建設的承諾，這在比特幣第二層領域是獨一無二的。 這個BTC試點基金也是我們GOAT Network生態系統發展基金啟動前的熱身，該基金將在2025年第四季度上線，起始價值為數千萬。 繼續閱讀以了解更多信息！

ZKM 博客新文章：多變量求和檢查協議 - 第 2 部分 本文提供了關於多線性擴展的實用指導，涵蓋兩種表示形式，並提供可實施的評估、加法和逐元素乘法程序。 它討論了表示的權衡、內存/運行時行為，以及如何將這些步驟集成到證明者/驗證者管道中，而無需不必要的轉換。 閱讀第 2 部分：

⚡ Ziren 實時證明：ZK 的一個重大里程碑 @ProjectZKM 的首席技術官 @sd_eigen 介紹了實時證明技術。 1️⃣ ZKM 的 Ziren 利用 MIPS32r2；這是 ZK 最穩定和指令效率最高的通用指令集架構 2️⃣ Ziren 是第二個在 @eth_proofs 上啟動的 zkVM，積極展示了超快的證明生成 3️⃣ 實時證明已經在 @goatrollup 上線，這是一個原生 Bitcoin zkRollup，並且即將在以太坊主網上推出。

本週的回顧集中在 Ziren 如何悄然為 @GOATRollup 提供即時 Bitcoin rollup 的動力，團隊如何推出了一個瀏覽器原生驗證器，並在舊金山的 @frontiertower 舉辦了一場開發者研討會。 我們還在 @HouseofZK Radio 上概述了通往可驗證 Bitcoin 經濟的路徑，並標記了即將出現在 @ETHshenzhen 和 @BitcoinConfAsia 的活動 👇

ZKM核心團隊的一些成員最近與@GOATRollup合作，舉辦了系列@frontiertower活動的首次會議。 此次在舊金山舉行的研討會主要集中在Ziren的集成路徑，為理解GOAT網絡上的實際部署和ZKM證明堆疊中的即將推出的功能奠定了基礎，整個過程中吸引了強烈的觀眾參與。 一些關鍵亮點： 🔸 技術更新 – 教育負責人@alicelingl介紹了最近Ziren的進展：Golang相容性、基於WASM的驗證和擴展的預編譯支持。Alice還提供了一個現場演示，展示了使用Ziren生成和驗證證明的過程。 🔸 Ziren作為基礎設施 – 首席科學家@DacEconomy概述了Ziren在促進新一波基礎設施中的角色，並提供了其在GOAT網絡中集成的技術見解。 🔸 Bitcoin原生Rollup模型 – COO及GOAT網絡核心貢獻者@sophianeverfold提供了GOAT經濟設計的高層概述，結合去中心化的排序器、Ziren和BitVM2，以提供可持續的BTC收益，然後深入探討了Bitcoin L2的許多其他用例。 🔸 端到端堆疊 – 火邊會話討論了Ziren從最初構建到支持GOAT實時Bitcoin rollup的演變，包括構建完整證明管道的挑戰和解決方案。 請繼續關注ZKM合作項目在灣區的更多即將舉行的活動：

Ziren 的驗證器現在可以在瀏覽器中運行： 產品解鎖包括： 🔸 透過錢包、瀏覽器和去中心化應用程序進行獨立檢查，無需信任後端 🔸 可重複的審計（相同的 Rust 驗證器編譯為適用於網頁的 WASM，其他地方為本地版本） 🔸 單一 SDK 提供多種證明覆蓋（STARK、Groth16、Plonk） 🔸 毫秒級驗證以支持完整的 L1 @ethereum 區塊證明，適合互動式用戶體驗 如果您正在構建信任最小化的前端或在關鍵操作旁邊添加“驗證”按鈕，這將是最簡單的路徑。 自信構建，無妥協部署： Ziren STARK 驗證器 NPM 包：

ZK電台第67期：Ming Guo，ZKM的聯合創始人兼首席科學家 - 現已在Spotify和YouTube上發布 🔳 在這一集中，@alicelingl與@DacEconomy - @ProjectZKM的聯合創始人兼首席研究科學家 - 坐下來討論零知識如何從@ethereum轉向Bitcoin，以及一個由可驗證計算保障的Bitcoin經濟究竟是什麼樣的。 Spotify： YouTube： 內容包括： • ZK進展：交易隱私 → 一般電路 → 近實時證明的zkVM • ZKM基於MIPS的zkVM設計對性能、穩定性和驗證的重要性 • 基於BitVM2的Bitcoin L2架構，如@GOATRollup，以及為什麼L2是可編程性的安全途徑 • “通用結算”：可驗證計算作為去中心化應用的基礎 • 可編程的問責制和激勵與傳統的“信任一方”模型 • 開發者用戶體驗：從zkDSL到編寫普通代碼並在zkVM中證明執行 • 超越“價值儲存”：收益、穩定資產，以及與Bitcoin錨定的鏈上活動而不妥協L1安全性 如果你在Bitcoin或ZK上構建，這一集為堆棧、權衡和從單純持有BTC到實現一個功能性、可驗證經濟所需的條件提供了清晰的框架。

ZKM 的 zkVM，Ziren，是即時 [Bitcoin] zkRollups 的隱藏引擎 🟠 基於穩定的 MIPS32r2，並由分散式、GPU 加速的證明提供支持，Ziren 以速度和效率將開發者代碼轉化為可驗證的證明。 了解更多：

在今天於舊金山舉行的@frontiertower活動的最後一次演講中，ZKM聯合創始人兼首席科學家@DacEconomy將闡明Ziren在構建下一代去中心化Web3基礎設施中的作用 🟠 🗓️ 今天（8月20日），下午2點至5點 RSVP:

在我們即將舉行的舊金山活動中，@alicelingl、@DacEconomy 和 @sophianeverfold 將回顧迄今為止的旅程——從 ZKM 的 Ziren 的初步構建，到將這一穩定且高效的基礎擴展到 @GOATRollup 的實際應用。 🗓️ 8月20日，下午2點-5點 📍 @frontiertower，舊金山 討論將涵蓋構建完整端到端堆疊的歷史和挑戰，然後提供獨家見解，講述這條道路接下來將走向何方。 請回覆確認：