加密貨幣交易所 加密貨幣交易所
Ctrl+D 加密貨幣交易所
ads
首頁 > 區塊鏈 > Info

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

Author:

Block

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

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

Chainlink與Google Cloud達成合作將天氣和氣候數據傳輸至智能合約:8月6日消息,Google Cloud官方宣布與Chainlink達成合作。通過構建適配器,GoogleCloud能夠將天氣和氣候數據傳輸至智能合約。智能合約能夠通過BigQuery查詢美國國家海洋和大氣管理局全球地面逐日氣象資料(NOAAGSOD)的天氣數據。據悉,GSOD提供9000多個氣象站獲得的包括溫度、能見度、風速、降水量在內的數據。[2021/8/6 1:39:43]

Nervos和Cardano合作發起旨在改善智能合約安全性的研究計劃:金色財經報道,公共鏈項目Nervos和Cardano聯合發起了一項研究計劃,以通過改善未花費交易輸出(UTXO)來增強智能合約的安全性。Nervos和Cardano背后的開發團隊IOHK將共同撰寫有關如何改善UTXO模型、開源未來發展以及探索創建通用會計方法標準的研究論文。[2020/12/15 15:18:06]

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

Curve:已追回70%上周被盜資金,正測算受影響用戶各自份額

8月11日消息,Curve Finance官方表示,已追回70%上周因漏洞利用被盜資金,正積極調查其余資金,同時正測算每位受影響用戶的各自份額,以實現適當的分配.

Block Chain:2023/8/11 16:21:13
前SEC官員:SEC主席Gary Gensler可能會辭職

金色財經報道,前SEC官員John Reed Stark認為,SEC主席Gary Gensler可能會辭職,具體取決于 2024 年可能發生的情況.

Block Chain:2023/8/14 16:24:49
a16z crypto和Paradigm就SEC訴Coinbase 案提交法庭之友陳述

金色財經報道,a16z crypto和Paradigm宣布就SEC訴Coinbase 案聯合提交法庭之友陳述。該陳述表示,SEC的監管過度已經危及美國區塊鏈技術的發展.

Block Chain:2023/8/12 16:21:55
數據:The Sandbox在2小時內已向10個地址分發了2952萬SAND

金色財經報道,@EmberCN監測的數據顯示,The Sandbox目前正在通過0x73b地址解鎖分發$SAND :2小時內已向10個地址分發2952萬SAND(約合1170萬美元).

Block Chain:2023/8/15 21:23:00
Binance Labs宣布向Helio Protocol投資1000萬美元

金色財經報道,Binance風險投資部門Binance Labs宣布向Helio Protocol投資1000萬美元,以幫助擴大該協議向成為流動性質押平臺的持續轉型.

Block Chain:2023/8/11 16:19:27
0x73b地址將8052萬SAND轉入CEX

金色財經報道,據鏈上分析師余燼監測,6 小時前,0x73b 地址將 8052 萬 SAND(3244萬美元) 轉入 CEX.

Block Chain:2023/8/11 16:19:31
原火幣創始人李林簽訂香港九龍半山豪宅先租后買協議,認購價將達10億港幣

金色財經報道,原火幣創始人李林(LI LIN)簽訂香港九龍半山龍駒道的院墅C先租后買協議,可承租90個月,即約7年半,租期由本月1日起。完成7年半租期后,有3個月續租權,其后可購買該房產,認購價達10億港幣.

Block Chain:2023/8/14 21:22:21
Tenet Protocol已推出由LayerZero提供支持的原生橋以及TENET作為OFT

金色財經報道,LayerZero Labs發布推文稱.

Block Chain:2023/8/11 16:19:34
Base TVL接近1.6億美元,83%為ETH

金色財經報道,Dune數據顯示,Base TVL達到1.599億美元,83%為ETH,11%為USDC.

Block Chain:2023/8/11 16:18:53
數據:Linea主網交互地址數突破17萬個

金色財經報道,Dune數據顯示,Linea主網已橋接轉入25,330枚ETH,交易筆數達235,067筆,交互地址數達170,444個.

Block Chain:2023/8/14 16:24:02
4名巨鯨過去24小時共拋售超6.2萬枚GMX,約合300萬美元

金色財經報道,據 Lookonchain 監測,在過去的 24 小時內,4名巨鯨共拋售62,274 枚 GMX(約合 300 萬美元),致使 GMX 價格下跌約 7%.

Block Chain:2023/8/11 16:19:49
Circle今年上半年收入為7.79億美元,超過2022年全年收入

8月10日消息,Circle首席執行官Jeremy Allaire表示,Circle今年上半年的收入為7.79億美元,已經超過2022年全年的7.72億美元.

Block Chain:2023/8/11 16:19:02
ads