比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads

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

Author:

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

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

網絡安全公司Irius Risk完成2870萬美元B輪融資,將拓展Web3及區塊鏈安全業務:10月5日消息,網絡安全初創公司Irius Risk宣布完成2870萬美元B輪融資,本輪融資由Paladin Capital領投,360 Capital、Inveready、Swanlaab Venture Factory參投。Irius Risk開發的安全平臺能幫助企業識別軟件和系統設計中的潛在威脅并提出對策,從而提升產品安全性。

在新資金支持下,Irius Risk希望將其業務拓展至Web3及區塊鏈領域領域,其創始人De Vries表示,網絡安全的下一個潛在增長領域將是Web3和區塊鏈技術,雖然這是一個仍處于初級階段的行業,但預計監管和消費者對更高安全性的需求將迫使更多Web3開發者在創建產品過程中建立威脅模型。(Sifted)[2022/10/5 18:40:08]

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

區塊鏈安全公司BlockSec完成近5000萬元人民幣天使+輪融資:7月6日消息,區塊鏈安全公司安節科技BlockSec完成近5000萬元人民幣天使+輪融資本輪融資由綠洲資本和經緯創投共同領投,Mirana Ventures、CoinSummer 和YM Capital跟投。融資后,BlockSec未來將擴展團隊和擴大業務,將新的安全技術轉換成產品,為區塊鏈提供安全基礎架構。(36kr)[2022/7/6 1:53:36]

北京財政用上區塊鏈電子票據 提供更安全公眾服務:記者昨天從市財政局獲悉,北京在財政電子票據領域首次試點應用了區塊鏈技術。當日,兩家首批區塊鏈電子票據試點單位,成功開出區塊鏈醫療收費票據和區塊鏈公益事業捐贈票據。市財政局表示,區塊鏈技術的應用,使財政票據開具流轉的全過程信息都被真實、全面地記錄在區塊鏈上。下一步,北京市財政局將在試點基礎上,按照北京政務服務領域區塊鏈應用行動計劃的有關部署,加強與相關部門間的數據融合和共享,推進區塊鏈財政電子票據的推廣工作,進一步優化廣大用票單位和社會公眾的用票體驗。(北京日報)[2020/3/26]

Tags:區塊鏈ISKSECWEB3區塊鏈的幾個大騙局有哪些ISKY幣SecretWEB3價格

中幣交易所
Aave社區發起在Polygon zkEVM主網上部署Aave V3 MVP版本的溫度檢查討論_LYG

Aave社區發起關于在PolygonzkEVM主網上部署AaveV3MVP版本的溫度檢查治理討論.

1900/1/1 0:00:00
Compass Mining提醒礦工礦工注意比特大陸ASIC設計的變化_COM

據Bitcoin.com報道,比特幣礦企CompassMining發布了一篇題為“比特大陸改變其ASIC設計”的博文。文章稱,“礦工需要做好準備”,強調了比特大陸ASIC設計的變化.

1900/1/1 0:00:00
數據:Blockchain Capital今日賣出約153萬枚LDO和6萬枚RPL,獲利223萬美元_BLOCK

據推特用戶余燼監測,BlockchainCapital在今早賣出了大部分LSD幣種并獲得223萬美元收益.

1900/1/1 0:00:00
推特用戶:Shibarium涉嫌抄襲Rinia,團隊已解鎖500萬美元的BONE_SHI

推特用戶@Rancune_eth發推文稱,ShibaInu推出的基于以太坊的Layer2網絡Shibarium涉嫌抄襲Rinia,且團隊并未更改鏈ID.

1900/1/1 0:00:00
Bitget正式推出ARBETF現貨 ,ARB相關空投活動進行中_BIT

Bitget推出的Arbitrum充值交易活動即將上線。活動時間2023年3月22日11:00-2023年3月29日18:00,活動包含充值、交易、Staking等多種參與方式,總獎金池250,

1900/1/1 0:00:00
Angle Protocol:有1760萬枚USDC資金受Euler攻擊事件影響_EUL

去中心化穩定幣協議AngleProtocol在推特上表示:“AngleProtocol受Euler漏洞利用的影響,該協議將1760萬枚USDC存入Euler.

1900/1/1 0:00:00
ads