精选 优质 最新 关注

零时科技 || Hopenlend 攻击事件详细技术分析

详细介绍抢跑者是如何进行攻击的。

零时科技 || Fount-running, MEV和Hacker

最近，我们监控到了一笔抢跑的攻击事件，被攻击者是HopeLend

聚焦 Solidity、DeFi 与跨链桥：确保 opBNB 生态安全发展

opbnb的安全实践

智能合约形式化验证

形式化验证方法是智能合约进行确定性验证的有效手段，通过形式化语言把智能合约中的概念，判断和推理转化成智能合约模型，可以消除自然语言的歧义性和不通用性，进而采用形式化工具对智能合约建模、分析和验证，进行语义一致性测试，最后自动生成验证过的合约代码.如图2所示，本节将近年来基于形式化验证智能

  • 阿呆
  • 发布于 2023-10-12
  • 阅读 ( 498 )

Web3第一款AI安全引擎正式开源

Web3AI安全工具及代码审计服务提供商MetaTrustLabs近日宣布开源其AI安全引擎，这也是在Web3安全领域第一个开源的AI安全引擎。GPTScanAI引擎开源--开创先河的突破MetaTrustLabs对GPTScanAI引擎的开源聚焦于GPTScan的规则集与自定义规则扫

零时科技 || Vyper 重入锁漏洞导致的Curve 遭黑客攻击全路径分析

-建议在项目开发时选择稳定的技术栈以及对应版本，并对项目进行严格的测试，防止类似风险。

2023 年 Web3 中最常见的 10 个漏洞

2023 年 Web3 中最常见的 10 个漏洞： 输入验证不正确；计算错误；预言机/价格操纵； 弱访问控制； 重放攻击；舍入误差；重入攻击；抢跑；未初始化的代理；治理攻击。

记一次隐蔽的恶意攻击事件追踪分析

记一次隐蔽的恶意攻击事件追踪分析

慢雾：起底假充值攻击如何突破交易所的层层防御

慢雾：起底假充值攻击如何突破交易所的层层防御引言假充值攻击，是指攻击者通过利用交易所在处理充值过程中的漏洞或系统错误，发送伪造的交易信息到交易所钱包地址，这些伪造的交易信息被交易所误认为是真实的充值请求，并将对应的数字资产或货币添加到攻击者的账户中。攻击者利用这种方式，可以获得未经支付的数字资产

ApeDao事件代码复现

ApeDao事件代码复现

  • Archime
  • 发布于 2023-07-20
  • 阅读 ( 2141 )
  • ( 5 )

BNO事件代码复现

BNO事件代码复现

  • Archime
  • 发布于 2023-07-20
  • 阅读 ( 2097 )
  • ( 3 )

如何通过物理手段获得一组秘密安全的助记词？

你随身携带的硬件钱包真的安全么？事实上：无论是热钱包还是硬件钱包，你拿到的助记词都是软件通过随机自动帮你生成的。

  • 0xTodd
  • 发布于 2023-07-12
  • 阅读 ( 974 )

12.slither检测器之四——变量重写检测

in  Slither漏洞扫描框架使用(初级篇)

遍历所有的节点处理变量读写关系的示例

  • 小驹
  • 发布于 2023-07-04
  • 阅读 ( 934 )

DeFi 合约安全的新模式：关注协议不变性

在 DeFi 合约中，常见模式是Checks-Effects-Interactions（检查-生效-交互）模式， 不够好，它会让开发者忘记协议的核心不变性。 作者提出了一个新的模式：FREI-PI： 功能检查-生效-交互+协议不变性，让我们更多关注协议的不变性（安全性）。

  • Tiny熊
  • 发布于 2023-07-04
  • 阅读 ( 1446 )
  • ( 74 )

11.slither检测器之三——批量函数调用检测

in  Slither漏洞扫描框架使用(初级篇)

本文会涉及到slither中几类call的区别，slither遍历node时的常用的递归框架，以及将这两类知识应用到批量函数调用风险的检测中。

  • 小驹
  • 发布于 2023-07-03
  • 阅读 ( 998 )
  • ( 5 )

10.slither检测器分析之二——自杀函数检测及shift汇编函数检测

in  Slither漏洞扫描框架使用(初级篇)

1.理解自杀函数检测自杀函数的风险与应用场景。自杀函数可以做为一种隐藏的transfer的手段。 2.shift汇编函数与其它语言的参数不一致，容易混淆。

  • 小驹
  • 发布于 2023-07-03
  • 阅读 ( 860 )

ERC777 与任意调用合约可能出现的安全问题

Hook 是一个强大功能，可以带来更灵活的组合性。向任何强大的武器一样，使用不当可能会伤害到自己。 当任意调用与 Hook 在一起，更要小心。

  • Tiny熊
  • 发布于 2023-06-30
  • 阅读 ( 1279 )
  • ( 20 )

09.slither检测器分析之一——状态变量覆盖漏洞

in  Slither漏洞扫描框架使用(初级篇)

09.状态变量覆盖的含义状态变量覆盖是指子类中的状态变量将父类的状态变量进行覆盖，子类和父类使用了相同名称的状态变量。在这种情况下，如果操作子类的状态变量不会修改父类的状态变量，而此时代码的真实意图可能是为了修改父类的状态变量。

  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 1098 )
  • ( 3 )

08.slither中数据依赖检测示例

in  Slither漏洞扫描框架使用(初级篇)

1.理解数据依赖性的概念。 2.在源代码分析时，可以从用户的输入跟踪受影响的合约变量。

  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 951 )

07.Slither中间语言数据结构分析-node对象

in  Slither漏洞扫描框架使用(初级篇)

1.理解irs与irs_ssa的区别。 2.理解实现ssa时的支配边界的定义。 3.理解Node对象常用的方法。

  • 小驹
  • 发布于 2023-06-30
  • 阅读 ( 969 )
  • ( 2 )