以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads

區塊鏈:安全公司Salus:GPT3.5給出的合約漏洞分析多為誤報,其對專業的審計工作并沒有實質性幫助

Author:

Time:1900/1/1 0:00:00

區塊鏈安全公司SalusSecurity團隊對Coinbase主管ConorGrogan推文中使用的GPT4給出的合約漏洞分析進行了驗證,發現多為誤報:1.對于結果的第一點"ThecontractisbasedonaPonzischeme",可能是因為被檢測合約的名稱為PonziTokenV3。2.對于第二點,withdraw()函數和sellMyTokensDaddy()函數都遵循了CEI模式,不存在重入風險。3.第三點說的內容并不合理。4.對于第五點,這是條誤報,而且把可能出現的邏輯分支說錯了,在tokens!=totalSupply才有除法操作。

安全公司:Apache NFT SalesRoom發生Rug Pull,部署者獲利68萬美元:金色財經報道,據Beosin Alert監測,BNB Chain鏈上Apache NFT SalesRoom(ASN)發生Rug Pull,部署者獲利約68萬美元。部署者將大量代幣轉移到地址0xdc8開頭地址,現在該地址已以68萬美元的BSC-USD價格拋售了100萬枚ASN。[2023/8/3 16:16:06]

Conor使用GPT4重新進行了測試,發現GPT4不再報出具體的漏洞,而是對代碼和注釋進行檢查。GPT4修正了這一點,更側重于代碼格式和注釋,對于復雜、專業的審計工作并沒有實質性幫助。盡管如此,Salus認為這仍是AI史上重大的技術突破,期待并正在研究該工具在審計工作中的進一步用途,如輔助進行合約內容提煉和污點分析路徑枚舉等。

動態 | 畢馬威與安全公司Guardtime合作 利用區塊鏈改進業務流程:據tokenpost報道,咨詢巨頭畢馬威與軟件安全公司Guardtime建立了合作伙伴關系,利用區塊鏈技術建立透明,可追溯和安全的業務流程。[2019/2/21]

動態 | 區塊鏈安全公司BlockSafe推出符合標準的安全令牌產品:據Cryptoninjas消息,區塊鏈安全公司BlockSafe宣布開始推出一款安全令牌產品ERC-20安全令牌(BSAFE),并表示這是一種完全符合美國證券交易委員會證券法規的創收安全令牌。[2018/9/25]

Tags:區塊鏈TOKTOKESAL門羅幣是什么區塊鏈BTC Hashrate TokenTokesPRESALE幣

歐易交易所app下載
比特幣:天橋資本內部人士指責Brett Messing的加密投資決策失誤讓該基金陷入困境

據彭博社報道,天橋資本幾個內部人士透露,總裁兼合伙人BrettMessing也要為該公司的幾次失誤負責.

1900/1/1 0:00:00
ORK:公鏈Sui推出永久測試網,可在主網啟動后繼續運行

據官方博客,公鏈項目SuiNetwork宣布推出永久測試網,這是一個長期運行、去中心化和無需許可的測試網,與過去的Waves1和Waves2測試網不同.

1900/1/1 0:00:00
COI:Orderly?Network以2億美元估值從CoinDCX Ventures籌集新資金

據TheBlock報道,基于Near的DeFi協議OrderlyNetwork在戰略投資回合中從印度的CoinDCXVentures籌集了一筆未公開金額的資金.

1900/1/1 0:00:00
FTX:外媒:Paxful兩位聯創對簿公堂爭奪公司控制權,或是平臺關閉的真正原因

據Cointelegraph報道,比特幣P2P市場Paxful的兩位聯合創始人ArturSchaback和Mohamad(Ray)Youssef在美國特拉華州法庭上的激烈爭執可能是4月4日Pax.

1900/1/1 0:00:00
HAT:美聯教育去年加密貨幣相關業務共營收8159.9萬元,占總營收的20.4%

據藍鯨教育報道,日前,美聯教育在2022年年度報告中表示,2022年該公司加密貨幣相關業務共營收8159.9萬元,占總營收的20.4%.

1900/1/1 0:00:00
SIGN:FDIC要求Signature Bank加密客戶下周前取款

據CoinDesk報道,美國聯邦存款保險公司(FDIC)已要求SignatureBank的加密貨幣客戶在下周之前取款.

1900/1/1 0:00:00
ads