Gate 加密貨幣快訊與市場動態

Gate 快訊實時追蹤加密貨幣市場新聞,覆蓋比特幣、以太坊等主流幣價變動、市場趨勢與行業重要動態。
今天
12:58

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

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

副總理何立峰於 5 月 18 日在北京會見 AMD 執行長蘇子豐

據新華社報導,5 月 18 日下午,中國國務院副總理何立峰在北京人民大會堂會見了先進微裝置(AMD)董事長兼執行長蘇姿豐。此次會見是在兩國領導人之間近期舉行的美中峰會之後,當時雙方達成了重要共識。何立峰指出,雙邊經貿團隊取得了均衡且積極的成果,將為未來的美中合作注入更大的確定性與穩定性。
12:49

鏈上 RWA 在 5 月 18 日創下 337億美元新高,較代幣化債務與商品增加 15 億美元

根據 BlockBeats 和 rwa.xyz 的數據,在 5 月 18 日鏈上真實世界資產(RWA)總價值創下 337 億美元新高。 近期約 15 億美元的成長,來自以 Ethereum 為基礎的機構代幣化美國債務產品,包括富蘭克林坦普頓(Franklin Templeton)新推出的 iBENJI,以及 BlackRock 的 BUIDL 持續流入,同時代幣化商品資產也出現顯著增長。
展開
RWA-1.18%
ETH-3.34%
12:45

汪鴻寧於 5 月 18 日在北京會見喬治亞議會議長帕帕阿什維利

根據新華社報導,中國人民政治協商會議全國委員會(CPPCC)主席汪鴻在 5 月 18 日於北京會見喬治亞議會議長帕普阿什維利。汪鴻表示,中國和喬治亞是建立在真誠信任與相互信心之上的好朋友,並表達中國願意在傳統與新興領域深化合作,同時強化民間交流與多邊協調。