... revert(0x00, 0x04)
}
// Load the current total supply and add the amount to mint.
let supply := sload(_supply.slot)
let newSupply := add(supply, amount)
// Check for overflow to ensure safe addition.
if lt(newSupply, supply) {
mst...
... # Print the Solidity expression of the nodes
# And the SlithIR operations
if node.expression:
print(f"\tSolidity expression: {node.expression}")
print("\tSlithIR:")
for ir in node.irs:
...
...A screenshot of the Quicknode endpoint Getting Started page with HTTP link and WSS](https://img.learnblockchain.cn/2025/02/25/1-17804ba1e7abaa2244c5e3d99db31bd4.png)
你将稍后需要此信息，因此请复制并保存。
### 估算 Gas
我们要做的第一件事是简单估算发送交易所...
...+ 1 as
// the VRGDA formula's n param represents the nth token and sold is the n-1th token.
timeSinceStart - getTargetSaleTime(toWadUnsafe(sold + 1))
))));
}
}
```
此处的 `getTargetSaleTime` 即 $s_n$ 的计算实现。
### 线性 VRGDA
线性 VRGDA 适用...