宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > DOT > 正文

安全公司Salus:GPT3.5给出的合约漏洞分析多为误报,其对专业的审计工作并没有实质性帮助

作者:

时间:1900/1/1 0:00:00

区块链安全公司SalusSecurity团队对Coinbase主管ConorGrogan推文中使用的GPT4给出的合约漏洞分析进行了验证,发现多为误报:1.对于结果的第一点"ThecontractisbasedonaPonzischeme",可能是因为被检测合约的名称为PonziTokenV3。2.对于第二点,withdraw()函数和sellMyTokensDaddy()函数都遵循了CEI模式,不存在重入风险。3.第三点说的内容并不合理。4.对于第五点,这是条误报,而且把可能出现的逻辑分支说错了,在tokens!=totalSupply才有除法操作。

Web3安全公司Olympix融资430万美元,Boldstart Ventures领投:金色财经报道,人工智能支持的Web3安全公司Olympix宣布完成了430万美元的种子轮融资,本轮融资由Boldstart Ventures领投。其他参与者包括Robot Ventures和Shrug Capital等。

Olympix成立于2022年6月,为刚刚开始构建项目的开发者提供安全工具,以最大限度地降低智能合约漏洞的风险,这些漏洞可能需要花费时间和金钱来修复。Olympix利用人工智能扫描开发人员输入的代码,提出安全建议,只需点击一下即可解决。[2023/7/12 10:49:08]

Conor使用GPT4重新进行了测试,发现GPT4不再报出具体的漏洞,而是对代码和注释进行检查。GPT4修正了这一点,更侧重于代码格式和注释,对于复杂、专业的审计工作并没有实质性帮助。尽管如此,Salus认为这仍是AI史上重大的技术突破,期待并正在研究该工具在审计工作中的进一步用途,如辅助进行合约内容提炼和污点分析路径枚举等。

安全公司:MultiChainCapital遭受闪电贷攻击,黑客获利约10ETH:金色财经报道,据区块链安全审计公司Beosin旗下Beosin EagleEye安全风险监控、预警与阻断平台监测显示,MultiChainCapital项目遭受闪电贷攻击(攻击交易:0xf72f1d10fc6923f87279ce6c0aef46e372c6652a696f280b0465a301a92f2e26),黑客利用通缩代币未将pair排除例外地址,使用deliver函数造成代币增发,最后通过swap函数将增发的代币兑换获利10ETH,目前资金存在黑客地址未转出。Beosin Trace将持续对资金流向进行监控。[2023/5/9 14:52:28]

安全公司:5500万枚USDC从Circle转入Alameda:11月16日消息,据派盾监测,三小时前,5500 万枚 USDC 从 Circle 转入 Alameda Research 地址。[2022/11/16 13:10:28]

标签:GPTPIXTALOLYgpt币解锁PIXLS币BlockPortalWEXPOLY价格

DOT热门资讯
Celestia推出激励测试网计划Blockspace竞赛

据官方博客,模块化区块链网络Celestia推出激励测试网计划Blockspace竞赛。该竞赛将选择1000名参与者,包括验证者、桥接节点、全存储节点和轻节点.

1900/1/1 0:00:00
法兴银行子公司:DAI提取交易成功,已按照程序销毁RWA-008代币

MakerDAO在社交媒体公开了法国兴业银行子公司SocieteGeneraleForge的信函,其中指出此前进行的DAI提取交易成功,表明链上再融资市场可以向真实货币资产所有者开放,完全符合银行标准.

1900/1/1 0:00:00
硅谷银行爆雷后,全球逾190家公司的融资或需另寻出路

据外媒报道,全球逾190家从已破产的硅谷银行获得贷款的公司可能正在寻找新的银行。根据相关数据,SVB在银团贷款市场中参与的交易价值超700亿美元,其中大部分在美国。该公司还参与了亚洲的约18宗交易和欧洲的10宗交易.

1900/1/1 0:00:00
孙宇晨回应HT短时暴跌:火必运营一切正常,盘面现象属市场行为与波动

孙宇晨在推特上表示:“此次火必交易所运营一切正常,钱包正常,运营正常,后台正常。只因为现货、合约HT代币有部分用户触发杠杆连环爆仓的盘面现象。目前各项工作正稳步开展,并无任何突发现象,仅仅属于市场行为与波动.

1900/1/1 0:00:00
ScalingX与Web3加速器Outlier Ventures达成合作,合力赋能“Zero Knowledge Proof Base Camp”孵化计划

Web3加速器ScalingX与加密风投公司OutlierVentures达成合作关系,双方计划围绕ScalingX此前推出的“ZeroKnowledgeProofBaseCamp”孵化计划展开合作.

1900/1/1 0:00:00
美CFTC任命Circle等加密公司高管加入技术咨询委员会

美国商品期货交易委员会已任命Circle、TRM、Fireblocks等加密行业高管加入技术咨询委员会.

1900/1/1 0:00:00