Blog

所有文章

共 74 篇文章

JVM Native Memoryglibc malloc arena

一次线上 Java 服务反复 OOMKilled 的排查:不是堆漏,是 glibc malloc arena 碎片

从 RSS 缓慢爬升被 cgroup 杀掉出发,一步步定位到 glibc 多 arena 的 native 内存碎片,给出 MALLOC_ARENA_MAX 修复与完整排查命令清单

READ
Contract MetadataCBOR Encoding

Solidity 智能合约元数据详解

理解附加在字节码末尾的 CBOR 元数据:IPFS 哈希、编译器版本、用途与移除方法

READ
Deployment CostGas Accounting

智能合约部署成本详解:六大 Gas 组成部分

拆解合约创建的全部 Gas 来源:基础费、创建费、存储初始化、calldata、初始化执行与代码存储

READ
Creation CodeInit Code

以太坊合约创建码详解:init code 如何部署 runtime code

理解创建码三段结构、init code 如何返回运行时代码、构造参数与 immutable 的字节码处理

READ
EIP-15063/64 Rule

EIP-150 与 Gas 转发的 63/64 规则详解

理解调用深度攻击、每层调用保留 1/64 Gas 的机制及其对嵌套调用与 gas griefing 的影响

READ
EIP-2930Access List

EIP-2930 访问列表交易详解:预热存储槽省 Gas

理解冷热访问成本、访问列表如何预声明地址与存储槽节省跨合约调用的 Gas 及其陷阱

READ
Gas OptimizationStorage Packing

Solidity Gas 优化技巧终极清单

系统梳理存储、部署、跨合约调用、calldata、汇编与编译器层面的全部 Gas 优化手段

READ
Interest Rate ModelUtilization Kink

Compound V3 每秒利率模型详解

理解基于利用率的拐点(kink)分段利率、供需利率独立计算与每秒到年化的换算

READ
Compound V3Lending Protocol

Compound V3(Comet)架构详解

理解 V3 单一可借基础资产、隔离市场、不可变参数与 Comet/Configurator/Factory 合约体系

READ
Rebasing TokenCometExt

cUSDC V3(Comet)作为非标准 Rebasing 代币与 CometExt.sol

理解余额随利息无声增长、二元授权、现值计价与 CometExt 扩展模式的非标准 ERC20 设计

READ
Interest IndexPrincipal vs Present Value

Compound V3 本金、现值与利率指数详解

理解用一个增长的乘数指数追踪利息,避免逐账户更新余额的省 Gas 记账机制

READ
LiquidationReserves

Compound V3 抵押品、清算与储备金详解

理解清算因子、isLiquidatable 判定、absorb 全额吸收、buyCollateral 折价购买与储备金策略

READ
BulkerMulticall

Compound V3 Bulker 详解:把多笔操作打包进一笔交易

理解 invoke 批量动作、ETH 包装、非托管设计与 msg.value 循环的双花安全考量

READ
COMP RewardsMasterChef Index

Compound V3 奖励系统(COMP)详解

理解 MasterChef 式的追踪指数、每秒奖励速率、最低门槛保护与 CometRewards 领取机制

READ
ERC-20 SnapshotGovernance

ERC-20 Snapshot 详解:防止重复投票的余额快照机制

理解快照如何记录历史余额、惰性更新与二分查找,抵御闪电贷治理攻击

READ
ERC20VotesVote Delegation

ERC20Votes 详解:委托投票、检查点与 ERC-5805/6372

理解投票权委托、按账户的检查点历史、签名委托与时钟模式(区块号 vs 时间戳)

READ
DAO GovernanceGovernor

Solidity 治理合约详解:DAO 如何在链上协调

理解提案生命周期、法定人数、时间锁,以及 Governor + Timelock + ERC20Votes 架构

READ
ABI EncodingFunction Selector

ABI 编码详解:函数调用数据是如何打包的

深入理解 abi.encode、encodePacked、函数选择器与静态/动态类型的字节布局规则

READ
EVM StorageStorage Packing

EVM 存储布局详解:插槽、打包与 Yul 读写

理解 EVM 256 位存储插槽的分配规则、变量打包优化与 sload/sstore 底层操作

READ
Low-level CallEVM Opcodes

Solidity 底层 call 详解:与接口调用的区别

理解 .call 的返回值、失败不自动回滚、调用空地址的陷阱与 call/staticcall/delegatecall 区别

READ
DelegatecallStorage Collision

Delegatecall 深度解析:借用代码、共享存储

彻底理解 delegatecall 如何在调用者上下文执行目标代码、存储冲突风险与 immutable 陷阱

READ
ERC-1967Proxy Storage Slot

ERC-1967 详解:代理合约的标准存储插槽

理解 implementation/admin/beacon 三个标准插槽的 keccak256 推导与防冲突原理

READ
ERC-7201Namespaced Storage

ERC-7201 命名空间存储布局详解

用命名空间结构体把存储根从插槽0迁走,彻底解决继承与升级中的存储冲突

READ
Transparent ProxySelector Clash

透明可升级代理(Transparent Proxy)详解

理解函数选择器冲突问题、用 msg.sender 路由解决冲突、ProxyAdmin 与 upgradeToAndCall

READ
Beacon ProxyMass Upgrade

Beacon 代理(Beacon Proxy)详解:一次升级所有代理

理解信标合约如何集中存储实现地址,让海量代理通过一笔交易同时升级

READ
EIP-1167Minimal Proxy

EIP-1167 最小代理(Clone)详解:55 字节的克隆魔法

逐字节拆解最小代理字节码、initialize 初始化模式与工厂批量克隆的省 Gas 原理

READ
ERC-3448MetaProxy

ERC-3448 MetaProxy 详解:把参数烧进字节码的克隆

理解 MetaProxy 如何在克隆字节码尾部追加不可变元数据,省去初始化交易与存储写入

READ
noDelegateCallUniswap V3

noDelegateCall 修饰符详解:阻止你的代码被别人 delegatecall

理解 Uniswap V3 如何用 address(this) 与 immutable 原始地址比对来防止合约被克隆盗用

READ
Mutation TestingTest Quality

Solidity 变异测试详解:用故意制造的 bug 检验测试质量

理解变异测试如何通过注入变异体衡量测试套件质量、变异分数与 vertigo 等工具

READ
Merkle TreeSecond Preimage Attack

默克尔树第二原像攻击详解

理解中间节点冒充叶子伪造证明的攻击原理,以及域分离与双重哈希的防御

READ
PrecompilesEVM Cryptography

Solidity 预编译合约详解

理解 0x01-0x0a 各预编译合约(ecrecover/sha256/modexp/椭圆曲线运算等)及其调用方式

READ
RSA SignaturesAllowlist Gas

Solidity RSA 签名详解:在 Gas 效率上击败 ECDSA 与默克尔树

理解用 RSA 做空投/预售白名单的原理、modexp 预编译、与 ECDSA/默克尔树的 Gas 对比

READ
Invariant TestingFoundry

Foundry 不变量测试详解

理解有状态模糊测试、handler 模式、targetContract/bound/ghost 变量与真实不变量案例

READ
Tornado CashZero-Knowledge Proof

Tornado Cash 工作原理详解:承诺-作废符与零知识混币

理解承诺-作废符方案、增量默克尔树、zk-SNARK 取款证明、中继器与匿名集

READ
Constant ProductSlippage

Uniswap V2 交易价格冲击:AMM 兑换结算价的计算

用恒定乘积公式逐步推导一笔 swap 实际能换到多少代币,理解滑点与手续费的数学本质

READ
Flash SwapK Invariant

Uniswap V2 Swap 函数深度解析

逐段拆解 swap 函数:先转出后验证的设计、闪电贷机制、含手续费的 K 不变量校验

READ
AMMUniswap Architecture

Uniswap V2 架构详解:最常被 Fork 的 DeFi 协议

深入理解 AMM 自动做市商原理与 Uniswap V2 的工厂、配对、路由三大合约架构设计

READ
Liquidity SharesInflation Attack

Uniswap V2 Mint 与 Burn 函数:LP 份额的铸造与销毁

解析 LP 代币的数学:首次注资的几何平均数、后续注资的最小比例法、按比例赎回与通胀攻击防御

READ
Protocol FeeLP Token

Uniswap V2 协议费 mintFee 机制详解

解析从未启用却被无数 fork 沿用的协议费设计:用流动性增长量一次性结算 1/6 的手续费分成

READ
Price OracleTWAP

Uniswap V2 TWAP 预言机:时间加权平均价格详解

理解抗闪电贷操纵的链上价格预言机:累积价格、UQ112x112 定点数与溢出安全的模运算原理

READ
Swap MathMulti-hop Routing

UniswapV2Library 工具库详解

逐函数拆解 getAmountOut/getAmountIn/getAmountsOut 等八个无状态辅助函数及其背后的恒定乘积数学

READ
DEX ImplementationSmart Contract Security

从零构建 Uniswap V2 克隆:完整 Checklist 与现代化改进

用现代 Solidity 重写 Uniswap V2 的实战清单:安全、取整方向、重入防护与 Gas 优化要点

READ
Slippage ProtectionRouter

Uniswap V2 Router 路由合约详解

面向用户的外围合约:滑点保护、deadline、多跳交换、ETH 与转账收费代币支持、Permit 免授权

READ
WEB3SolidityDeFi

Solidity定点数算术完全指南

深入解析Solidity中定点数算术的原理与实现,涵盖Solady/Solmate/ABDK/UniswapV2库的对比分析及向上取整策略

READ
WEB3GAS

DeFi 质押算法深度学习指导

深入解析 DeFi 质押奖励分配算法,结合 SushiSwap MasterChef 与 Synthetix,系统讲解累积器、奖励债务、精度处理、安全设计及 Solidity 实现。

READ
WEB3Solidity

Flash Loans and ERC-3156: Complete Overview

深入解析闪电贷原理、ERC-3156标准规范、完整实现方式及关键安全漏洞防御措施

READ
WEB3Solidity

How Chainlink Price Feeds Work

深入解析 Chainlink 价格预言机的合约架构、数据流转机制与链上使用方法

READ
WEB3Solidity

Aave V3 与 Compound V2 利率模型详解

从资金利用率出发,逐步理解 DeFi 借贷协议的动态利率与拐点模型

READ
ERC-1363DeFi

ERC-1363 Payable Token:一笔交易完成转账与回调

深入解析 ERC-1363 Payable Token 标准,了解 transferAndCall/approveAndCall 如何将 ERC-20 的两步操作合并为一步,附接口定义、回调机制与实战合约示例。

READ
OpenZeppelin

OpenZeppelin-Ownable2Step-学习文档

深入解析 OpenZeppelin Ownable2Step 两步式所有权转移机制,说明其如何降低地址填错和所有权丢失风险。

READ
ERC721

ERC721 Enumerable:链上 NFT 可枚举扩展详解

深入解析 ERC721 Enumerable 扩展标准,涵盖核心接口、Swap and Pop 数据结构、Mint/Transfer/Burn 状态维护及 Gas 开销分析,附完整合约示例。

READ
Solidity

solidity-测试internal函数-学习文档

讲解 Solidity internal 函数的测试方法,比较 Harness 合约模式、测试合约继承等方案的适用场景与优缺点。

READ
Solidity

Solidity重入攻击开发者指南1️⃣

从 EVM 执行模型出发讲解 Solidity 重入攻击,覆盖经典 ETH 提款漏洞、CEI 修复模式及外部回调风险识别。

READ
Solidity

Solidity重入攻击开发者指南2️⃣

面向 Solidity 开发者通俗讲解重入攻击的执行模型、常见漏洞入口、修复方案、自查清单与攻击测试思路。

READ
Solidity

solidity-重入攻击全景-学习文档

系统梳理 Solidity 重入攻击的发生条件、常见入口、四种攻击类型及防御方式,覆盖 ETH 转账与 Token 回调场景。

READ
Solidity

solidity-有符号整数-学习文档

深入学习 Solidity 有符号整数类型,涵盖二进制补码、取值范围、除法取模规则、类型转换与常见陷阱。

READ
Solidity

链上资金管理:PaymentSplit、Vesting 与 TimeLock

学习 PaymentSplit 按比例分账、TokenVesting 线性归属释放和 TokenLocker 时间锁等链上资金管理设计模式。

READ
Solidity

代理模式与可升级合约

掌握可升级合约的三种代理模式:基础代理、简单升级代理与透明代理,理解 DelegateCall 与存储槽冲突问题。

READ
DeFiERC-712

EIP-712 结构化数据签名

学习 EIP-712 结构化数据签名标准,让用户在钱包中看到可读的签名内容,有效防止钓鱼攻击。

READ
Solidity

多签钱包(MultiSig Wallet)实现详解

从零实现多签钱包智能合约,理解 M-of-N 多签机制、交易提案与确认流程及 Gnosis Safe 设计原理。

READ
DeFiERC-2612

ERC-2612 Permit:链下授权签名

解析 ERC-2612 Permit 标准,通过链下签名替代 approve 交易,实现单笔交易完成授权与操作。

READ
DeFiERC-1155

ERC-1155 多代币标准完全学习指南(上)

ERC-1155 多代币标准完整指南上篇,涵盖核心设计思想、数据结构、接口详解、事件系统与接收者钩子机制。

READ
DeFiERC-1155

ERC-1155 多代币标准完全学习指南(下)

ERC-1155 详细学习指南下篇,深入讲解同质化/非同质化资产区分、转账安全规则及实战开发注意事项。

READ
ChainLink

Chainlink CCIP 跨链互操作协议详解

深入学习 Chainlink CCIP 跨链互操作协议,包括架构设计、消息传递机制、跨链代币转移及智能合约开发实践。

READ
GAS

以太坊 Gas 机制与 EIP-1559 详解

Gas 是以太坊的计算燃料,深入解析 Gas 定价机制、BaseFee 动态调整及 EIP-1559 改革对交易费用的影响。

READ
WEB3SolidityDeFi

MasterChef与Synthetix质押算法深度解析

详解SushiSwap MasterChef和Synthetix的质押奖励分配算法,包括累计每代币奖励计数器、奖励债务机制及Gas优化策略

READ
Solidity

Solidity ABI 编码与解码详解

详解 Solidity ABI 编码规则,包括静态/动态类型、32字节对齐原则及 abi.encode/decode 的实用技巧。

READ
DeFi

ERC-4626规范总结

从程序员视角深入解析 ERC-4626 代币化金库标准,涵盖核心接口、取整方向规则、首位存款人攻击等安全问题及防御方案。

READ
Solidity

Solidity 转账方法与 OpenZeppelin SafeERC20 详解

详解 ETH 原生转账三种方式(transfer/send/call)的区别,以及 OpenZeppelin SafeERC20 安全转账封装实践。

READ
Solidity

Solidity 检测地址是合约还是 EOA 账户

介绍三种检测以太坊地址类型的方法:address.code.length、tx.origin 与 msg.sender 对比及 codehash 检测。

READ
Solidity

数字签名(ECDSA)与 NFT 白名单

深入讲解以太坊 ECDSA 数字签名原理,演示如何用链下签名 + 链上验证实现 NFT 白名单铸造。

READ
KubernetesSpringCloudDevOps

DevOps with Gitlab-CI && Kubernetes

实践Devops

READ
KubernetesSpringCloudDevOps

Devops Code Prepare

微服务各项目模块说明

READ
KubernetesSpringCloudDevOps

Devops Environment Prepare

本次实验以一个最基本的SpringCloud项目演示集成Gitlab CI/CD并自动发布到Kubernetes集群,实现完整的企业级devops实战

READ