OpenZeppelin

SignedSafeMath库就是直接对solidity内置的int256类型的加减乘除运算的函数封装。

BitMaps库开发了一种存储更紧凑且高效的mapping(uint256=>bool)。传统的mapping(uint256=>bool)中一个slot只能存储一个键值对的bool值信息，而改用了BitMaps.BitMap数据结构后，一个slot理论上最多可以存256个键值对的bool值信息。

Openzeppelin中的ERC20库只提供了mint接口，而具体的发行逻辑需要开发者在其子合约中使用_mint()自行编写。该库同样遵循了OpenZeppelin的合约设计思路：当函数因产生错误返回false时，直接revert掉。这种设计思路与ERC20的期望标准并不冲突。

EnumerableSet库提供了Bytes32Set、AddressSet和UintSet三种类型的set，分别适用于bytes32、address和uint256类型的元素。 每种set都提供了对应的增添元素、删除元素、查询当前set中元素个数等操作。几乎所有操作的时间复杂度均为O(1)。

EnumerableMap库提供了Bytes32ToBytes32Map、UintToUintMap、UintToAddressMap、AddressToUintMap和Bytes32ToUintMap五种可迭代的map。每种map都提供了增添/更新键值及查询等操作且所有操作的时间复杂度为O(1)。

ERC165合约是IERC165的标准实现。ERC165提供了本合约是否实现了IERC165接口的查询。如果需要额外支持其他interface，可在目标合约内重写supportsInterface(bytes4)方法。

内联汇编中，Instruction "staticcall"的功能及使用方法与Instruction "call"类似。唯一不同的是在"staticcall"的过程中不允许发生storage的修改。

Ownable库提供了一种基本的访问控制机制——设置一个owner具有对某些函数特殊的访问权限。通常owner就是本合约的deployer。合约部署后可通过函数transferOwnership()进行owner的修改。本库还提供了modifier onlyOwner，用于为函数限定访问权限。

ERC165Checker库是用来查询已实现IERC165的目标合约自身实现了哪些interface的工具库。在使用时需要注意：利用ERC165Checker提供的查询方法进行查询的过程不会因为目标合约没有实现待查询interface而发生revert。

ERC165Storage合约是ERC165的一种拓展。IERC165的supportsInterface(bytes4)函数的标准实现方式是静态地将已实现接口的interface id硬编码到bytecode中，而ERC165Storage则可在合约部署后动态地添加支持的interface id。

Ownable2Step库是Ownable库的拓展版本。其提供的访问权限机制同Ownable完全一致，只是owner的更换机制从由原owner直接指定（一次交互）变成原owner指定 + 新owner确认（两次交互）。Ownable2Step库具有Ownable库所有的功能函数。

IERC1820Registry.sol是global ERC1820 Registry的接口文件。ERC1820 Registry旨在创建一个全网唯一的interface与对应implementer的查询中心。所有地址都可以在其中注册interface与对应implementer的关联关系。

ERC1820Implementer合约是对IERC1820Implementer interface的实现。该合约往往与ERC1820Registry合约配合使用。如果想要合约成为ERC1820Registry记录在案的implementer，需要目标合约继承ERC1820Implementer。

本文详细介绍了如何创建和部署ERC-20代币，包括ERC-20标准的历史、功能和使用案例，以及如何使用Remix.IDE和OpenZeppelin库来编写和部署智能合约。

本文详细介绍了Solidity中的gasleft()函数的作用及其应用场景，包括防止交易耗光Gas、代码执行成本基准测试、转发所有Gas到实现合约以及防止中继器拒绝服务攻击等。