区块链安全
ChainFlag
Storage0x01cowSource Codepragma solidity ^0.4.0;contract cow{ address public owner_1; address public owner_2; address public owner_3; a...
EigenLayer checkpoint 机制技术解读
当前 Eigenlayer 面临的问题在 EigenLayer 正式上线后，协议本身为用户提供了 2 种 Restaking 选择，用户可以根据自己的需求来选取进行 LST Restaking 还是 N...
花小钱钓大鱼｜揭秘 1155 WBTC 钓鱼事件
By: Liz & Zero & Keywolf背景5 月 3 日，据 Web3 反诈骗平台 Scam Sniffer 的监测，一名巨鲸遭遇了相同首尾号地址钓鱼攻击，被钓走 1155 枚 WBTC，...
零时科技 || SATURN攻击事件分析
背景介绍2024年5月7日，我们监测到一次BNB SmartChain链上攻击事件，https://bscscan.com/tx/0x948132f219c0a1adbffbee5d9dc63bec676dd69341a6eca23790632cb9...
EIP191、EIP712解析
EIP-191简单来说EIP-191是为了定义智能合约中签名数据的格式。EIP191的数据格式为：0x19 <1 byte version> <version specific data> <data to...
什么是智能合约的形式化验证？
什么是形式化验证？如今，运行在各条区块链上的智能合约控制着总计价值上千亿美元的数字资产 [1]。和传统的软件程序一样，智能合约也会由于开发人员的疏忽出...
EigenLayer: 链上担保机制及如何惩罚可恶的有钱人
前言前几天，EigenLayer 终于公布了其治理代币 EIGEN 的代币模型。EigenLayer 似乎很执着于用新词来把自己和其他项目进行区分，此次公布代币白皮书，又用了&n...
针对MOXA的串口服务器的一次渗透测试
Moxa NPort W2150A 是一款专为工业应用而设计的以太网转串行服务器。它充当以太网和串行通信之间的桥梁，允许传统串行设备连接到现代以太网。串口服务器的使...
paradigm 2022 ctf ——Hint-finance
题目分析题目提供了三个合约，要求我们调用isSolved函数成功返回true。要求我们拿走金库中百分之九十九的初始代币，也就是题目提供的三个代币地址，根据Ether...
SecMet#4期 大模型辅助静态分析的智能合约逻辑漏洞检测
[SecMet]是安全学术圈近期打造的一个线上线下结合的学术研讨模式，研讨会分为全公开和半公开模式，其中半公开模式仅对安全学术圈内部交流群和特殊专题投稿人...