以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

Time:8/15/2023 11:37:40 PM

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

其它快訊:

以太坊智能合約編程語言Solidity發布0.8.7版本:以太坊智能合約編程語言Solidity發布0.8.7版本,主要引入了對以太坊倫敦升級的支持,包括增加對EIP-3198(BASEFEE 操作碼)和EIP-1559(Gas費計算方式轉變為直接銷毀的基礎費用加上給礦工的小費)的支持。[2021/8/12 1:50:22]

Cyber??News:近3800份以太坊智能合約存在嚴重漏洞:Cyber??News調查團隊對以太坊智能合約的分析表明,近3800份智能合約存在嚴重漏洞,可以使黑客迅速竊取一百萬美元。該團隊表示,對于用戶來說,很容易檢查他們所使用的平臺是否正在使用帶有任何這些漏洞的智能合約。他們可以在Etherscan或類似的瀏覽器上查看智能合約,以查看這些合約是否已經過審計和驗證。如果智能合約尚未通過審計或驗證,建議避免使用該特定平臺或在線服務。[2020/11/19 21:17:30]

動態 | 7月以太坊主網智能合約創建數量激增至近13萬:據安比實驗室智能合約監控平臺數據顯示,7月以太坊主網智能合約創建數量激增至近13萬,是前三個月份平均數量的2倍以上。然而,數據貢獻來源并非ERC20 Token的合約創建,7月新增的ERC20合約甚至低于6月。通過分析,發現某單個地址7月累計創建合約數量占當月以太坊主網智能合約創建總數的65.2%。結合反匯編結果及以往分析經驗,該地址大批創建的極可能是與交易所相關的錢包合約,用于管理以太幣及各類Token資產,目前尚無確切資料證實該合約創建者的具體歸屬。[2018/8/7]

Immutable zkEVM測試網已正式上線

8月15日消息,以太坊NFT二層擴容方案Immutable X開發公司Immutable宣布其Immutable zkEVM測試網已正式上線,現有的智能合約和Solidity代碼可以免費直接遷移到Immutable的...

Block Chain:8/15/2023 11:37:56 PM
Immutable:超過20家游戲公司已與Immutable合作,支持Immutable zkEVM發布

金色財經報道,Web3游戲平臺Immutable已開始與Polygon Labs合作對其Immutable zkEVM進行公開測試.

Block Chain:8/15/2023 11:37:53 PM
Nexon已決定將其區塊鏈組織整合至子公司Nexon Universe

金色財經報道,據游戲行業人士透露,Nexon已決定將其區塊鏈組織整合至子公司Nexon Universe,并正在辦理相關手續.

Block Chain:8/15/2023 11:37:49 PM
Voyager還有價值約1147萬美元的代幣尚待出售

金色財經報道,據鏈上分析師余燼監測,Voyager自8月12日開始出售代幣兌換為美元對用戶進行賠付以來:將超過30種代幣轉入Coinbase.

Block Chain:8/15/2023 11:37:47 PM
數據:某休眠超12年比特幣地址將1005枚BTC轉至新地址

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

Block Chain:8/15/2023 11:37:44 PM
香港數碼港本周將公布5000萬港元財政撥款的用途方向、具體計劃等詳情

8月15日消息,據香港經濟日報報道,數碼港數碼娛樂高級經理梁德明表示,數碼港目前已有超過170間Web3.0初創公司,此前港府財政預算案撥款5000萬港元供數碼港加速推動Web3.0發展.

Block Chain:8/15/2023 11:37:42 PM
10,798枚BTC從Gemini轉移至未知錢包

金色財經報道,Whale Alert監測的數據顯示,2小時20分鐘前,10,798枚BTC(317,738,036美元)從Gemini轉移至未知錢包.

Block Chain:8/15/2023 11:37:37 PM
ZachXBT:預計下周可以完成未使用法律辯護資金退還

金色財經報道,鏈上分析師ZachXBT發布推文稱,預計下周可以完成未使用法律辯護資金退還。其中以太坊主網將有一筆待退還資金,SOL&Pulse已完成退款,EVM鏈本周將被手動退款,部分會人工退款。更多細節將于本周晚些...

Block Chain:8/15/2023 11:37:34 PM
前FTX高管Ryan Salame將不會就他在FTX涉嫌非法競選捐款計劃中的角色作證

8月15日消息,前FTX高管Ryan Salame將不會就他在FTX涉嫌非法競選捐款計劃中的角色作證,其律師表示,如果收到傳票,Salame將援引第五修正案保護個人免于自證其罪的權利,無法出庭作證.

Block Chain:8/15/2023 11:37:30 PM
Sei Network項目Discord服務器遭入侵

金色財經報道,據CertiK官方推特發布消息稱,Sei Network項目Discord服務器遭入侵。在團隊確認已重獲對服務器的控制之前,請勿點擊任何鏈接.

Block Chain:8/15/2023 11:37:26 PM
加密貨幣托管商Prime Trust根據美國破產法第11章申請破產

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

Block Chain:8/15/2023 11:37:24 PM
4937萬BLUR解鎖轉出至0x0A0地址

金色財經報道,據鏈上分析師余燼監測,7小時前,4937萬BLUR(1395萬美元)解鎖轉出至0x0A0地址.

Block Chain:8/15/2023 11:37:22 PM
ads