同時關聯該項目與事件的快訊
Vitalik 發佈文章《 A shallow dive into formal verification 》，介紹形式化驗證在以太坊前沿研發中的應用進展。文章指出，開發者可使用 Lean、EVM 字節碼或彙編語言編寫代碼，並通過可自動檢查的數學證明驗證其正確性，以同時提升代碼效率與安全性。他表示，形式化驗證特別適用於 STARK、拜占庭容錯共識、ZK-EVM、抗量子簽名等複雜但安全目標相對清晰的系統，並提及 Arklib、VCV-io、evm-asm 等相關項目。文章同時強調，形式化驗證並非萬能，仍可能受限於規格定義錯誤、未覆蓋代碼、硬件邊界與側信道攻擊等問題。
Bitget Wallet 宣佈上線 API 管理平臺，面向全球開發者與機構客戶免費開放，提供涵蓋同鏈兌換、跨鏈交易及即時行情數據的全棧式 API 服務。開發者與機構客戶現可通過平臺自行註冊賬戶、申請 API Key，免費接入 Bitget Wallet 鏈上交易基礎設施，無需從零搭建複雜後端系統。同時，此次上線在此前支持 Ethereum、Solana、BNB Chain、Base、Morph 等 7 條公鏈的基礎上新增支持 HyperEVM、Hypercore 兩條公鏈，並推出跨鏈 API、鏈查詢與廣播接口及 NoGas 功能，降低終端用戶交易摩擦。行情 API 目前覆蓋 33 條公鏈及 200 多隻主流代幣化股票，並內置 AI 風險檢測模塊，可識別異常代幣、異常交易行爲與不穩定交易路徑。Bitget Wallet API 基於其自研 DEX 聚合引擎構建，日均處理聚合器交易量超 2000 萬美元，已承載錢包約 80% 的核心交易量。目前，該 API 已與 0x Protocol、LI.FI、CoW Swap、deBridge、Velora、XO Swap 等頭部聚合器與 Solver 深度集成。此次管理平臺上線將進一步降低開發者接入門檻，推動更多產品基於 Bitget Wallet 鏈上交易基礎設施構建日常金融服務。
David Sacks 發文表示，明日針對《Digital Asset Market Clarity Act（CLARITY 法案）》的審議，是推動美國成爲“全球加密之都”並維持創新領導地位的重要一步。David Sacks 對參議院銀行委員會主席 Tim Scott 及相關委員會推動法案妥協與推進表示感謝，同時感謝白宮加密事務主管 Patrick Witt 及加密行業的支持。其表示，目前美國約有 5000 萬人持有或使用加密貨幣，而該法案將有助於確保美國加密生態未來數年持續創新與發展。
Aethir Claw 正式推出模型即服務(MaaS)層，通過將 Anthropic、OpenAI、Google 等前沿大模型 API 額度直接打包進平臺訂閱。用戶無需再單獨註冊外部 LLM 提供商或管理 API Key,一次付費即覆蓋從 VPS 託管到模型推理的完整棧。Aethir Claw 下一步將把主流模型部署在 Aethir 自有 GPU 網絡上，實現推理層的真正數據主權。Aethir 是去中心化 GPU 雲計算基礎設施領域的頭部平臺。目前網絡已在全球 94 個國家、200 餘個節點部署超過 43 萬個 GPU 容器，累計交付計算時長接近 18 億小時，服務超過 150 個合作伙伴與企業客戶。GPU 硬件涵蓋 NVIDIA Hopper 與 Blackwell 代際，包括 H100、H200、B200、B300。
波蘭衆議院議長 Włodzimierz Czarzasty 宣佈，議會已正式開始審議四份競爭性的加密資產監管法案，此前總統 Karol Nawrocki 兩次否決相關立法。此次審議涉及政府、總統辦公室、Poland 2050 黨以及 Confederation 黨的多套立法方案，二讀表決預計於週四進行。核心分歧集中在波蘭金融監管機構（KNF）對賬戶凍結權限的範圍，以及違法處罰上限。總統草案設定最高罰款約 2000 萬茲羅提（約 550 萬美元），而財政部版本則提高至 2500 萬茲羅提（約 690 萬美元）。與此同時，反對黨法律與公正黨（PiS）在撤回早前監管提案支持後，於週一另行提交法案，主張在波蘭全面禁止加密資產相關活動，使監管討論進一步複雜化。議長 Czarzasty 表示，PiS 禁令草案將在四項主要監管法案完成後再進入審議程序，並質疑加密行業資金與政治活動之間的關聯，點名詢問包括 zondacrypto 在內的潛在政治資助問題。（The Block）
加密研究機構 Delphi Digital 發佈最新報告《How Far Can Saylor Stretch It》，對 Strategy 的比特幣（BTC）資金擴張機制進行了系統分析，指出其融資結構正從“低成本增持”進入“邊際效率遞減”階段。報告顯示，當前以 Bitcoin 爲核心的資產積累體系中，STRC 已成爲 Strategy 持續購入 BTC 的核心融資工具。早期依賴 MSTR 股價顯著溢價（mNAV 遠高於 BTC 淨值）實現“增發即增持”的正向循環，但隨着估值回落至約 1.24 倍 EV 基礎 mNAV，普通股增髮帶來的 BTC/股增厚效應已接近盈虧平衡。與此同時，可轉債工具雖在歷史階段發揮重要作用，但已累積約 82 億美元本金，並在 2027 年 9 月後面臨集中償付壓力，使融資結構長期可持續性承壓。STRC 通過向收益型投資者提供約 11.5%年化月付股息，爲 Strategy 提供持續融資來源，用於延續 BTC 購買節奏。然而該機制也引入持續現金流義務，使每一輪融資在增加 BTC 資產的同時，也同步累積未來分紅負擔。報告強調關鍵風險情景：若 BTC 價格橫盤且 MSTR 溢價無法恢復，則“STRC 融資購幣增益”可能被“普通股稀釋與分紅義務”逐步抵消。儘管公司約 22.5 億美元現金儲備可覆蓋 2027 年約 10 億美元贖回壓力，但 2028 年更大規模債務與分紅結構仍待解決。此外，STRC 當前約 283 億美元授權發行上限成爲關鍵約束節點。一旦觸及上限，新增 BTC 購買能力可能放緩，但既有分紅義務仍將持續存在，從而改變整體 BTC/股動態增長路徑。
隱私幣項目 Monero 發佈圖形錢包軟件 GUI 0.18.5.0 “Fluorine Fermi” 版本，本次更新爲推薦升級版本，主要包含大量錯誤修復與功能優化，此次更新重點包括：Windows 系統下將 P2Pool 安裝路徑遷移至 LocalAppData修復 URI 解析中的邊界情況問題禁止在長支付 ID 場景下創建離線交易在二維碼掃描中對不受信任文本進行轉義處理，提升安全性將 P2Pool 升級至 v4.15多項細節 bug 修復與穩定性改進Monero 官方指出，該版本已在 GitHub 開源發佈，用戶可通過官方渠道下載升級，以獲得最新安全修復與穩定性改進。
Galaxy Research 研究主管 Alex Thorn 表示，美國參議院銀行委員會公佈自今年 1 月以來首份更新版《CLARITY Act》完整草案。新版草案在多個關鍵章節進行了重大調整，其中包括：對第一章有關定義、美國證券交易委員會（SEC）權限等內容進行大幅重寫；新增第 109 條內幕交易條款；第二章將“共同控制（common control）”更新爲“協調控制（coordinated control）”；重寫第 301 條以進一步明確 DeFi 與 CeFi 的監管邊界；更新第 404 條並納入 Tillis 與 Alsobrooks 的妥協方案；調整第 505 條，縮小 SEC 在代幣化領域權限限制的範圍；重構第 701 及 702 條的破產與資不抵債框架。此外，第 904 條爲新增內容，即“Build Now Act”。Alex Thorn 還指出，第 604 條中《Blockchain Regulatory Certainty Act》針對開發者的保護條款基本保持完整，僅進行了小幅修改，未削弱其核心保護內容。
Wintermute 發佈每週市場分析，截至 5 月 11 日當週，BTC 自 1 月以來首次突破 8 萬美元，最高觸及約 8.3 萬美元，並有效突破壓制長達七個月的 200 日均線。但 Wintermute 指出，此次上漲主要由槓桿驅動——未平倉合約單月激增 100 億美元至 580 億美元，而現貨交易量卻處於近兩年低點，典型的空頭回補行情特徵，並非健康突破信號。資金費率仍以空頭爲主，短期仍有繼續擠壓空間，但覆蓋空頭並不等於市場形成真實做多共識。 中長期來看，機構買盤邏輯依然成立：ETF 單週淨流入 6.23 億美元，摩根士丹利旗下 BTC ETF 首月吸金 1.94 億美元且無單日淨流出，交易所 BTC 儲備仍處七年低位。但 Wintermute 提示，RSI 已進入超買區間，若擠壓行情結束後現貨買盤未能跟進，價格將面臨快速回調風險。 宏觀層面，美股納指周漲 4.5%、標普漲 2.3%，均創歷史新高，非農就業數據超預期（11.5 萬 vs 預期 6.5 萬）；美伊談判破裂，伊朗提出主權及賠償要求遭特朗普拒絕，油價周內在 88 至 113 美元之間劇烈波動，但股市反應平淡。本週關注周
Coinbase CEO Brian Armstrong 計劃於本週三與美國共和黨參議員會面，正值美國參議院銀行委員會預計於週四就《CLARITY Act》進行關鍵審議投票前夕。報道稱，最新版法案草案超過 300 頁，涵蓋穩定幣獎勵機制、DeFi 保護條款及數字資產聯邦監管標準等內容。此前 Coinbase 曾因穩定幣收益限制及 DeFi 保護問題撤回對法案的支持，但在參議員 Thom Tillis 與 Angela Alsobrooks 推動修訂後，Armstrong 近期已對法案立場有所緩和，並表示行業“並未得到所有想要的內容，但核心訴求得以保留”。目前，美國銀行業組織仍在遊說收緊穩定幣相關條款，而部分民主黨議員則要求加入限制政府官員參與加密業務的利益衝突條款。市場普遍關注本週委員會審議結果，其或將決定美國首個完整加密市場監管框架能否在 2026 年底前推進落地。（FinanceFeeds）
Galaxy Digital 表示，美國參議院銀行委員會中的 7 名民主黨議員，或將在《CLARITY Act》推進過程中發揮關鍵作用。該法案將於本週四進入委員會審議階段，若獲得通過，將提交參議院全體投票。Galaxy 將 Ruben Gallego 與 Angela Alsobrooks 列爲“支持加密框架”議員，並認爲 Mark Warner、Catherine Cortez Masto、Andy Kim 及 Raphael Warnock 等議員屬於“可協商派”，可能在增加反洗錢及風險控制條款後支持法案。報道指出，參議院銀行委員會共 24 名成員，由 13 名共和黨人與 11 名民主黨人組成，法案需獲得至少半數支持方可進入後續流程。Coinbase 政策負責人此前表示，《CLARITY Act》最終需獲得至少 60 票及跨黨派支持才能正式立法。（Cointelegraph）
JustLend DAO 正式發起第 39 號治理提案，計劃新增 HTX 市場，將 $HTX 引入平臺借貸市場。提案核心包括：配置 HTX/TRX 價格預言機、支持 jHTX 代幣，同時將抵押係數設爲 50%、儲備金係數設爲 30%。若提案投票通過，HTX 持有者將能夠通過供應 HTX 賺取收益，或將其作爲抵押品借入其他資產，從而進一步提升生態內資金利用效率。
Galaxy Research 研究主管 Alex Thorn（@intangiblecoins）發文披露，Galaxy Research 發佈最新報告，對銀行業界關於《GENIUS 法案》將衝擊美國銀行存款的論斷提出反駁，並給出量化測算結果。 報告核心發現如下：GENIUS 法案框架下，穩定幣增量的 60%至 70%將來源於境外，境外存款流入量約爲國內存款遷移量的 2 倍，意味着整體上是淨增量而非存量轉移；每新鑄造一枚 GENIUS 穩定幣，可爲美國經濟產生約 32 美分的淨信用；至 2030 年，基準情景下信貸擴張總規模約 4000 億美元，樂觀情景下可達 1.2 萬億美元；此外，美債短端收益率（國庫券）將因此壓縮 3至 5 個基點，每年可爲納稅人節省最多 30 億美元借貸成本。報告同時指出，利息轉嫁機制並不構成對美國銀行業的生存性威脅，僅是利潤空間的重新分配，不會削減整體信貸產能。
據 WSJ 報道，算法開發公司 MicroAlgo Inc. 宣佈推出基於量子技術的區塊鏈架構，通過整合循環量子安全信道（QSC）與量子密鑰分發（QKD），以提升交易安全性與透明度。 該架構採用四層設計，包括量子通信層、區塊鏈核心層、智能合約層和應用層。其中，QKD 用於實現密鑰的高安全生成與分發，量子加密則保護交易數據免受竊取與篡改，同時具備抗量子計算攻擊能力。
以太坊基金會發文總結 Soldøgn Interop 工作，目前已基本完成 Glamsterdam 升級關鍵目標，包括升級後 2億 Gas Limit 下限達成共識、實現穩定運行 ePBS 外部 Builder 流程，以及最終確定 EIP-8037 Gas 再定價參數。Glamsterdam 升級的重點在於安全提升 Gas Limit，以擴大以太坊吞吐能力，而 EIP-8037 將通過提高狀態創建成本防止高 Gas Limit 導致狀態無限膨脹。 以太坊基金會還表示，多數客戶端已在 glamsterdam-devnet-2 上完成穩定運行，併成功測試外部 Builder 全流程。此外 FOCIL、原生賬戶抽象及 Hegotá升級相關功能也取得實質性進展，未來幾周核心開發者將繼續推進客戶端加固、測試完善及代碼合併，最終參數仍將在 AllCoreDevs 會議上公開確認。
據英國金融時報報道，特朗普長子小唐納德·特朗普（Donald Trump Jr.）和埃裏克·特朗普通過空殼公司與哈薩克斯坦關鍵礦產集團合併，該集團去年獲美國政府高達 16 億美元支持，用於開發鎢礦項目。 報道稱，該鎢礦項目涉及哈薩克斯坦北部 Katpar 和 Upper Kairakty 礦牀，美國進出口銀行等機構曾提供融資，特朗普兒子 2024 年底加入相關公司顧問委員會並持股。 報道暗示，這是特朗普家族商業帝國與美國政府利益關聯的又一案例。
以太坊基金會宣佈 Ethereum Protocol Fellowship Cohort 7（EPF7）目前已開放申請通道，申請截止日期爲 5 月 13 日。該計劃旨在培養能夠參與以太坊核心協議開發的工程師，圍繞網絡核心屬性包括抗審查性、開源性、隱私性與安全性展開，重點涉及客戶端實現、協議規範、測試以及前沿研究等方向。EPF7 本期將調整爲“小規模高密度”模式，減少參與人數，以提升導師指導深度與項目貢獻質量，並加強與核心開發團隊的協作機會，本期項目時間爲 6 月至 11 月，入選者將獲得來自以太坊核心開發者社區的指導支持，部分參與者還將獲得月度資助，以專注於協議開發工作，項目目標包括爲以太坊核心研發團隊輸送長期貢獻者，並推動參與者在客戶端開發及協議研究中形成實質性成果。據悉，EPF 團隊將於 5 月 6 日 UTC 時間 15:00 舉辦線上說明會，進一步介紹項目細節並解答申請相關問題。
Syndicate Labs 披露其遭遇一次安全事件：攻擊者通過私鑰泄露入侵系統，並在兩條鏈上對跨鏈橋合約進行惡意升級，導致約 1850 萬枚 SYND 及約 5 萬美元用戶資產被轉移，此次攻擊源於開發端點被入侵，攻擊者利用生產環境權限將橋接合約升級至惡意版本，但其他鏈未受影響，損失情況包括：Commons 橋：約 1850 萬 SYND 被轉移並出售，摺合約 33 萬美元；另一條 Appchain：約 5 萬美元用戶資產被轉移。Syndicate Labs 表示，受影響的 SYND 持有人將獲得全額補償，並額外獲得超額賠付，整體持倉將高於事件發生前水平；Appchain 受影響用戶也將按損失全額賠付。
Berachain 基金會在 X 平臺發文警示，Wasabi Protocol 因部署者私鑰泄露引發跨鏈安全事件，已波及包括 Berachain 在內的多條區塊鏈。爲防範風險擴散，Berachain 已暫停並拉黑網絡內所有受影響的 Wasabi 獎勵金庫（Reward Vaults），立即停止向被攻破合約發放 BGT 質押獎勵，阻斷新 BGT 流入受損合約的路徑。官方要求所有曾在 Berachain 與 Wasabi 交互的用戶，必須立即撤銷對指定合約的代幣授權，避免資產被盜風險。Berachain 同時強調，原生 RewardVaults 內的 BGT 獎勵資金安全無恙，用戶可正常領取，本次事件不影響核心生態權益。
香港金管局發佈 2025 年報，在 2026 年重點工作及前瞻部分，香港金管局指出將繼續參與有關數字資產政策方面的國際討論及合作，尤其涉及穩定幣相關安排對貨幣和金融穩定的影響，確保監管框架與國際標準及最佳做法更爲一致。此外，“金融科技 2030”下的另一個重點領域是推動香港代幣化生態系統，進一步推進現實世界資產（包括金融資產）代幣化，以及讓這些資產透過新型數字貨幣（如數字港元、代幣化存款及受監管的穩定幣）在區塊鏈上進行結算，支持更快捷暢順的金融交易。