技能：分析gas优化

分析和优化Aptos Move合约的gas效率，识别高消耗操作并提出优化建议。

何时使用此技能

触发短语：

• - 优化gas、降低gas成本、gas分析
• 让合约更便宜、gas效率
• 分析gas使用、gas优化
• 降低交易成本

使用场景：

• - 主网部署前
• 交易成本过高时
• 优化高频操作时
• 构建包含大量交易的DeFi协议时

核心Gas优化原则

1. 存储优化

• - 最小化存储数据大小
• 使用高效的数据结构
• 高效打包结构体字段
• 移除不必要的字段

2. 计算优化

• - 避免对大型集合进行循环
• 缓存重复计算
• 尽可能使用位运算
• 最小化向量操作

3. 引用优化

• - 尽可能优先使用借用而非移动
• 高效使用&和&mut
• 避免不必要的复制

Gas成本分析

高消耗操作

1. 全局存储操作

move
// 高消耗：写入全局存储
moveto(account, largestruct);

// 高消耗：读取和写入
let data = borrowglobalmut(addr);

// 高消耗：检查存在性
if (exists(addr)) { ... }

2. 向量操作

move
// 高消耗：动态扩展向量
vector::push_back(&mut vec, item); // 最坏情况O(n)

// 高消耗：搜索向量
vector::contains(&vec, &item); // O(n)

// 高消耗：从中间移除
vector::remove(&mut vec, index); // O(n)

3. 字符串操作

move
// 高消耗：字符串拼接
string::append(&mut s1, s2);

// 高消耗：UTF8验证
string::utf8(bytes);

优化模式

1. 批量操作

move
// 差：多次存储访问
public fun update_values(account: &signer, updates: vector) {
let i = 0;
while (i < vector::length(&updates)) {
let update = vector::borrow(&updates, i);
let data = borrowglobalmut(update.address);
data.value = update.value;
i = i + 1;
}
}

// 好：单次存储访问配合批量更新
public fun batch_update(account: &signer, updates: vector) {
let data = borrowglobalmut(signer::address_of(account));
let i = 0;
while (i < vector::length(&updates)) {
let update = vector::borrow(&updates, i);
// 在内存中更新
updatememorydata(data, update);
i = i + 1;
}
}

2. 存储打包

move
// 差：浪费存储空间
struct UserData has key {
active: bool, // 使用1字节，浪费7字节
level: u8, // 使用1字节，浪费7字节
score: u64, // 8字节
timestamp: u64, // 8字节
// 总计：32字节（50%浪费）
}

// 好：打包存储
struct UserData has key {
// 将小字段打包在一起
flags: u8, // 位：[active, reserved...]
level: u8,
reserved: u16, // 未来使用
score: u64,
timestamp: u64,
// 总计：20字节（节省37.5%）
}

3. 惰性求值

move
// 差：总是计算高消耗值
struct Pool has key {
total_shares: u64,
total_assets: u64,
// 每次更新都计算
share_price: u64,
}

// 好：仅在需要时计算
struct Pool has key {
total_shares: u64,
total_assets: u64,
// 不存储计算值
}

public fun getshareprice(pool_addr: address): u64 {
let pool = borrowglobal(pooladdr);
if (pool.total_shares == 0) {
INITIALSHAREPRICE
} else {
pool.totalassets * PRECISION / pool.totalshares
}
}

4. 事件优化

move
// 差：大量事件数据
struct TradeEvent has drop, store {
pool: Object,
trader: address,
token_in: Object,
token_out: Object,
amount_in: u64,
amount_out: u64,
fees: u64,
timestamp: u64,
metadata: vector, // 大量元数据
}

// 好：最小化事件数据
struct TradeEvent has drop, store {
pool_id: u64, // 使用ID代替Object
trader: address,
amounts: u128, // 打包amountin和amountout
fees: u64,
// 从状态计算其他数据
}

5. 集合优化

move
// 差：线性搜索
public fun find_item(items: &vector, id: u64): Option {
let i = 0;
while (i < vector::length(items)) {
let item = vector::borrow(items, i);
if (item.id == id) {
return option::some(*item)
};
i = i + 1;
}
option::none()
}

// 好：使用Table实现O(1)查找
struct Storage has key {
items: Table,
}

public fun find_item(storage: &Storage, id: u64): Option {
if (table::contains(&storage.items, id)) {
option::some(*table::borrow(&storage.items, id))
} else {
option::none()
}
}

Gas测量

1. 交易模拟

bash

模拟以获取gas估算

输出包括：

- gasunitprice

- maxgasamount

- gas_used

2. Gas分析

move
#[test]
public fun testgasusage() {
// 测量操作的gas
let gasbefore = gas::remaininggas();
expensive_operation();
let gasused = gasbefore - gas::remaining_gas();

// 断言合理的gas使用
assert!(gasused < MAXACCEPTABLEGAS, ETOO_EXPENSIVE);
}

优化检查清单

存储检查清单

• - [ ] 打包结构体字段以最小化大小
• [ ] 使用合适的整数大小（u8、u16、u32、u64）
• [ ] 移除不必要的字段
• [ ] 考虑将大数据存储在链下
• [ ] 使用事件代替存储记录日志

计算检查清单

• - [ ] 缓存重复计算
• [ ] 最小化集合循环
• [ ] 使用提前返回来跳过不必要的工作
• [ ] 批量处理相似操作
• [ ] 避免冗余检查

集合检查清单

• - [ ] 使用Table/TableWithLength进行键值查找
• [ ] 对大型集合使用SmartTable
• [ ] 限制向量大小
• [ ] 考虑对大型结果进行分页
• [ ] 使用合适的数据结构

最佳实践

• - [ ] 在优化前后进行分析
• [ ] 在单元测试中测试gas使用
• [ ] 记录公共函数的gas成本
• [ ] 在合约设计中考虑gas成本
• [ ] 监控主网gas使用

常见Gas优化

1. 用Table替换向量

move
// 之前：O(n)搜索
struct Registry has key {
users: vector,
}

// 之后：O(1)查找
struct Registry has key {
users: Table,
user_list: vector