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

跨链互操作性和安全性 – Coinchange报告概要

本文分析了跨链桥在区块链互操作性中的重要作用及其面临的安全挑战。报告指出，桥接攻击已成为DeFi领域资金被盗的主要原因，并深入探讨了桥接安全的三大支柱：经济安全、实施安全和环境安全，同时还提出了应对桥接风险的缓解措施，强调了风险评估框架的重要性。
跨链桥  互操作性  安全  DeFi  攻击  风险评估 
  • hacken
  • 发布于 2025-07-01
  • 阅读 ( 64 )

区块链中的抢跑交易：真实案例与预防

本文深入探讨了加密领域中的抢跑交易（Front-Running）问题，解释了其在DeFi中的运作方式，包括通过操纵交易顺序、Gas价格等手段获利。文章还分析了Hacken在智能合约审计中发现的潜在抢跑漏洞案例，并提出了平台和用户应采取的预防措施，同时提及了白帽黑客利用MEV机器人进行反制。
抢跑交易  MEV  智能合约  安全审计  DeFi  以太坊 
  • hacken
  • 发布于 2025-07-01
  • 阅读 ( 123 )

安全指南：使用 Solodit 保护智能合约

本文介绍了 Solodit 社区维护的智能合约安全审计检查表，强调了智能合约安全的重要性，并列举了由于漏洞导致重大经济损失的案例。文章详细介绍了使用该检查表进行智能合约审计的前提条件、所需资源，并深入探讨了包括重入攻击、拒绝服务攻击、抢跑交易等常见的漏洞及其缓解措施，同时还介绍了安全开发的最佳实践。文章还提到了2025年最新的安全工具和技术更新。
智能合约  安全审计  Solodit 检查表  重入攻击  拒绝服务  前置交易  以太坊  漏洞 

利用形式化验证查找编译器 Bug

本文介绍了Certora团队开发的一款用于验证编译器优化的等价性检查工具，该工具通过比较优化前后程序的行为来检测编译器bug。文章还分享了该工具在Vyper编译器中发现的一个优化bug，该bug导致局部变量被错误地映射到相同的堆栈位置，从而改变了程序的行为。该bug已在Vyper 0.4.2版本中修复。
编译器优化  等价性检查  形式化验证  Vyper  Certora Prover  bug检测 
  • Certora
  • 发布于 2025-07-01
  • 阅读 ( 963 )
  • ( 3 )

实用工具 - OpenZeppelin 文档

本文档介绍了OpenZeppelin Contracts库中的实用工具合约和库，用于提高智能合约的安全性、处理新型数据类型以及安全地使用底层原语。包括安全工具（如Pausable和ReentrancyGuard），以及用于处理地址、数组和字符串的库。此外，还介绍了用于处理计数器、可枚举映射和集合的实用工具，以及安全使用CREATE2操作码的工具。
Pausable  ReentrancyGuard  EnumerableMap  EnumerableSet  CREATE2  重入攻击  安全转换 

Silo Finance 杠杆合约攻击事件事后分析

Silo Finance 的一个新杠杆合约模块在测试阶段遭到攻击，由于过于宽泛的批准设置导致借款操控漏洞。该模块与核心Silo协议隔离，因此核心协议、金库、市场或用户资金未受影响。Certora 此前对该合约进行了安全审查，但未发现此漏洞，事后进行了风险评估和补救措施，并确认现有Silo代码是安全的。
Silo Finance  杠杆合约  安全漏洞  Certora  风险评估  形式化验证  智能合约 
  • Certora
  • 发布于 2025-06-28
  • 阅读 ( 986 )
  • ( 5 )

Curve Finance流动性池遭黑客攻击事件始末

Curve Finance 在 2023 年 7 月 30 日遭受了重入攻击，损失高达 6900 万美元。根本原因是 Vyper 编程语言的编译器漏洞，该漏洞导致存储槽不匹配并扰乱了非重入保护。白帽社区成功追回了 70% 的损失，最终损失约为2000万美元。
Curve Finance  Vyper  重入攻击  编译器漏洞  DeFi 安全  以太坊 
  • hacken
  • 发布于 2025-06-27
  • 阅读 ( 48 )

51%攻击：概念、风险与预防

本文深入探讨了Web3中51%攻击的原理、风险和预防措施。51%攻击是指攻击者控制超过51%的网络算力，从而篡改交易历史、阻止交易完成、阻止验证者获得奖励以及进行双重支付。文章还讨论了51%攻击的成本、后果，并列举了比特币黄金和以太坊经典等真实案例，提出了更改共识算法、延迟区块链确认、实施惩罚系统等预防方法。
51%攻击  区块链安全  双重支付  共识算法  算力  攻击预防 
  • hacken
  • 发布于 2025-06-27
  • 阅读 ( 68 )

网络钓鱼攻击日益复杂

本文是一位网络安全专家分享了自己亲身经历的一次复杂加密货币钓鱼攻击，攻击者通过伪装成Coinbase员工，利用社工手段和多渠道协同，试图诱导受害者转移资产到虚假的Coinbase Vault中。作者详细拆解了攻击过程中的各种欺骗手段和危险信号，并分享了实用的安全建议，旨在帮助数字资产投资者识别和防范日益复杂网络钓鱼攻击。
网络钓鱼  加密货币  Coinbase  安全  多重签名钱包  社会工程学 
  • Galaxy
  • 发布于 2025-06-27
  • 阅读 ( 1072 )
  • ( 35 )

揭示Solana的ZK ElGamal证明程序中的幻影挑战可靠性漏洞- ZKSECURITY

在Solana的ZK ElGamal Proof Program中发现了一个严重的声音漏洞，该漏洞允许恶意证明者伪造sigma OR 证明，绕过机密传输中的费用验证。攻击者可以操纵加密的费用金额来任意铸造或烧毁Token，而无需泄露实际的传输价值。该漏洞的根本原因是Fiat-Shamir转换中的一个微妙错误，即一个由证明者生成的“挑战”值未被吸收到transcript中。
零知识证明  Solana  ZK ElGamal Proof Program  sigma OR 证明  Fiat-Shamir转换  密码学 

Euler Finance 黑客攻击事件详解

2023年3月，Euler Finance 协议遭受闪电贷攻击，损失高达1.87亿美元。攻击者通过创建多个合约，利用 Aave 闪电贷，并利用 Euler Finance 合约中 donateToReserves 函数缺乏流动性检查和健康评分的缺陷，成功窃取大量资金。
Euler Finance  闪电贷攻击  智能合约  安全漏洞  流动性检查  健康评分 
  • hacken
  • 发布于 2025-06-27
  • 阅读 ( 59 )

智能合约安全：确保每个开发阶段的安全

本文深入探讨了智能合约安全开发的各个阶段，包括设计、开发、测试、部署和维护。强调了在每个阶段需要考虑的关键安全因素，并提供了实用的建议和全面的指南，以增强智能合约的安全性，降低潜在的风险，确保智能合约按照预期运行。
智能合约  安全  漏洞  重入攻击  闪电贷攻击  安全审计 
  • hacken
  • 发布于 2025-06-27
  • 阅读 ( 58 )

如何超越私钥风险，实现智能合约彻底安全

文章分析了当前区块链安全领域中，私钥泄露已成为最主要的攻击手段，并提出了一个访问控制成熟度模型，从单一EOA控制到完全不可变的架构，为开发者提供了设计更安全、更能容忍私钥泄露的系统的指导，建议开发者尽早关注架构设计，采用多重签名、时间锁、最小权限原则等方法来提高系统的安全性。
私钥泄露  多重签名  时间锁  最小权限原则  访问控制  智能合约安全 

重入攻击：智能合约中的风险、影响和预防

本文深入探讨了重入攻击，这是一种针对智能合约的常见安全威胁。文章详细分析了重入攻击的原理、不同类型（包括单函数重入、跨函数重入和跨合约重入），并提供了实际案例，如Rari Capital和Orion Protocol的漏洞利用事件。此外，文章还强调了预防重入攻击的关键措施，包括使用互斥锁、遵循检查-效果-交互模式以及进行定期的安全审计，旨在提高智能合约的安全性。
重入攻击  智能合约  Solidity语言  安全漏洞  区块链安全  攻击模式 
  • hacken
  • 发布于 2025-06-27
  • 阅读 ( 52 )

零时科技 || SiloFinance 攻击事件分析

我们监控到 Ethereum 上针对 SiloFinance 的攻击事件，攻击共造成 54.6k USD 的损失。

Hyperlane 速率限制 ISM 和 Hook 中的访问控制缺陷

作者在 Hyperlane 的智能合约代码库中发现了一个严重漏洞，该漏洞存在于其速率限制的实现中，攻击者可以以极小的成本完全关闭跨链Token传输和消息验证，Hyperlane 团队通过实施适当的访问控制措施解决了该问题。
Hyperlane  跨链通信  速率限制  智能合约  拒绝服务攻击  访问控制 

Solodit清单详解：Rug Pull

本文解释了Solodit Checklist中的关于“Rug Pull”的风险，即管理员权限过大导致恶意提取用户资金的安全问题。文章通过Zunami Protocol事件，强调了限制管理员权限的重要性，并提供了诸如费用分离、时间锁等安全设计模式，以降低合约风险，保障用户资产安全。
rug pull  智能合约  管理员权限  安全漏洞  DeFi  Solidity 
  • Cyfrin
  • 发布于 2025-06-26
  • 阅读 ( 1426 )
  • ( 68 )

自定义脚本 - OpenZeppelin 文档

本文介绍了OpenZeppelin Monitor的自定义脚本功能，该功能允许用户实现自定义的过滤器脚本和通知处理脚本，从而实现更精细的监控匹配和个性化的通知处理。文章详细说明了如何使用 Bash、Python 和 JavaScript 创建脚本，以及脚本的输入输出要求。此外，还提供了性能方面的考虑，例如文件描述符限制、脚本超时和资源使用情况。
OpenZeppelin Monitor  自定义脚本  过滤器脚本  通知脚本  Bash  Python  JavaScript 

内存安全 ≠ 智能合约安全：为什么Solana程序仍然需要审计

文章强调了Rust的内存安全特性并不能完全保证Solana智能合约的安全性，Solana程序仍然需要进行安全审计，以发现逻辑错误、权限验证缺失、不安全的跨程序调用等问题。
Solana  Rust  智能合约  安全审计  漏洞  内存安全  Anchor  跨程序调用 

🎯 有状态模糊测试与无状态模糊测试

本文深入探讨了无状态模糊测试和有状态模糊测试在智能合约安全中的作用。无状态模糊测试将每个测试案例视为独立事件，适用于快速发现输入验证和简单功能中的漏洞。有状态模糊测试则追踪系统状态，模拟真实攻击行为，擅长检测多步骤交互和状态依赖性漏洞，如重入攻击和经济漏洞。文章还介绍了混合模糊测试策略、工具和实践，强调了在DeFi安全中综合运用两种方法的重要性。
模糊测试  智能合约  安全  无状态模糊测试  有状态模糊测试  DeFi