8 min read - Posted 13 May 19

All you should know about libraries in solidity

article image

It’s very important to know about the libraries in solidity while writing Dapps. In simple words, a library is the reusable piece of code which is deployed once and shared many times.

But libraries are not just limited to reusability, there are few other areas where ethereum developers are using the library feature. This post aims to touch all those topics starting from basics.

Let’s start with a simple library for mathematical operation. The SafeMath library described below contains basic arithmetic operation which takes 2 unsigned integer as input and returns the arithmetic operation result.

library SafeMath {

    function mul(uint256 num1, uint256 num2) internal pure returns (uint256) {
        uint256 result = num1 * num2;
        return result;

    function div(uint256 num1, uint256 num2) internal pure returns (uint256) {
        uint256 result = num1 / num2;
        return result;

    function sub(uint256 num1, uint256 num2) internal pure returns (uint256) {
        uint256 result = num1 - num2;
        return result;

    function add(uint256 num1, uint256 num2) internal pure returns (uint256) {
        uint256 result = num1 + num2;
        return result;

“Ideally, libraries are not meant to change state of contract, it should only be used to perform simple operations based on input and returns result”

Before going in depth, let’s cover few prerequisite for better understanding:

  • What is a contract in solidity? : Technically, smart contract is a basic building block of a Dapp. In ethereum, smart contract has address like external user account which can be used to make interaction with contract like calling method, sending ether etc. Each contract has these four properties:
  • Nonce : It’s a count of number of transaction triggered from an account.

  • Balance: It’s a number that tell about amount of ether this particular address holds

  • Storage root: Contract can store data, it’s a root of tree which stores data from this contract

  • Codehash : It’s hashed value of contract code.

    Function types

    : Solidity has following function types:

  • Internal: This type of function is only called from inside of contract

  • External:This type of function is only called from outside of contract

  • Public: This type of function is called from outside of contract as well inside.

  • Pure: This kind of function neither reads nor write to storage of contract.

  • View: This kind of function can only read from storage but can’t write from storage.

  • Payable: A contract function can only accept ether if it’s marked as payable.

    How library works?

article image

In blockchain, transaction can change state of smart contract. There are various kinds of state change that can happen in a contract:

  • Sending ether: It will update balance of contract

  • Changing data in contract: It will change storage root. > “Whenever user sends a transaction to a smart contract which is internally using library contract then state change happens on smart contract not in library contract. This is possible with delegate call feature of EVM”

    Delegate Call:

    Paraphrased from the solidity docs :

    “Delegatecall is identical to a message call apart from the fact that the code at the target address is executed in the context of the calling contract and msg.sender and msg.value do not change their values.

    This means that a contract can dynamically load code from a different address at runtime. Storage, current address and balance still refer to the calling contract, only the code is taken from the called address.”

    This low-level function has been very useful as it’s the backbone for implementing libraries.

    Deployment of libraries:

    Library deployment is a bit different from regular smart contract deployment. There are two scenarios in the library deployment:

  • Embedded Library: If a smart contract is consuming a library which have only internal functions than EVM simply embeds library into the contract. Instead of using delegate call to call a function, it simply uses JUMP statement(normal method call). There is no need to separately deploy library in this scenario.

  • Linked Library : On the flip side, if a library contain public or external functions then library needs to be deployed. Deployment of library will generate unique address in blockchain. This address needs to be linked with calling contract. Let’s consider simple example to understand linked libraries. Below code snippet shows a ERC20 contract with transfer function. There are two methods in SafeMath library “sub” and “add” used in transfer function which are external .

pragma solidity ^0.4.23;

import "./SafeMath.sol";

contract ERC20 {

    using SafeMath for uint256;
    mapping(address => uint256) balances;

    function transfer(address _to, uint256 _value) public returns (bool success) {
        balances[msg.sender] = balances[msg.sender].sub(_value);
        balances[_to] = balances[_to].add(_value);
        return true;

library SafeMath {

    function mul(uint256 a, uint256 b) external pure returns (uint256) {
        uint256 c = a * b;
        assert(a == 0 || c / a == b);
        return c;

    function div(uint256 a, uint256 b) external pure returns (uint256) {
        uint256 c = a / b;
        return c;

    function sub(uint256 a, uint256 b) external pure returns (uint256) {
        assert(b <= a);
        return a - b;

    function add(uint256 a, uint256 b) external pure returns (uint256) {
        uint256 c = a + b;
        assert(c >= a);
        return c;

There are two interesting observations to make.

  • SafeMath library has external functions.

    1. String given below is part of the bytecode generated after compilation of ERC20 contract. This bytes code contains reference of SafeMath SafeMath. This means that the bytes of ERC20 can’t be deployed before performing linkage step. Linking essentially means replacing library reference in the byte code with it’s address. 0x608060405234801561001057600080fd5b50610343806100206000396000f300608060405260043610610041576000357c0100000000000000000000000000000000000000000000000000000000900463ffffffff168063a9059cbb14610046575b600080fd5b34801561005257600080fd5b50610091600480360381019080803573ffffffffffffffffffffffffffffffffffffffff169060200190929190803590602001909291905050506100ab565b604051808215151515815260200191505060405180910390f35b60008060003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000205473SafeMath63b67d77c59091846040518363ffffffff167c0100000000000000000000000000000000000

    How to link library contract during deployment?

  • Deploy library : I have deployed SafeMath on ropsten and it’s address is 0x40189fb71f54a3ad0370620dfb095382859eb095

  • Link deployed library with the contract. Below command can be used to link SafeMath library with ERC20 contract.

    solc ERC20.sol — libraries “SafeMath:0x40189fb71f54a3ad0370620dfb095382859eb095” — bin

    After successful linking, SafeMath references will be removed from the bytecode and contract is ready for deployment.

    ‘Using for’ in library:

    In solidity using X for Y directive means, library function of X is attached with type Y. For instance, Using SafeMath for uint256 . SafeMath functions like add, sub, mul and div are now bound with type uint256. “One condition which should be taken care is, library functions will receive the object they are called on as their first parameter”

    For example: In ERC-20 contract mentioned above. Using for directive is using for SafeMath for type uint256.

using SafeMath for uint256;

uint256 a = 10;
uint256 b= 10;

uint256 = a.add(b);

Here add function is available from SafeMath. SafeMath library functions are bound with uint256. Great!!! 🙌 I hope, this article helped you to understand libraries in solidity. Happy Coding 😇

Created with Sketch.Content is"CC-BY-SA 4.0" licensed
Article On-chain
Article Author

Sarvesh Jain

Blockchain developer




Related Articles
A Deep Dive into the Ethereum Virtual Machine (EVM) - part 1: Introduction

This is the first article of a 4-part series on the EVM; 1. Part 1: Introduction to the EVM 2. Part 2: Memory and Storage on the EVM 3. Part 3: Execution Model of the EVM 4. Part 4: Relationship of the EVM with High-level contract-oriented languages evm-architecture In computing, a virtual machine is an emulation of a computer system which may be implemented as a specialized hardware, software or a combination of both. (source: wikipedia) Virtual machines may be generally categorized into two ty

Mayowa Tudonu

26 Jun 19

A Deep Dive into the Ethereum Virtual Machine - Part 4: The EVM and High-Level Programming Languages

The EVM and High-Level Smart Contract Programming Languages Introduction The Ethereum platform offers the power of a peer to peer, secured, decentralized virtua

Adrian Hacker

17 Feb 20