比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

Time:8/15/2023 11:39:47 PM

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

其它快訊:

智能合約漏洞賞金平臺Immunefi將為Nexus Mutual提供5萬美元賞金:2月24日,智能合約漏洞賞金平臺Immunefi官方宣布接入DeFi保險協議Nexus Mutual,將為Nexus Mutual提供5萬美元漏洞獎金。[2021/2/24 17:48:06]

動態 | EOS紐約節點提案:解決EOS代幣智能合約問題和建立EOS公共發展資金計劃:近期,EOS紐約節點在Medium發文提出關于“解決EOS代幣智能合約問題”和“建立EOS公共發展資金計劃”兩個提案,具體內容如下:1.提供一個結構化和可擴展的系統,允許Dapp開發人員根據eosio.token 系統合約部署代幣,同時需要15/21超級節點負責創建和發行新代幣;2.通過自愿區塊鏈經濟活動的資助建立EOS公共發展計劃。[2019/4/19]

動態 | 《區塊鏈智能合約安全審計白皮書(2018年)》發布:據中證網報道,中國信息通信研究院泰爾終端實驗室、上海交通大學網絡空間安全學院、上海掌御信息科技有限公司共建的區塊鏈安全研究中心、中國區塊鏈應用研究中心、上海淳粹文化傳媒有限公司、杭州加密谷區塊鏈科技有限公司等機構近日聯合發布《區塊鏈智能合約審計安全白皮書(2018年)》。白皮書歸納的智能合約安全漏洞目前有9大類,從數量上來看,權限控制占比最重,達到了46.97%,遠高于其他類型,其他占比較高的安全漏洞有錯誤使用隨機數、邏輯設計缺陷等類型。[2018/12/17]

Immutable zkEVM測試網已正式上線

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Block Chain:8/15/2023 11:39:29 PM
Whale Alert:包含1005BTC的休眠地址在12.8年后被激活,增值2萬多倍

金色財經報道,Whale Alert監測的數據顯示,包含1,005 BTC的休眠地址在12.8年后剛剛被激活.

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