Solidity Interface & Canonical Declaration
function withdraw(uint256 assets, address receiver, address owner) external returns (uint256)
销毁金库所有者的相应份额，并将指定数量的底层资产提取并发送给接收者。
理论基础执行 Gas： 65,000 ~ 135,000 gas
返回值类型： uint256
Calldata 调用数据 ABI 编码布局账本
| Calldata Offset | Type | Parameter Name | Semantic Role |
|---|---|---|---|
| 0x00 ~ 0x03 (4B) | bytes4 | Method ID (msg.sig) | withdraw(uint256,address,address) 的 4 字节函数选择器 |
| 0x04 ~ 0x23 (32B) | uint256 | assets | 待提取的底层资产数量 |
| 0x24 ~ 0x43 (32B) | address | receiver | 接收底层资产的地址 |
| 0x44 ~ 0x63 (32B) | address | owner | 份额持有者地址 |
Keccak-256 密码学哈希推导链
标准 ASCII 签名字符串： withdraw(uint256,address,address)
完整 256 位 Keccak 哈希： 0xb460af94a08911df9ce375fb2a190ee15b3a9dfdda8ede7986fb72478f042661
截取前 4 字节 (Big-Endian)： 0xb460af94
EVM 运行时调度器汇编代码特征 (Dispatcher Opcodes)
// 1. Load the first 32 bytes of transaction calldata
[0x0000] PUSH1 0x00
[0x0002] CALLDATALOAD
// 2. Right-shift by 224 bits (0xe0) to isolate the 4-byte selector
[0x0003] PUSH1 0xe0
[0x0005] SHR
// 3. Match against target selector 0xb460af94 and branch
[0x0006] DUP1
[0x0007] PUSH4 0xb460af94
[0x000c] EQ
[0x000d] PUSH2 0x0050
[0x0010] JUMPI // Jump to implementation if matched