全部 通识 以太坊 比特币 Solana 公链 Solidity Web3应用 编程语言 安全 密码学 AI 存储 其他

使用 Deptective 调查你的依赖项

Deptective 是 Trail of Bits 发布的一款开源工具，旨在自动发现软件运行所需的依赖包。通过跟踪软件的系统调用，Deptective 能够识别缺失的文件，并在 Linux 发行版的索引中查找包含这些文件的软件包，最终确定并安装所有必要的依赖项，从而成功运行软件。
依赖分析  开源工具  系统调用跟踪  软件包管理  linux  Deptective 

ERC4626 金库安全指南 v12.0

本文档是ERC4626 Vault安全启动的第12.0版本，内容涵盖了ERC4626 Vault实现中发现的关键安全模式和漏洞，包括各种类型的Vault、跨链系统、AMM集成、CDP实现、清算机制、以及预言机和价格馈送问题等。文档详细列出了非标准代币支持问题、重入攻击、首次存款攻击、份额和价格操纵、通胀/紧缩攻击等一系列安全漏洞模式，并提供了相应的安全实施示例、检测方法和缓解措施。
ERC4626  Vault  智能合约  安全漏洞  重入攻击  预言机  清算 
  • devdacian
  • 发布于 2025-07-08
  • 阅读 ( 3275 )
  • ( 162 )

Web3中AI生成的诈骗的兴起：2025年最危险的趋势

AI技术被用于加密货币诈骗，诈骗手段愈发精良，从仿冒用户界面到自动化社交工程，再到武器化治理，攻击者利用AI以前所未有的速度模仿项目，用户仅凭界面外观已难以判断安全性，Web3的未来之战将是与仿冒的斗争。
AI  加密货币诈骗  社会工程  web3安全  智能合约  人工智能 

零时聚焦 || 2025 年上半年 web3 链上安全态势分析报告

Web3 区块链领域发生重大安全事件 87 起，因黑客攻击、钓鱼诈骗和项目方 Rug Pull 造成的经济损失达 22.9 亿美元
黑客攻击  钓鱼攻击  web3安全 

BlockThreat - 2025年第26周周报

本周发生了多起安全事件，Resupply和Silo Finance损失惨重，攻击源于常见的漏洞，即利用空市场的舍入误差来铸造过多的协议代币。此外，MEV机器人的访问控制不足和函数参数验证不严也导致了损失。文章还提到了Unphishable项目，旨在帮助用户识别和避免常见的Web3网络钓鱼攻击。
漏洞  安全事件  MEV  网络钓鱼  智能合约安全  区块链安全 

GitHub 上一个流行的 Solana 工具暗藏加密货币盗窃陷阱

SlowMist 安全团队分析了一起用户因使用 GitHub 上的恶意开源项目 solana-pumpfun-bot 而导致钱包资产被盗的事件。攻击者通过伪造流行的项目，并嵌入恶意依赖 crypto-layout-utils，诱使用户下载并运行，从而窃取用户的私钥。分析发现攻击者使用多个 GitHub 账号分发恶意软件，并通过链上 AML 工具追踪到被盗资金流向 FixedFloat 交易所。
Solana  供应链攻击  npm  恶意软件  私钥泄露  社会工程学 
  • slowmist
  • 发布于 2025-07-05
  • 阅读 ( 2085 )
  • ( 40 )

使用 Claude 进化专业 AI 智能合约审计工具

本文介绍了一个名为Amy的开源智能合约审计工具，它使用AI并通过“Priming”技术不断自我进化，专注于Vault / ERC4626智能合约协议的审计。文章还讨论了Amy与人类审计师和静态分析工具的比较，以及Amy的局限性和未来发展方向，例如创建更多专业化的AI审计工具。
智能合约审计  AI  ERC4626  Vault协议  代码安全  漏洞检测 
  • Dacian
  • 发布于 2025-07-05
  • 阅读 ( 2408 )
  • ( 41 )

EVM 任意调用审计要点

本文探讨了智能合约审计中任意调用（Arbitrary Calls）的风险，指出合约若存在任意调用，则不应包含 transfer/transferFrom/approve 等操作，否则可能导致代币被盗。文章还列举了需要检查的要点、安全假设以及应对措施，强调了防范利用任意调用漏洞的重要性。
智能合约  审计  任意调用  安全漏洞  重入攻击  delegatecall 

第二部分：如何保护你的智能合约免受状态膨胀和Gas消耗攻击

本文深入探讨了智能合约中高级拒绝服务（DoS）攻击，重点介绍了状态膨胀和Gas消耗攻击（Gas Griefing）的原理、攻击方式以及实际案例，并通过代码示例展示了如何通过限制状态增长、批量处理数据、实施熔断机制等手段来构建具有DoS防御能力的智能合约。
智能合约安全  DoS攻击  状态膨胀  gas消耗攻击  Solidity  以太坊 

漏洞搜寻：零知识、充分偏执与反向凝视的AI - ZKSECURITY

本文探讨了AI在零知识电路和应用程序中发现漏洞的能力，zkSecurity开发了一款名为SnarkSentinel的AI驱动的ZK审计工具。
AI  零知识证明  审计  漏洞检测  SnarkSentinel  上下文工程 

Across协议OFT集成差异化审计

本文是对 Across 协议代码的审计报告，重点关注了引入 LayerZero OFT 桥接机制的更改，并评估了其安全性、集成性和潜在风险。报告内容包括高、中、低风险的问题，以及关于代码质量、测试覆盖率和文档的改进建议。同时，报告也强调了协议中存在的信任假设和未来集成时需要注意的关键点。
区块链  跨链桥  LayerZero  OFT  安全审计  智能合约  代码分析 

Periphery变更审计

本次OpenZeppelin对Across协议的合约仓库进行了差异化审计，重点关注SpokePoolPeriphery合约及其相关组件。审计发现了包括高、中、低风险在内的多个问题，主要集中在智能合约中swap逻辑，签名处理，EIP-712编码，重放攻击等方面，所有发现的问题均已被修复。本次审计旨在提升Across协议的跨链桥功能和用户体验，确保资产转移的安全性和效率。
跨链桥  智能合约  安全审计  EIP-712  重放攻击  Permit2 

安全 - 慢雾 - Slowmist

该报告总结了2025年上半年区块链安全领域的关键发现，包括安全事件回顾、欺诈手段、反洗钱形势、监管发展以及被冻结和追回的资金情况。报告强调了合规的重要性，并分析了Lazarus Group、Drainers和HuionePay等组织的活动及混币器的使用情况。
区块链安全  反洗钱  欺诈  漏洞  监管  加密货币 
  • slowmist
  • 发布于 2025-07-03
  • 阅读 ( 1862 )
  • ( 35 )

慢雾：2025年Q2 MistTrack被盗资金分析

本文是慢雾科技发布的2025年Q2被盗资金报告，分析了429起用户提交的被盗资金案例，揭示了包括假冒硬件钱包、EIP-7702钓鱼、恶意浏览器扩展、微信账号劫持和社会工程攻击等多种盗窃手段，并提出了相应的防范建议，旨在帮助用户更好地了解和防范安全风险，保护自己的资产。
钓鱼攻击  硬件钱包  EIP-7702  浏览器扩展  社会工程学  资金盗窃 
  • slowmist
  • 发布于 2025-07-03
  • 阅读 ( 2001 )
  • ( 32 )

Cyfrin 2025年7月区块链安全与教育新闻通讯

Cyfrin发布了2025年7月的区块链安全和教育新闻通讯，内容涵盖了新的GMX交易课程、职业发展方向、Web3钱包安全课程和资格认证、Solodit更新以及CodeHawks Eagles的成功案例。此外，还包括高风险攻击事件的分析、Solana程序执行的深入探讨、以及关于使用EIP-7702从受损钱包中恢复资产的Bash脚本。
区块链安全  智能合约审计  DeFi安全  Web3钱包  Solidity  漏洞 
  • Cyfrin
  • 发布于 2025-07-03
  • 阅读 ( 2322 )
  • ( 46 )

Foundry作弊码第7部分：不变性测试详解

本文介绍了Foundry中的不变性测试，这是一种状态模糊测试，用于验证智能合约在随机调用序列下是否始终满足预定义的规则。通过编写以`invariant_`为前缀的测试函数，Forge会自动生成随机交易序列来尝试违反这些规则，从而帮助开发者在早期发现潜在的逻辑错误和安全漏洞。
Foundry  不变性测试  模糊测试  智能合约  安全  EVM 

Remitano、GAMBL、Rocketswap：当操作失误击败代码漏洞

本文分析了Remitano、GAMBL、DAppSocial和Rocketswap近期发生的四起安全漏洞事件，损失总计超过440万美元。这些事件主要由于私钥泄露、推荐系统漏洞和逻辑漏洞导致，强调了操作安全在Web3安全中的重要性。
私钥泄露  智能合约安全  安全漏洞  以太坊  Arbitrum  操作安全 

CoinEx、火币、FloorDAO：当密钥、逻辑和供应控制全部失效

本文总结了近期Huobi, CoinEx, BFCToken, FloorDAO等多个项目遭受的攻击事件，总损失超过6000万美元。攻击原因包括私钥泄露、价格操纵漏洞和逻辑漏洞等。同时，文章也推广了Olympix提供的Solidity分析工具，旨在帮助开发者识别和修复智能合约中的漏洞。
私钥泄露  价格操纵  逻辑漏洞  智能合约  安全漏洞  区块链安全 

CIVNFT、Themis、Shido：当访问控制、预言机和配置同时失效

本文总结了近期发生的四起智能合约漏洞利用事件，涉及CIVNFT、Themis Protocol、Shido以及DEPUSDT/LEVUSDT。
智能合约  漏洞利用  访问控制  价格操纵  安全审计  Solidity 

打破 Gas 陷阱：保护智能合约免受拒绝服务攻击

本文是智能合约安全系列文章的第一部分，主要讨论了智能合约中拒绝服务（DoS）攻击的威胁与防范。文章通过实际案例Fomo3D，讲解了DoS攻击如何利用以太坊的gas限制使合约不可用，并重点介绍了利用无限制循环和外部调用失败两种主要攻击手段。文章还提供了使用“拉取而非推送”模式、限制状态增长、熔断器等多种缓解措施，以及Slither、MythX、Foundry等高级工具，以构建更具弹性的智能合约。
拒绝服务攻击  DoS攻击  智能合约安全  Solidity语言  以太坊  Gas限制