ERC20.sol 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316
  1. // SPDX-License-Identifier: MIT
  2. // OpenZeppelin Contracts (last updated v5.0.0) (token/ERC20/ERC20.sol)
  3. pragma solidity ^0.8.20;
  4. import {IERC20} from "./IERC20.sol";
  5. import {IERC20Metadata} from "./extensions/IERC20Metadata.sol";
  6. import {Context} from "../../utils/Context.sol";
  7. import {IERC20Errors} from "../../interfaces/draft-IERC6093.sol";
  8. /**
  9. * @dev Implementation of the {IERC20} interface.
  10. *
  11. * This implementation is agnostic to the way tokens are created. This means
  12. * that a supply mechanism has to be added in a derived contract using {_mint}.
  13. *
  14. * TIP: For a detailed writeup see our guide
  15. * https://forum.openzeppelin.com/t/how-to-implement-erc20-supply-mechanisms/226[How
  16. * to implement supply mechanisms].
  17. *
  18. * The default value of {decimals} is 18. To change this, you should override
  19. * this function so it returns a different value.
  20. *
  21. * We have followed general OpenZeppelin Contracts guidelines: functions revert
  22. * instead returning `false` on failure. This behavior is nonetheless
  23. * conventional and does not conflict with the expectations of ERC-20
  24. * applications.
  25. *
  26. * Additionally, an {Approval} event is emitted on calls to {transferFrom}.
  27. * This allows applications to reconstruct the allowance for all accounts just
  28. * by listening to said events. Other implementations of the ERC may not emit
  29. * these events, as it isn't required by the specification.
  30. */
  31. abstract contract ERC20 is Context, IERC20, IERC20Metadata, IERC20Errors {
  32. mapping(address account => uint256) private _balances;
  33. mapping(address account => mapping(address spender => uint256)) private _allowances;
  34. uint256 private _totalSupply;
  35. string private _name;
  36. string private _symbol;
  37. /**
  38. * @dev Sets the values for {name} and {symbol}.
  39. *
  40. * All two of these values are immutable: they can only be set once during
  41. * construction.
  42. */
  43. constructor(string memory name_, string memory symbol_) {
  44. _name = name_;
  45. _symbol = symbol_;
  46. }
  47. /**
  48. * @dev Returns the name of the token.
  49. */
  50. function name() public view virtual returns (string memory) {
  51. return _name;
  52. }
  53. /**
  54. * @dev Returns the symbol of the token, usually a shorter version of the
  55. * name.
  56. */
  57. function symbol() public view virtual returns (string memory) {
  58. return _symbol;
  59. }
  60. /**
  61. * @dev Returns the number of decimals used to get its user representation.
  62. * For example, if `decimals` equals `2`, a balance of `505` tokens should
  63. * be displayed to a user as `5.05` (`505 / 10 ** 2`).
  64. *
  65. * Tokens usually opt for a value of 18, imitating the relationship between
  66. * Ether and Wei. This is the default value returned by this function, unless
  67. * it's overridden.
  68. *
  69. * NOTE: This information is only used for _display_ purposes: it in
  70. * no way affects any of the arithmetic of the contract, including
  71. * {IERC20-balanceOf} and {IERC20-transfer}.
  72. */
  73. function decimals() public view virtual returns (uint8) {
  74. return 18;
  75. }
  76. /**
  77. * @dev See {IERC20-totalSupply}.
  78. */
  79. function totalSupply() public view virtual returns (uint256) {
  80. return _totalSupply;
  81. }
  82. /**
  83. * @dev See {IERC20-balanceOf}.
  84. */
  85. function balanceOf(address account) public view virtual returns (uint256) {
  86. return _balances[account];
  87. }
  88. /**
  89. * @dev See {IERC20-transfer}.
  90. *
  91. * Requirements:
  92. *
  93. * - `to` cannot be the zero address.
  94. * - the caller must have a balance of at least `value`.
  95. */
  96. function transfer(address to, uint256 value) public virtual returns (bool) {
  97. address owner = _msgSender();
  98. _transfer(owner, to, value);
  99. return true;
  100. }
  101. /**
  102. * @dev See {IERC20-allowance}.
  103. */
  104. function allowance(address owner, address spender) public view virtual returns (uint256) {
  105. return _allowances[owner][spender];
  106. }
  107. /**
  108. * @dev See {IERC20-approve}.
  109. *
  110. * NOTE: If `value` is the maximum `uint256`, the allowance is not updated on
  111. * `transferFrom`. This is semantically equivalent to an infinite approval.
  112. *
  113. * Requirements:
  114. *
  115. * - `spender` cannot be the zero address.
  116. */
  117. function approve(address spender, uint256 value) public virtual returns (bool) {
  118. address owner = _msgSender();
  119. _approve(owner, spender, value);
  120. return true;
  121. }
  122. /**
  123. * @dev See {IERC20-transferFrom}.
  124. *
  125. * Emits an {Approval} event indicating the updated allowance. This is not
  126. * required by the ERC. See the note at the beginning of {ERC20}.
  127. *
  128. * NOTE: Does not update the allowance if the current allowance
  129. * is the maximum `uint256`.
  130. *
  131. * Requirements:
  132. *
  133. * - `from` and `to` cannot be the zero address.
  134. * - `from` must have a balance of at least `value`.
  135. * - the caller must have allowance for ``from``'s tokens of at least
  136. * `value`.
  137. */
  138. function transferFrom(address from, address to, uint256 value) public virtual returns (bool) {
  139. address spender = _msgSender();
  140. _spendAllowance(from, spender, value);
  141. _transfer(from, to, value);
  142. return true;
  143. }
  144. /**
  145. * @dev Moves a `value` amount of tokens from `from` to `to`.
  146. *
  147. * This internal function is equivalent to {transfer}, and can be used to
  148. * e.g. implement automatic token fees, slashing mechanisms, etc.
  149. *
  150. * Emits a {Transfer} event.
  151. *
  152. * NOTE: This function is not virtual, {_update} should be overridden instead.
  153. */
  154. function _transfer(address from, address to, uint256 value) internal {
  155. if (from == address(0)) {
  156. revert ERC20InvalidSender(address(0));
  157. }
  158. if (to == address(0)) {
  159. revert ERC20InvalidReceiver(address(0));
  160. }
  161. _update(from, to, value);
  162. }
  163. /**
  164. * @dev Transfers a `value` amount of tokens from `from` to `to`, or alternatively mints (or burns) if `from`
  165. * (or `to`) is the zero address. All customizations to transfers, mints, and burns should be done by overriding
  166. * this function.
  167. *
  168. * Emits a {Transfer} event.
  169. */
  170. function _update(address from, address to, uint256 value) internal virtual {
  171. if (from == address(0)) {
  172. // Overflow check required: The rest of the code assumes that totalSupply never overflows
  173. _totalSupply += value;
  174. } else {
  175. uint256 fromBalance = _balances[from];
  176. if (fromBalance < value) {
  177. revert ERC20InsufficientBalance(from, fromBalance, value);
  178. }
  179. unchecked {
  180. // Overflow not possible: value <= fromBalance <= totalSupply.
  181. _balances[from] = fromBalance - value;
  182. }
  183. }
  184. if (to == address(0)) {
  185. unchecked {
  186. // Overflow not possible: value <= totalSupply or value <= fromBalance <= totalSupply.
  187. _totalSupply -= value;
  188. }
  189. } else {
  190. unchecked {
  191. // Overflow not possible: balance + value is at most totalSupply, which we know fits into a uint256.
  192. _balances[to] += value;
  193. }
  194. }
  195. emit Transfer(from, to, value);
  196. }
  197. /**
  198. * @dev Creates a `value` amount of tokens and assigns them to `account`, by transferring it from address(0).
  199. * Relies on the `_update` mechanism
  200. *
  201. * Emits a {Transfer} event with `from` set to the zero address.
  202. *
  203. * NOTE: This function is not virtual, {_update} should be overridden instead.
  204. */
  205. function _mint(address account, uint256 value) internal {
  206. if (account == address(0)) {
  207. revert ERC20InvalidReceiver(address(0));
  208. }
  209. _update(address(0), account, value);
  210. }
  211. /**
  212. * @dev Destroys a `value` amount of tokens from `account`, lowering the total supply.
  213. * Relies on the `_update` mechanism.
  214. *
  215. * Emits a {Transfer} event with `to` set to the zero address.
  216. *
  217. * NOTE: This function is not virtual, {_update} should be overridden instead
  218. */
  219. function _burn(address account, uint256 value) internal {
  220. if (account == address(0)) {
  221. revert ERC20InvalidSender(address(0));
  222. }
  223. _update(account, address(0), value);
  224. }
  225. /**
  226. * @dev Sets `value` as the allowance of `spender` over the `owner` s tokens.
  227. *
  228. * This internal function is equivalent to `approve`, and can be used to
  229. * e.g. set automatic allowances for certain subsystems, etc.
  230. *
  231. * Emits an {Approval} event.
  232. *
  233. * Requirements:
  234. *
  235. * - `owner` cannot be the zero address.
  236. * - `spender` cannot be the zero address.
  237. *
  238. * Overrides to this logic should be done to the variant with an additional `bool emitEvent` argument.
  239. */
  240. function _approve(address owner, address spender, uint256 value) internal {
  241. _approve(owner, spender, value, true);
  242. }
  243. /**
  244. * @dev Variant of {_approve} with an optional flag to enable or disable the {Approval} event.
  245. *
  246. * By default (when calling {_approve}) the flag is set to true. On the other hand, approval changes made by
  247. * `_spendAllowance` during the `transferFrom` operation set the flag to false. This saves gas by not emitting any
  248. * `Approval` event during `transferFrom` operations.
  249. *
  250. * Anyone who wishes to continue emitting `Approval` events on the`transferFrom` operation can force the flag to
  251. * true using the following override:
  252. * ```
  253. * function _approve(address owner, address spender, uint256 value, bool) internal virtual override {
  254. * super._approve(owner, spender, value, true);
  255. * }
  256. * ```
  257. *
  258. * Requirements are the same as {_approve}.
  259. */
  260. function _approve(address owner, address spender, uint256 value, bool emitEvent) internal virtual {
  261. if (owner == address(0)) {
  262. revert ERC20InvalidApprover(address(0));
  263. }
  264. if (spender == address(0)) {
  265. revert ERC20InvalidSpender(address(0));
  266. }
  267. _allowances[owner][spender] = value;
  268. if (emitEvent) {
  269. emit Approval(owner, spender, value);
  270. }
  271. }
  272. /**
  273. * @dev Updates `owner` s allowance for `spender` based on spent `value`.
  274. *
  275. * Does not update the allowance value in case of infinite allowance.
  276. * Revert if not enough allowance is available.
  277. *
  278. * Does not emit an {Approval} event.
  279. */
  280. function _spendAllowance(address owner, address spender, uint256 value) internal virtual {
  281. uint256 currentAllowance = allowance(owner, spender);
  282. if (currentAllowance != type(uint256).max) {
  283. if (currentAllowance < value) {
  284. revert ERC20InsufficientAllowance(spender, currentAllowance, value);
  285. }
  286. unchecked {
  287. _approve(owner, spender, currentAllowance - value, false);
  288. }
  289. }
  290. }
  291. }