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

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

Author:

Block

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

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

USDC2.1版本發布,可自動阻止用戶向智能合約發送USDC:4月27日消息,USDC運營公司centreConsortium宣布對以太坊區塊鏈上USDCoin(USDC)協議和智能合約進行了升級,新版本(2.1版本)會自動阻止用戶向智能合約發送USDC。另外,CentreConsortium還推出對誤發到以太坊智能合約地址的USDC的找回服務。[2021/4/27 21:02:45]

DAML被選為區塊鏈服務網絡BSN的專用智能合約語言:9月14日,北京紅棗科技和Digital Asset宣布了關于DAML智能合約技術和區塊鏈服務網絡(BSN) 集成的合作協議。作為協議的一部分,由Digital Asset創建的智能合約編程語言DAML,將成為BSN生態內分布式應用(DApp)編寫的標準語言。

BSN是由國家信息中心頂層規劃,聯合中國移動、中國銀聯和北京紅棗科技共同發起的全球性區塊鏈基礎設施,旨在讓開發者和企業在統一的標準下更高效地創建和訪問新一代分布式應用程序。四家發起方早在2018年便啟動了BSN項目,目前BSN是中國最大的區塊鏈基礎設施網絡。[2020/9/15]

動態 | 蘇黎世聯邦理工學院開發以太坊智能合約掃描儀:蘇黎世聯邦理工學院的研究人員開發了一個以太坊智能合約掃描儀,用以檢查智能合約是否存在漏洞、bug、或是其他潛在問題。這些研究人員包括Petar Tsankov博士,Hubert Ritzdorf博士,Martin Vechev教授和Arthur Gervais博士,他們都在系統安全方面擁有豐富的行業和學術經驗,并且努力改進區塊鏈智能合約。最近,這幾位研究人員成立了一家名為ChainSecurity的公司,旨在幫助開發人員和ICO項目方推出他們的代幣。[2018/7/15]

幣安將于8月15日進行幣本位合約交易服務升級

8月11日消息,據官方公告,為了提升系統性能和穩定性,幣安將于8月15日10:00(東八區時間)對幣本位合約交易服務進行升級,升級時長預計需要60分鐘.

Block Chain:2023/8/11 16:20:48
幣安上Shiba未平倉合約突破1億美元

金色財經報道,Coinglass數據顯示,本月幣安SHIB期貨的未平倉頭寸增加了一倍多,達到1.0165億美元,達到2月5日以來的最高水平。SHIB期貨的規模為每份合約1000 SHIB,杠桿高達25倍.

Block Chain:2023/8/12 16:22:02
比特幣私鑰生成命令行工具bx seed存在弱隨機性的重大漏洞,現已修復

8月14日消息,milksad.info團隊發文稱,7月21日發現比特幣libbitcoin-explorer(命令行工具bx)中存在一個名為milksad重大漏洞.

Block Chain:2023/8/14 16:25:09
Scopescan:Curve創始人將1250萬枚CRV轉移到新地址

金色財經報道,據Scopescan數據監測,Curve Finance創始人Michael Egorove于40分鐘前將1250萬枚CRV(764萬美元)轉移到“0xd1c5”開頭新地址。可能進行新一輪CRV銷售.

Block Chain:2023/8/10 16:18:04
Decentraland將通過Inworld在其元宇宙平臺引入人工智能驅動的NPC

8月10日消息,元宇宙平臺Decentraland宣布與虛擬角色開發公司Inworld達成合作,擬利用其技術在平臺內引入人工智能驅動的NPC(非玩家角色).

Block Chain:2023/8/10 16:18:35
0x73b開頭地址將8052.9萬枚SAND轉入CEX

金色財經報道,據SpotOnChain監測數據顯示,0x73b開頭地址在10-6小時前將8052.9萬枚SAND(3234萬美元)轉入CEX,其中,7000萬SAND轉至Binance;1.

Block Chain:2023/8/11 16:20:17
律師:美國SEC旨在根據證券法定義所有加密貨幣

金色財經報道,律師兼加密貨幣愛好者Bill Morgan認為,美國證券交易委員會(SEC)希望根據證券法定義所有加密貨幣,SEC最近的活動不僅針對加密貨幣交易所,還針對錢包開發商和提供商.

Block Chain:2023/8/13 16:23:44
去中心化應用程序Xucre.net發布XucreWallet

金色財經報道,去中心化應用程序Xucre.net宣布計劃為拉丁美洲推出加密貨幣錢包。XucreWallet將于2023年8月在Android上推出Beta版。該錢包的iOS版本已經在開發中.

Block Chain:2023/8/13 16:23:09
PayPal副總裁:計劃讓PYUSD在CEX上得到采用,暫無國際擴張計劃

8月14日消息,PayPal區塊鏈、加密和數字貨幣高級副總裁Jose Fernandez da Ponte表示,雖然目前PayPal在以太坊上推出的穩定幣PYUSD只能通過PayPal錢包獲得.

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

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

Block Chain:2023/8/13 16:23:09
ZachXBT:黃立成同意主動撤訴,將退還未使用的辯護資金

金色財經報道,鏈上分析師ZachXBT發布推文稱,“麻吉大哥”黃立成已同意主動撤訴,我已經用 Machi 的附加背景和我自己的文字更新了文章,雖然我很失望它首先走上了法律途徑,但很感激我們能夠找到解決方案.

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

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

Block Chain:2023/8/15 21:23:35
ads