目录 目录 总结 范围 系统概述 SpokePoolPeriphery MulticallHandler 变更 PeripherySigningLib 安全模型和新的信任假设...
XION 是一个专为去中心化应用设计的区块链平台,支持使用 CosmWasm 开发智能合约。本文将基于官方文档,详细介绍如何在 Windows 的 WSL2(Windows Subsystem for Linux 2)环境下,基于 Ubun...
任意调用审计技巧 总体思路:如果一个合约有任意调用,它通常不应包含 transfer/transferFrom/approve 调用。如果合约中存在这样的调用,则意味着 合约 存储了 tokens 或对它们的授权。因此,它们可以通过对...
EVM 限制 & 汇编审计技巧 本文将只关注那些在保持代码安全方面可能非常有价值的领域。 合约字节码大小限制 - 24kb; 自定义错误 比 revert(“error text”) 占用更少的字节码空间;...
加密货币诈骗的新面孔 过去一年发生了一些变化,不仅仅是诈骗的规模,还有它们的复杂性。我们过去依赖的旧标记,如错别字、笨拙的布局、中断的流程,几乎都消失了。取而代之的是精致的界面、简洁的文案,以及感觉像是直接来自你最喜欢的协议的交互。 那...
介绍:捐赠攻击的隐蔽威胁 想象一下,你正在以太坊上运行一个众筹 dApp。你的社区热闹非凡,支持者纷纷发送 ETH,你的活动也越来越受欢迎。一切似乎都很完美 — 直到攻击者在没有使用你的捐赠函数的情况下,将 ETH 偷偷地塞进你的合约。突...
ERC4626 金库安全 v12.0 概述 本入门手册整合了在多个金库实现中发现的关键安全模式和漏洞,包括 ERC4626 金库、生息金库、类金库协议、自动赎回机制、加权池实现、跨链金库系统、多金库架构、与 AMM 集成的金库系统、CD...
本指南将引导你创建一个完整的 SEDA 网络上的 Oracle Program,该程序从 USGS API 获取实时地震数据,包括智能合约开发和交互式前端界面。 目录 准备工作和设置 项目结构 开发你的 Oracle...
治理提案的正确方式 探讨 safe-utils 和 tenderly-utils 如何帮助简化多重签名交易提案和模拟。如果你的 DAO 或协议不断地将更新推送到生产环境,本文将对你有所帮助。 在构建可升级或可配置的协议时,一种常见的设置...
介绍 唯一一种能够一次又一次成功保护安全关键型应用的技术是形式化验证¹。DeFi 应用是安全关键型的 —— 这些应用中的漏洞可能被利用,造成灾难性的后果,不幸的是,现实世界不乏 демонстрирующий 这一点的事例。因此,形式化验...