区块链安全公司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]
据官方博客,模块化区块链网络Celestia推出激励测试网计划Blockspace竞赛。该竞赛将选择1000名参与者,包括验证者、桥接节点、全存储节点和轻节点.
1900/1/1 0:00:00MakerDAO在社交媒体公开了法国兴业银行子公司SocieteGeneraleForge的信函,其中指出此前进行的DAI提取交易成功,表明链上再融资市场可以向真实货币资产所有者开放,完全符合银行标准.
1900/1/1 0:00:00据外媒报道,全球逾190家从已破产的硅谷银行获得贷款的公司可能正在寻找新的银行。根据相关数据,SVB在银团贷款市场中参与的交易价值超700亿美元,其中大部分在美国。该公司还参与了亚洲的约18宗交易和欧洲的10宗交易.
1900/1/1 0:00:00孙宇晨在推特上表示:“此次火必交易所运营一切正常,钱包正常,运营正常,后台正常。只因为现货、合约HT代币有部分用户触发杠杆连环爆仓的盘面现象。目前各项工作正稳步开展,并无任何突发现象,仅仅属于市场行为与波动.
1900/1/1 0:00:00Web3加速器ScalingX与加密风投公司OutlierVentures达成合作关系,双方计划围绕ScalingX此前推出的“ZeroKnowledgeProofBaseCamp”孵化计划展开合作.
1900/1/1 0:00:00美国商品期货交易委员会已任命Circle、TRM、Fireblocks等加密行业高管加入技术咨询委员会.
1900/1/1 0:00:00