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

智能合约安全工具-比较

在本文中，我将解释如何使用一些智能合约安全工具（Mythril、MythX、Slither、Manticore、Security、SmartCheck）来查找和利用以太坊智能合约中的安全漏洞。文章将涵盖基本原理和高级技术，例如测试安全属性、比较这些安全工具。
区块链安全 

BRA代币被攻击事件分析

此次攻击主要是在代币在转帐时没考虑到tax可能被收取两次的情况导致代币增发造成的
智能合约安全 
  • Drac
  • 发布于 2023-01-11
  • 阅读 ( 2934 )
  • ( 10 )

Defi hack挑战-DiscoLP及真实案例分析

整片文章详细的分析了defi hack的关卡，及其相关的defi攻击的真实案例！
区块链安全 

智能合约审计-拒绝服务漏洞及案例分析

详细介绍了智能合约dos攻击，及真实案例分析
安全审计 

智能合约审计-重入漏洞

重入攻击是 Solidity 智能合约中最具破坏性的攻击之一。
重入攻击 

智能合约安全审计入门篇 —— 移花接木

本期我们来带大家了解一下如何识别在合约中隐藏的恶意代码。
安全审计  智能合约 

PLDT事件 漏洞分析

PLDT事件 漏洞分析
PLTD  价格操纵 
  • Archime
  • 发布于 2023-01-02
  • 阅读 ( 4137 )

BGEO代币增发 漏洞分析

BGEO代币增发 漏洞分析
BGEO  智能合约安全  离线签名 
  • Archime
  • 发布于 2023-01-01
  • 阅读 ( 3925 )
  • ( 3 )

DFS事件 漏洞分析

DFS事件 漏洞分析
DFS 
  • Archime
  • 发布于 2023-01-01
  • 阅读 ( 3967 )
  • ( 2 )

jaypeggerz 重入漏洞

jaypeggerz 重入漏洞
jaypeggerz  重入攻击 
  • Archime
  • 发布于 2022-12-30
  • 阅读 ( 3969 )

以太坊Fuzz技术分析

通过ContractFuzzer来理解以太坊Fuzz技术
Fuzz  以太坊 
  • 九暑
  • 发布于 2022-12-27
  • 阅读 ( 6055 )
  • ( 12 )

以太坊数据流分析技术

通过Slither工具理解以太坊数据流分析技术
数据流  以太坊 
  • 九暑
  • 发布于 2022-12-27
  • 阅读 ( 6252 )
  • ( 36 )

Defrost_Finance重入漏洞分析

Defrost_Finance重入漏洞分析
漏洞分析  区块链安全  重入攻击 
  • Archime
  • 发布于 2022-12-26
  • 阅读 ( 4077 )

朝鲜 APT 组织对 NFT 用户大规模钓鱼分析

9 月 4 日，推特用户 Phantom X 发推称朝鲜 APT 组织针对数十个 ETH 和 SOL 项目进行大规模的网络钓鱼活动。
钓鱼攻击  NFT 

关于形式验证智能合约的五个误解

本文深入探讨了形式验证在智能合约中的重要性，驳斥了关于形式验证的多种误解，强调其在代码开发过程中及早介入的重要性，以及如何提高智能合约的安全性。形式验证不仅能帮助发现安全漏洞，还能通过清晰的规范来保障代码的正确性。
形式验证  智能合约  安全性  代码规范  编程错误  去中心化金融 
  • Certora
  • 发布于 2022-12-22
  • 阅读 ( 702 )

DFX Finance攻击事件分析

DFX Finance攻击事件分析
安全事件分析  闪电贷  漏洞分析 
  • Drac
  • 发布于 2022-12-16
  • 阅读 ( 3592 )
  • ( 12 )

AES攻击事件分析

AES价格被操纵攻击事件分析
安全事件分析  漏洞分析  闪电贷 
  • Drac
  • 发布于 2022-12-14
  • 阅读 ( 4678 )
  • ( 21 )

RFB漏洞

RFB漏洞
RFB  智能合约安全 
  • Archime
  • 发布于 2022-12-07
  • 阅读 ( 3623 )
  • ( 5 )

关于审计技术和工具 101事

区块链项目代码审计必不可少，看看有哪些方式可以让我们的项目更安全。
安全审计 

无种子自我托管：论多方计算钱包和智能合约钱包

本文探讨了加密资产自我托管的重要性，分析了传统钱包、多方计算（MPC）钱包和智能合约钱包的优缺点，并讨论了钱包开发生态面临的挑战。文章指出，MPC钱包和智能合约钱包各有优势，可以互补，共同推动去中心化经济的发展，使用户能够在无需将命运掌握在少数人手中的情况下参与其中。
自我托管  MPC钱包  智能合约钱包  多重签名  账户抽象  密钥管理