比特幣價格 比特幣價格
Ctrl+D 比特幣價格
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

Time:8/15/2023 11:42:02 PM

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

其它快訊:

Moonbeam新增Scaffold-ETH支持部署Solidity智能合約:3月3日消息,據Moonbeam最新版開發者文檔,以太坊開發技術棧Scaffold-ETH已支持在Moonbeam部署Solidity智能合約,并啟用了帶有React前端和已部署subgraph的DApp。目前有一些預制模板可供常見DApp類型,如NFT、ERC-20 Token、多簽錢包、簡易DEX等使用。Scaffold-ETH可提升提升開發效率,曾被部分開發者稱為“Web3.0 DApp開發入門神器”。[2022/3/3 13:34:48]

V神:DeFi用戶低估了智能合約的風險:在最近的播客節目中,以太坊創始人Vitalik Buterin稱,“DeFi還不錯,但不是一個應該倡導很多普通人把畢生積蓄投入其中的地方。我認為一個重要的問題是,很多人低估了智能合約的風險。它的利率比傳統銀行賬戶的利率要高很多,這意味著DeFi產品的風險也要大得多,“崩潰”的幾率也要高得多。”(Cointelegraph)[2020/7/29]

現場 | 孫志勇:智能合約價值在于提供效率 證據保全 自動執行:金色財經現場報道,在”共識2018區塊鏈大會·北京”上,中國政法大學教授孫志勇在談到區塊鏈與智能合約時表示,智能合約的價值在于提供效率、證據保全和自動執行。而智能合約對現有法律的挑戰表現為,跨境執行與法律監管的沖突、稅收沖突、智能合約的自身爭議處理以及智能合約與傳統法律的銜接。[2018/7/27]

Immutable zkEVM測試網已正式上線

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Block Chain:8/15/2023 11:41:34 PM
ads