Gate News 消息，5 月 28 日，據 Gate 行情顯示，截至發稿時，BOB（BOB）現報 0.0093 美元，24 小時內上漲 28.12%，最高觸及 0.0114 美元，最低回落至 0.00706 美元，24 小時交易量達 124.63 萬美元。目前市值約為 2064.38 萬美元。 BOB 正在構建通往比特幣 DeFi 的大門，為全球最重要的資產解鎖真正的實用價值。透過將比特幣無與倫比的安全性與以太坊的靈活性相融合，BOB 打造了比特幣流動性、應用和機構資金的首選目的地。BOB 的混合鏈獨特地將 ZK 零知識證明與 BTC 質押相結合，建立了同時通往以太坊和比特幣（BitVM）的原生橋梁。BOB 的多鏈閘道讓用戶可以將比特幣兌換成任意資產，或直接存入橫跨 11+ 條鏈的 DeFi 協議，由 BTC 意圖（intents）驅動。 此消息不作為投資建議，投資需注意市場波動風險。

Gate News 消息，據 Gate 官方公告，Gate 推出的鏈上交易聚合平台 Gate Alpha 新增上線 6 個代幣交易對，包括金靴杯（BSC 公鏈）、GOSLINGS（SOL 公鏈）、BUFFDON（SOL 公鏈）、KINS（SOL 公鏈）、HARAMBE（SOL 公鏈）和 SQUIRE（SOL 公鏈）。 Gate Alpha 是一個鏈上交易聚合平台，支援 SOL、ETH、Gate Layer、BSC、Base、SUI、ARB、World Chain、AVAX、Polygon、LINEA、ZK、OP、Berachain 等多條主流公鏈。使用者可在 Gate 應用或 Web 端輸入代幣名稱或合約地址查看即時行情與 K 線數據，使用 Gate 帳戶資產完成交易，無需手動切換公鏈或錢包。 Gate Alpha 積分制度基於使用者在 Gate 平台及 Alpha 生態內的資產持有與交易活躍度生成，積分值為過去 15 天內每日積分的累計總和。積分將決定使用者參與 Alpha 區代幣空投和限時活動等權益的資格。

根據 PANews，5 月 28 日 Vitalik Buterin 分享了他自主管理語言模型（LLM）設置的最新進展，強調以太坊基礎設施與人工智慧之間的交集正在擴大。他提到 Deepseek V4 的 2-bit 量化版本在蘋果硬體上可在 90GB 記憶體內以約每秒 35 個 token 的速度運行，但在 AMD 上則只有每秒 7 個 token，並強調多硬體供應商支援是區分「去中心化 AI」與「CROPS AI」的關鍵。聚焦於 Lean 程式碼編寫的 Mistral Leanstral 模型同樣可在 70GB 下運行，其效能也可媲美 1T 參數模型。 Vitalik 進一步闡述形式驗證在提升程式碼安全性方面的作用，提出由 AI 輔助的形式驗證能夠提供適用於 STARKs、共識演算法與 EVM 元件的「端到端」安全性證明。他指出區塊鏈與 ZK-SNARKs 提供開放可驗證性與隱私可擴展性，而將 AI 與形式驗證結合則能在恢復準確性的同時提升程式碼效率，形成互補的技術堆疊。

Gate News 消息，5 月 27 日，据 Gate 行情显示，截至發稿時，MAPO（MAP Protocol）現報 0.00258 美元，24 小時內上漲 85.08%，最高觸及 0.0024 美元，最低回落至 0.00117 美元，24 小時交易量達 3.02 萬美元。當前市值約為 1599.55 萬美元。 MAP 協議是建立在 ZK 輕客戶端基礎上的比特幣網路互操作層。它是比特幣生態系開發者和使用者的閘道，也是不同比特幣 L2 以及比特幣生態系與 EVM 和非 EVM 生態系實現互操作的最佳途徑。 MAPO 近期重要消息： 1️⃣ 跨鏈橋遭受重大安全漏洞，價值控制權面臨威脅 Butter Network 跨鏈橋在以太坊和 BSC 上遭遇攻擊，攻擊者利用 Butter Bridge V3.1 合約的 Solidity 漏洞，向新建立的 EOA 地址鑄造了約 1000 兆枚 MAPO 代幣，規模為合法供應量（2.08 億枚）的 480 萬倍。攻擊者透過偽造跨鏈訊息，使用經修改的「重試」資訊繞過驗證機制。此事件凸顯了專案在跨鏈橋接層面存在的嚴重程式碼安全隱患。 2️⃣ 應急回應機制

Gate News 消息，据 2026 年 5 月 26 日 Gate 官方公告 Gate 即将上线 Citrea (CTR) 现货交易与闪兑交易。现货交易将于 2026 年 5 月 26 日 21:00 (UTC+8)开始，闪兑交易于同日 22:00 (UTC+8)启动，预计于 2026 年 5 月 27 日 21:00 (UTC+8)开启提现。交易对为 CTR/USDT。 CTR 是 Citrea 网络的协调代币，Citrea 作为比特币的应用层，通过零知识证明 (ZK) 技术支持多元化比特币经济。CTR 持有者可对生态系统和协议提案进行投票参与治理。Citrea 获得 Founders Fund、Galaxy、Balaji Srinivasan、Erik Voorhees 等知名机构与投资人的支持。

根據以太坊基金會 zkEVM 團隊在 All Core Devs（ACD）會議上提出的團隊提案，已提議在 Hegota fork 中納入 EIP-8025。該提案引入「選擇性執行證明」（Optional Execution Proofs），讓以太坊節點能透過驗證零知識證明來確認區塊，而非直接重新執行所有交易。 目前，以太坊節點必須重新執行交易以確認區塊有效性。EIP-8025 提供一種可選加入的替代方案：節點可以在不進行重複運算的情況下，驗證正確區塊執行的 ZK 證明。儘管該提案在初期是以可選加入方式、不影響共識規則，但它代表邁向以 ZK 驗證模型為核心的基礎性一步，可能降低節點運作成本，並促成更大的區塊與更複雜的執行。

Gate News 訊息，5 月 22 日，據 Gate 行情顯示，截至發稿時，BOB（BOB）現報 0.008 美元，24 小時內上漲 37.91%，最高觸及 0.0084 美元，最低回落至 0.00588 美元，24 小時交易量達 113.38 萬美元。目前市值約為 1777.11 萬美元。 BOB 正在構建通往比特幣 DeFi 的大門，為全球最重要的資產解鎖真正的實用價值。透過將比特幣無與倫比的安全性與以太坊的靈活性相融合，BOB 打造了比特幣流動性、應用和機構資金的首選目的地。BOB 的混合鏈獨特地將 ZK 零知識證明與 BTC 質押相結合，建立了同時通往以太坊和比特幣（BitVM）的原生橋梁。BOB 的多鏈閘道讓使用者可以將比特幣兌換成任意資產，或直接存入橫跨 11+ 條鏈的 DeFi 協議，由 BTC 意圖（intents）驅動。 此訊息不作為投資建議，投資需注意市場波動風險。

根據官方公告，由 ZK 為基礎的可驗證運算平台 Brevis 所開發的媒體真實性驗證工具 Brevis Vera 現已向公眾提供。使用者可以透過任何支援 C2PA 的相機或智慧型手機進行影像拍攝。C2PA 讓裝置能在拍攝當下以加密方式為媒體內容進行簽章，並將其綁定到硬體上，同時產生具防篡改能力的來源中繼資料。

根據 BlockBeats， 以太坊聯合創辦人 維塔利克·布特林（Vitalik Buterin）在 5 月 19 日表示，結合 AI 的形式化驗證將成為「軟體開發的終極形態」，並且是抵禦先進 AI 威脅的關鍵防線。維塔利克解釋稱，形式化驗證會把程式碼正確性轉化為可透過數學方式驗證的定理，藉由數學證明來確保軟體安全，而非依賴傳統測試或稽核。 維塔利克強調，這種做法特別適用於以太坊下一階段的升級，包括抗量子簽章、STARK 證明系統、拜占庭容錯共識以及 ZK-EVM。他表示，在 AI 安全挑戰日益加劇的情況下，以太坊將成為「安全核心」架構中的必要組件；其中關鍵系統會透過形式化方法來強化，而週邊元件則在具備最小權限的沙盒中運作。

根據 ChainCatcher，Vitalik 今天發表了一篇標題為「對形式化驗證的淺層探討」的文章，討論形式化驗證如何同時提升以太坊開發的安全性與效率。開發者可以使用 Lean、以太坊虛擬機（EVM）位元組碼，或組合語言來撰寫程式，並透過可自動檢查的數學證明來驗證其正確性。Vitalik 指出，形式化驗證特別適用於像 STARKs、拜占庭容錯共識、ZK-EVM 與後量子簽名等複雜系統，儘管它也存在限制，包括規格錯誤、程式碼覆蓋不完整，以及硬體層級的攻擊。