Dai Stablecoin

0x6b175474e89094c44da98b954eedeac495271d0f Copy

ERC20

This contract is an ERC20 token.

Name Dai Stablecoin

Symbol DAI

Decimals 18

Total Supply 588,365,354 DAI

About

Dai (DAI) is a cryptocurrency and operates on the Ethereum platform. Dai has a current supply of 5,493,645,892.859368 with 5,493,645,404.020224 in circulation. The last known price of Dai is 1.00038056 USD and is down -0.02 over the last 24 hours. It is currently trading on 393 active market(s) with $335,165,861.39 traded over the last 24 hours. More information can be found at http://www.makerdao.com/.

Stats

Public Functions 11

Event Types 3

Code Size 7,965 bytes

Events (3)

Approval Event

Parameters

src	address
guy	address
wad	uint

LogNote Event

Parameters

sig	bytes4
usr	address
arg1	bytes32
arg2	bytes32
data	bytes

Transfer Event

Parameters

src	address
dst	address
wad	uint

Constants (5)

name Constant

string

Dai Stablecoin

symbol Constant

string

DAI

version Constant

string

decimals Constant

uint8

PERMIT_TYPEHASH Constant

bytes32

0xea2aa0a1be11a07ed86d755c93467f4f82362b452371d1ba94d1715123511acb

State Variables (6)

totalSupply Variable

uint256

DOMAIN_SEPARATOR Variable

bytes32

wards Variable

mapping(address => uint)

balanceOf Variable

mapping(address => uint)

nonces Variable

mapping(address => uint)

allowance Variable

mapping(address => mapping(address => uint))

Internal Variable

Functions Expand All Collapse All

rely

Parameters

Name	Type
guy	address

Properties

Visibility public

Mutability transaction

Modifiers

note checks for the following:

auth checks for the following:

wards for the sender's address must be equal to 1

Source Code

function rely(address guy) external note auth {
  wards[guy] = 1;
}

deny

Parameters

Name	Type
guy	address

Properties

Visibility public

Mutability transaction

Modifiers

note checks for the following:

auth checks for the following:

wards for the sender's address must be equal to 1

Source Code

function deny(address guy) external note auth {
  wards[guy] = 0;
}

transfer

Parameters

Name	Type
dst	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for the sender's address

Source Code

function transfer(address dst, uint256 wad) external returns (bool) {
  return transferFrom(msg.sender, dst, wad);
}

transferFrom

Parameters

Name	Type
src	address
dst	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for the sender's address

Source Code

function transferFrom(
  address src,
  address dst,
  uint256 wad
) public returns (bool) {
  require(balanceOf[src] >= wad, "Dai/insufficient-balance");
  if (src != msg.sender && allowance[src][msg.sender] != uint256(-1)) {
    require(allowance[src][msg.sender] >= wad, "Dai/insufficient-allowance");
    allowance[src][msg.sender] = sub(allowance[src][msg.sender], wad);
  }
  balanceOf[src] = sub(balanceOf[src], wad);
  balanceOf[dst] = add(balanceOf[dst], wad);
  emit Transfer(src, dst, wad);
  return true;
}

mint

Parameters

Name	Type
usr	address
wad	uint

Properties

Visibility public

Mutability transaction

Modifiers

auth checks for the following:

wards for the sender's address must be equal to 1

Source Code

function mint(address usr, uint256 wad) external auth {
  balanceOf[usr] = add(balanceOf[usr], wad);
  totalSupply = add(totalSupply, wad);
  emit Transfer(address(0), usr, wad);
}

burn

Parameters

Name	Type
usr	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for usr

Source Code

function burn(address usr, uint256 wad) external {
  require(balanceOf[usr] >= wad, "Dai/insufficient-balance");
  if (usr != msg.sender && allowance[usr][msg.sender] != uint256(-1)) {
    require(allowance[usr][msg.sender] >= wad, "Dai/insufficient-allowance");
    allowance[usr][msg.sender] = sub(allowance[usr][msg.sender], wad);
  }
  balanceOf[usr] = sub(balanceOf[usr], wad);
  totalSupply = sub(totalSupply, wad);
  emit Transfer(usr, address(0), wad);
}

approve

Parameters

Name	Type
usr	address
wad	uint

Properties

Visibility public

Mutability transaction

Source Code

function approve(address usr, uint256 wad) external returns (bool) {
  allowance[msg.sender][usr] = wad;
  emit Approval(msg.sender, usr, wad);
  return true;
}

push

Parameters

Name	Type
usr	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for the sender's address

Source Code

function push(address usr, uint256 wad) external {
  transferFrom(msg.sender, usr, wad);
}

pull

Parameters

Name	Type
usr	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for the sender's address

Source Code

function pull(address usr, uint256 wad) external {
  transferFrom(usr, msg.sender, wad);
}

move

Parameters

Name	Type
src	address
dst	address
wad	uint

Properties

Visibility public

Mutability transaction

Requirements

wad must be less than or equal to balanceOf for the sender's address

Source Code

function move(
  address src,
  address dst,
  uint256 wad
) external {
  transferFrom(src, dst, wad);
}

permit

Parameters

Name	Type
holder	address
spender	address
nonce	uint256
expiry	uint256
allowed	bool
v	uint8
r	bytes32
s	bytes32

Properties

Visibility public

Mutability transaction

Requirements

holder must not be equal to UNKNOWN VALUE

holder must be equal to the result of calling ecrecover with digest, v, r, s

One or more of the following: - now must be less than or equal to expiry - OR expiry must be equal to 0

nonce must be equal to UNKNOWN VALUE

Source Code

function permit(
  address holder,
  address spender,
  uint256 nonce,
  uint256 expiry,
  bool allowed,
  uint8 v,
  bytes32 r,
  bytes32 s
) external {
  bytes32 digest = keccak256(
    abi.encodePacked(
      "\x19\x01",
      DOMAIN_SEPARATOR,
      keccak256(
        abi.encode(PERMIT_TYPEHASH, holder, spender, nonce, expiry, allowed)
      )
    )
  );

  require(holder != address(0), "Dai/invalid-address-0");
  require(holder == ecrecover(digest, v, r, s), "Dai/invalid-permit");
  require(expiry == 0 || now <= expiry, "Dai/permit-expired");
  require(nonce == nonces[holder]++, "Dai/invalid-nonce");
  uint256 wad = allowed ? uint256(-1) : 0;
  allowance[holder][spender] = wad;
  emit Approval(holder, spender, wad);
}

Internal Functions Expand All Collapse All

Internal functions are parts of the contract that can't be used directly, but instead are used by the public functions listed above.

internal Dai.add

Parameters

Name	Type
x	uint
y	uint

Properties

Visibility internal

Mutability pure

Requirements

x must be less than or equal to UNKNOWN VALUE

Source Code

function add(uint256 x, uint256 y) internal pure returns (uint256 z) {
  require((z = x + y) >= x);
}

internal Dai.sub

Parameters

Name	Type
x	uint
y	uint

Properties

Visibility internal

Mutability pure

Requirements

x must be greater than or equal to UNKNOWN VALUE

Source Code

function sub(uint256 x, uint256 y) internal pure returns (uint256 z) {
  require((z = x - y) <= x);
}

Dai Stablecoin

ERC20

About link

Stats

Events (3) keyboard_arrow_up

Approval Event

Parameters help Event parameters list the data that an event contains.

LogNote Event

Parameters help Event parameters list the data that an event contains.

Transfer Event

Parameters help Event parameters list the data that an event contains.

Constants (5) keyboard_arrow_up

name Constant

symbol Constant

version Constant

decimals Constant

PERMIT_TYPEHASH Constant

State Variables (6) keyboard_arrow_up

totalSupply Variable

DOMAIN_SEPARATOR Variable

wards Variable

balanceOf Variable

nonces Variable

allowance Variable

Functions Expand All Collapse All

rely keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Modifiers help Modifiers are additions to a function that typically make various checks before the function is run.

note checks for the following:

auth checks for the following:

Source Code

deny keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Modifiers help Modifiers are additions to a function that typically make various checks before the function is run.

note checks for the following:

auth checks for the following:

Source Code

transfer keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

transferFrom keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

mint keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Modifiers help Modifiers are additions to a function that typically make various checks before the function is run.

auth checks for the following:

Source Code

burn keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

approve keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Source Code

push keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

pull keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

move keyboard_arrow_up

Parameters help Function parameters list what input the function expects from the user. Each parameter must be given a value.

Properties

Requirements help Requirements are checks that the function makes when it runs, and give you insight on what conditions are required for the function to succeed.

Source Code

permit keyboard_arrow_up

About

Events (3)

Parameters

Parameters

Parameters

Constants (5)

State Variables (6)

rely

Parameters

Modifiers

deny

Parameters

Modifiers

transfer

Parameters

Requirements

transferFrom

Parameters

Requirements

mint

Parameters

Modifiers

burn

Parameters

Requirements

approve

Parameters

push

Parameters

Requirements

pull

Parameters

Requirements

move

Parameters

Requirements

permit

Parameters

Requirements

internal Dai.add

Parameters

Requirements

internal Dai.sub

Parameters

Requirements