"ZK"的搜尋結果
今天
03:39

BOB(BOB)24 小時上漲 28.12%

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)驅動。 此消息不作為投資建議,投資需注意市場波動風險。
展開
BOB32.14%
BTC-2.94%
ETH-3.73%
02:31

Gate Alpha 上線 6 個新幣種:金靴杯、GOSLINGS、BUFFDON、KINS、HARAMBE、SQUIRE 現已可交易

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 區代幣空投和限時活動等權益的資格。
展開
SOL-2.93%
ETH-3.73%
SUI-6.77%
ARB-3.85%
00:12

Vitalik 分享最新 LLM 進展,並強調在 5 月 28 日以太坊與 AI 交集持續擴大

根據 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 與形式驗證結合則能在恢復準確性的同時提升程式碼效率,形成互補的技術堆疊。
展開
ETH-3.73%
DEEPSEEK-5.37%
ZK-6.56%
01:49

MAPO(MAP Protocol)在 24 小時內上漲 85.08%

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️⃣ 應急回應機制
展開
MAPO-13.27%
02:01

Citrea(CTR)將於 5 月 26 日在 Gate 上線現貨交易與閃兌交易

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 等知名机构与投资人的支持。
展開
CTR-28.14%
00:02

以太坊基金會提出 EIP-8025 用於 Hegota 分叉,推動零知識驗證

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

BOB(BOB)24 小時上漲 37.91%

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)驅動。 此訊息不作為投資建議,投資需注意市場波動風險。
展開
BOB32.14%
BTC-2.94%
ETH-3.73%
12:46

Brevis Vera 媒體驗證工具現已全面向公眾提供

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

Vetalik 於 5 月 19 日概述以 AI 增強的形式化驗證,作為以太坊安全角色的關鍵

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

Vitalik 發布一篇關於形式化驗證的文章,強調其在以太坊安全性與效率中的角色

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