比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > 區塊鏈 > Info

智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper

Author:

Block

Time:2023/8/15 21:23:39

8月15日消息,智能合約安全分析項目Certora的形式驗證服務已支持以太坊編程語言Vyper,使智能合約開發人員能夠在部署代碼后審計之前檢測錯誤。

高盛已向美國專利局申請一項專注于智能合約的專利:金色財經報道,高盛最近向美國專利局申請了一項專利,提議將區塊鏈技術與其結算機制整合在一起。該專利文件于3月14日提交,專利號為US 11,605,143 2B,概述了該銀行使用區塊鏈技術的技術和計算需求。該專利專注于智能合約的技術方面,可應用于各種金融工具,如部分準備金銀行、保險、債券、證券化產品和保證金貸款。

高盛的這一舉措是其區塊鏈推廣的一部分,數字資產團隊全球負責人Mathew McDermott在最近接受采訪時表達了對區塊鏈應用程序的強烈支持。該銀行的私人代幣化平臺GS DAP也被香港用于銷售價值1.02億美元的數字綠色債券,成功地將結算時間從5天縮短至1天。[2023/3/15 13:05:08]

跨鏈智能合約平臺CLV宣布推出CLV Chain EVM:4月2日消息,跨鏈智能合約平臺CLV宣布推出CLV Chain EVM,向Web3世界進一步邁進。[2022/4/2 14:01:00]

動態 | 去中心化交易所AirSwap出現智能合約漏洞 目前已修復:據theblockcrypto報道,以太坊去中心化交易所AirSwap稱,發現一個智能合約漏洞,該漏洞允許攻擊者直接進行代幣交易,而無需對手方確認。據AirSwap團隊稱,該漏洞僅在其系統中出現不到24小時,其中10個賬戶被確定為“有風險”。確定漏洞后,AirSwap團隊進行回滾處理,并聯系相應用戶進行補救措施。[2019/9/15]

Arkham Intel Exchange推出Intel Auctions功能

8月15日消息,Arkham Intel Exchange宣布推出情報拍賣功能Intel Auctions。任何人可以直接在該交易所上出售經過驗證的情報(intel).

Block Chain:2023/8/15 21:23:54
The ETF Store總裁:灰度勝訴或有助于現貨比特幣ETF獲得批準

金色財經報道,美國證券交易委員會進一步推遲對Ark Invest和21Shares現貨比特幣 ETF 的決議,專家表示,即將到來的法院裁決和該機構提出的問題可能會產生重大影響.

Block Chain:2023/8/12 16:21:27
持有超10萬枚ADA的錢包地址數達16個月以來高點

8月14日消息,Santiment發推稱,由于Cardano市值自4個月前達到峰值以來下跌了35%,交易員對其情緒持續低迷。然而,鯊魚和鯨魚交易員并沒有如人們所想的那樣被嚇倒.

Block Chain:2023/8/14 16:25:01
SandboxAQ推出開源加密算法元庫Sandwich

金色財經報道,AI量子技術平臺SandboxAQ推出開源框架“Sandwich”,旨在重塑當代密碼學管理。據該公司稱,該平臺旨在推動組織實現加密敏捷性.

Block Chain:2023/8/13 16:23:09
數據:某休眠超12年比特幣地址將1005枚BTC轉至新地址

金色財經報道,據鏈上分析師余燼監測,某休眠超12年比特幣地址于昨晚將1005枚BTC轉至bc1q地址,12年前這1005枚BTC價值約合1316美元(單價為1.31美元),目前價值2968萬美元,增值22.

Block Chain:2023/8/15 21:23:41
美國銀行:PYUSD短期內不太可能得到廣泛采用

金色財經報道,美國銀行(BAC)在一份研究報告中表示,PayPal穩定幣PYUSD的推出將提高支付效率并改善客戶體驗,但加密貨幣的采用在短期內不太可能產生重大影響.

Block Chain:2023/8/11 16:20:50
一位早期GMX支持者在5小時前出售2萬枚GMX

金色財經報道,據Spot On Chain監測數據顯示,一位早期的GMX支持者在5小時前以平均49美元的價格出售了2萬枚GMX(約合98萬美元)換取 510.2 ETH.

Block Chain:2023/8/11 16:19:55
加密貨幣托管商Prime Trust根據美國破產法第11章申請破產

金色財經報道,加密貨幣托管商Prime Trust在面臨客戶資金短缺后,已在特拉華州根據《破產法》第11章申請破產.

Block Chain:2023/8/15 21:23:35
烏克蘭因加密貨幣賄賂丑聞解雇征兵辦公室負責人

金色財經報道,總統弗拉基米爾·澤倫斯基解雇了幾名地區征兵辦公室負責人,因為他們參與了賄賂、非法斂財和偷渡出境等腐敗活動。有報道稱,這些官員收受了加密貨幣賄賂。反腐行動開展以來,已立案偵查112起,查處犯罪嫌疑人33名.

Block Chain:2023/8/13 16:23:05
某聰明錢地址再次買入1280億枚PEPE

金色財經報道,據Lookonchain監測,在PEPE上獲利127萬美元的某聰明錢地址在1小時前花費100枚ETH(18.5萬美元)以0.000001443美元的價格買入1280億枚PEPE.

Block Chain:2023/8/14 16:24:10
彭博分析師:今年表現最佳的15只股票ETF均與加密貨幣相關

金色財經報道,彭博分析師Eric Balchunas發布推文稱,今年表現最佳的15只股票ETF中的每一個都與加密相關,其中WGMI (Valkyrie Bitcoin Miners ETF)以227%的TYD回報率領先.

Block Chain:2023/8/11 16:18:52
Blockworks創始人:Coinbase Q2收入的51%來自訂閱和服務

8月13日消息,Blockworks創始人Mike Ippolito表示,由于收入策略的改變,訂閱和服務貢獻了Coinbase Q2收入的51%.

Block Chain:2023/8/13 16:23:36
ads