스마트 컨트랙트의 구조

// Solidity 예제
// 컨트랙트의 데이터를 초기화하고, `owner`를
// 컨트랙트 생성자의 주소로 설정합니다.
constructor() public {
    // 모든 스마트 컨트랙트는 함수를 트리거하기 위해 외부 트랜잭션에 의존합니다.
    // `msg`는 주어진 트랜잭션에 대한 관련 데이터를 포함하는 전역 변수입니다.
    // 예를 들어 발신자의 주소와 트랜잭션에 포함된 ETH 값 등이 있습니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/units-and-global-variables.html#block-and-transaction-properties
    owner = msg.sender;
}

pragma solidity >=0.4.0 <=0.6.0;

contract ExampleDapp {
    string dapp_name; // 상태 변수

    // 컨트랙트가 배포될 때 호출되며 값을 초기화합니다.
    constructor() public {
        dapp_name = "My Example dapp";
    }

    // Get 함수
    function read_name() public view returns(string) {
        return dapp_name;
    }

    // Set 함수
    function update_name(string value) public {
        dapp_name = value;
    }
}

// 유의적 버전(semantic versioning)을 사용하여 Solidity의 버전을 지정합니다.
// 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/layout-of-source-files.html#pragma
pragma solidity ^0.5.10;

// `HelloWorld`라는 이름의 컨트랙트를 정의합니다.
// 컨트랙트는 함수와 데이터(상태)의 모음입니다.
// 배포된 컨트랙트는 이더리움 블록체인의 특정 주소에 상주합니다.
// 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/structure-of-a-contract.html
contract HelloWorld {

    // `string` 타입의 상태 변수 `message`를 선언합니다.
    // 상태 변수는 그 값이 컨트랙트 스토리지에 영구적으로 저장되는 변수입니다.
    // `public` 키워드는 컨트랙트 외부에서 변수에 접근할 수 있게 하며
    // 다른 컨트랙트나 클라이언트가 값을 읽기 위해 호출할 수 있는 함수를 생성합니다.
    string public message;

    // 많은 클래스 기반 객체 지향 언어와 유사하게, 생성자는
    // 컨트랙트 생성 시에만 실행되는 특수한 함수입니다.
    // 생성자는 컨트랙트의 데이터를 초기화하는 데 사용됩니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#constructors
    constructor(string memory initMessage) public {
        // 문자열 인수 `initMessage`를 받아 그 값을
        // 컨트랙트의 `message` 스토리지 변수에 설정합니다.
        message = initMessage;
    }

    // 문자열 인수를 받아들이고
    // `message` 스토리지 변수를 업데이트하는 public 함수입니다.
    function update(string memory newMessage) public {
        message = newMessage;
    }
}

pragma solidity ^0.5.10;

contract Token {
    // `address`(주소)는 이메일 주소와 비슷하며, 이더리움에서 계정을 식별하는 데 사용됩니다.
    // 주소는 스마트 컨트랙트 또는 외부(사용자) 계정을 나타낼 수 있습니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/types.html#address
    address public owner;

    // `mapping`은 본질적으로 해시 테이블 데이터 구조입니다.
    // 이 `mapping`은 부호 없는 정수(토큰 잔액)를 주소(토큰 보유자)에 할당합니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/types.html#mapping-types
    mapping (address => uint) public balances;

    // 이벤트는 블록체인 상의 활동을 로깅할 수 있게 해줍니다.
    // 이더리움 클라이언트는 컨트랙트 상태 변경에 반응하기 위해 이벤트를 수신할 수 있습니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#events
    event Transfer(address from, address to, uint amount);

    // 컨트랙트의 데이터를 초기화하고, `owner`를
    // 컨트랙트 생성자의 주소로 설정합니다.
    constructor() public {
        // 모든 스마트 컨트랙트는 함수를 트리거하기 위해 외부 트랜잭션에 의존합니다.
        // `msg`는 주어진 트랜잭션에 대한 관련 데이터를 포함하는 전역 변수입니다.
        // 예를 들어 발신자의 주소와 트랜잭션에 포함된 ETH 값 등이 있습니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/units-and-global-variables.html#block-and-transaction-properties
        owner = msg.sender;
    }

    // 일정량의 새로운 토큰을 생성하여 주소로 전송합니다.
    function mint(address receiver, uint amount) public {
        // `require`는 특정 조건을 강제하는 데 사용되는 제어 구조입니다.
        // `require` 문이 `false`로 평가되면 예외가 트리거되며,
        // 현재 호출 중에 상태에 적용된 모든 변경 사항을 되돌립니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/control-structures.html#error-handling-assert-require-revert-and-exceptions

        // 컨트랙트 소유자만이 이 함수를 호출할 수 있습니다.
        require(msg.sender == owner, "You are not the owner.");

        // 토큰의 최대 수량을 강제합니다.
        require(amount < 1e60, "Maximum issuance exceeded");

        // `receiver`의 잔액을 `amount`만큼 증가시킵니다.
        balances[receiver] += amount;
    }

    // 호출자로부터 특정 주소로 일정량의 기존 토큰을 전송합니다.
    function transfer(address receiver, uint amount) public {
        // 발신자는 전송할 충분한 토큰을 가지고 있어야 합니다.
        require(amount <= balances[msg.sender], "Insufficient balance.");

        // 두 주소의 토큰 잔액을 조정합니다.
        balances[msg.sender] -= amount;
        balances[receiver] += amount;

        // 앞서 정의한 이벤트를 발생시킵니다.
        emit Transfer(msg.sender, receiver, amount);
    }
}

pragma solidity ^0.5.10;

// 다른 파일의 심볼을 현재 컨트랙트로 가져옵니다.
// 이 경우, OpenZeppelin의 일련의 헬퍼 컨트랙트들입니다.
// 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/layout-of-source-files.html#importing-other-source-files

import "../node_modules/@openzeppelin/contracts/token/ERC721/IERC721.sol";
import "../node_modules/@openzeppelin/contracts/token/ERC721/IERC721Receiver.sol";
import "../node_modules/@openzeppelin/contracts/introspection/ERC165.sol";
import "../node_modules/@openzeppelin/contracts/math/SafeMath.sol";

// `is` 키워드는 외부 컨트랙트로부터 함수와 키워드를 상속받는 데 사용됩니다.
// 이 경우, `CryptoPizza`는 `IERC721` 및 `ERC165` 컨트랙트를 상속받습니다.
// 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#inheritance
contract CryptoPizza is IERC721, ERC165 {
    // 산술 연산을 안전하게 수행하기 위해 OpenZeppelin의 SafeMath 라이브러리를 사용합니다.
    // 자세히 알아보기: https://docs.openzeppelin.com/contracts/2.x/api/math#SafeMath
    using SafeMath for uint256;

    // Solidity의 상수 상태 변수는 다른 언어와 유사하지만
    // 컴파일 타임에 상수인 표현식에서 할당해야 합니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#constant-state-variables
    uint256 constant dnaDigits = 10;
    uint256 constant dnaModulus = 10 ** dnaDigits;
    bytes4 private constant _ERC721_RECEIVED = 0x150b7a02;

    // 구조체(Struct) 타입을 사용하면 사용자 정의 타입을 정의할 수 있습니다.
    // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/types.html#structs
    struct Pizza {
        string name;
        uint256 dna;
    }

    // Pizza 구조체의 빈 배열을 생성합니다.
    Pizza[] public pizzas;

    // 피자 ID에서 소유자의 주소로의 매핑
    mapping(uint256 => address) public pizzaToOwner;

    // 소유자의 주소에서 소유한 토큰 수로의 매핑
    mapping(address => uint256) public ownerPizzaCount;

    // 토큰 ID에서 승인된 주소로의 매핑
    mapping(uint256 => address) pizzaApprovals;

    // 매핑을 중첩할 수 있으며, 이 예제는 소유자를 운영자 승인에 매핑합니다.
    mapping(address => mapping(address => bool)) private operatorApprovals;

    // 문자열(이름)과 DNA로부터 무작위 피자를 생성하는 내부(internal) 함수
    function _createPizza(string memory _name, uint256 _dna)
        // `internal` 키워드는 이 함수가 현재 컨트랙트와
        // 이 컨트랙트를 상속받는 컨트랙트 내에서만 접근할 수 있음을 의미합니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#visibility-and-getters
        internal
        // `isUnique`는 피자가 이미 존재하는지 확인하는 함수 제어자(modifier)입니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/structure-of-a-contract.html#function-modifiers
        isUnique(_name, _dna)
    {
        // 피자 배열에 피자를 추가하고 ID를 가져옵니다.
        uint256 id = SafeMath.sub(pizzas.push(Pizza(_name, _dna)), 1);

        // 피자 소유자가 현재 사용자와 동일한지 확인합니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/control-structures.html#error-handling-assert-require-revert-and-exceptions

        // address(0)은 영(zero) 주소이며,
        // 이는 pizza[id]가 아직 특정 사용자에게 할당되지 않았음을 나타냅니다.

        assert(pizzaToOwner[id] == address(0));

        // 피자를 소유자에게 매핑합니다.
        pizzaToOwner[id] = msg.sender;
        ownerPizzaCount[msg.sender] = SafeMath.add(
            ownerPizzaCount[msg.sender],
            1
        );
    }

    // 문자열(이름)로부터 무작위 피자를 생성합니다.
    function createRandomPizza(string memory _name) public {
        uint256 randDna = generateRandomDna(_name, msg.sender);
        _createPizza(_name, randDna);
    }

    // 문자열(이름)과 소유자(생성자)의 주소로부터 무작위 DNA를 생성합니다.
    function generateRandomDna(string memory _str, address _owner)
        public
        // `pure`로 표시된 함수는 상태를 읽거나 수정하지 않을 것을 보장합니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#pure-functions
        pure
        returns (uint256)
    {
        // 문자열(이름) + 주소(소유자)로부터 무작위 uint를 생성합니다.
        uint256 rand = uint256(keccak256(abi.encodePacked(_str))) +
            uint256(_owner);
        rand = rand % dnaModulus;
        return rand;
    }

    // 소유자가 찾은 피자 배열을 반환합니다.
    function getPizzasByOwner(address _owner)
        public
        // `view`로 표시된 함수는 상태를 수정하지 않을 것을 보장합니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/contracts.html#view-functions
        view
        returns (uint256[] memory)
    {
        // 이 함수 호출의 수명 주기 동안에만 값을 저장하기 위해
        // `memory` 스토리지 위치를 사용합니다.
        // 자세히 알아보기: https://solidity.readthedocs.io/en/v0.5.10/introduction-to-smart-contracts.html#storage-memory-and-the-stack
        uint256[] memory result = new uint256[](ownerPizzaCount[_owner]);
        uint256 counter = 0;
        for (uint256 i = 0; i < pizzas.length; i++) {
            if (pizzaToOwner[i] == _owner) {
                result[counter] = i;
                counter++;
            }
        }
        return result;
    }

    // 피자와 소유권을 다른 주소로 전송합니다.
    function transferFrom(address _from, address _to, uint256 _pizzaId) public {
        require(_from != address(0) && _to != address(0), "Invalid address.");
        require(_exists(_pizzaId), "Pizza does not exist.");
        require(_from != _to, "Cannot transfer to the same address.");
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "Address is not approved.");

        ownerPizzaCount[_to] = SafeMath.add(ownerPizzaCount[_to], 1);
        ownerPizzaCount[_from] = SafeMath.sub(ownerPizzaCount[_from], 1);
        pizzaToOwner[_pizzaId] = _to;

        // 가져온 IERC721 컨트랙트에 정의된 이벤트를 발생시킵니다.
        emit Transfer(_from, _to, _pizzaId);
        _clearApproval(_to, _pizzaId);
    }

    /**
     * 주어진 토큰 ID의 소유권을 다른 주소로 안전하게 전송합니다.
     * 대상 주소가 컨트랙트인 경우, 안전한 전송 시 호출되는 `onERC721Received`를 구현해야 하며,
     * 매직 값 `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`를 반환해야 합니다.
     * 그렇지 않으면 전송이 되돌려집니다.
    */
    function safeTransferFrom(address from, address to, uint256 pizzaId)
        public
    {
        // solium-disable-next-line arg-overflow
        this.safeTransferFrom(from, to, pizzaId, "");
    }

    /**
     * 주어진 토큰 ID의 소유권을 다른 주소로 안전하게 전송합니다.
     * 대상 주소가 컨트랙트인 경우, 안전한 전송 시 호출되는 `onERC721Received`를 구현해야 하며,
     * 매직 값 `bytes4(keccak256("onERC721Received(address,address,uint256,bytes)"))`를 반환해야 합니다.
     * 그렇지 않으면 전송이 되돌려집니다.
     */
    function safeTransferFrom(
        address from,
        address to,
        uint256 pizzaId,
        bytes memory _data
    ) public {
        this.transferFrom(from, to, pizzaId);
        require(_checkOnERC721Received(from, to, pizzaId, _data), "Must implement onERC721Received.");
    }

    /**
     * 대상 주소에서 `onERC721Received`를 호출하는 내부 함수입니다.
     * 대상 주소가 컨트랙트가 아닌 경우 호출이 실행되지 않습니다.
     */
    function _checkOnERC721Received(
        address from,
        address to,
        uint256 pizzaId,
        bytes memory _data
    ) internal returns (bool) {
        if (!isContract(to)) {
            return true;
        }

        bytes4 retval = IERC721Receiver(to).onERC721Received(
            msg.sender,
            from,
            pizzaId,
            _data
        );
        return (retval == _ERC721_RECEIVED);
    }

    // 피자를 소각합니다 - 토큰을 완전히 파괴합니다.
    // `external` 함수 제어자는 이 함수가
    // 컨트랙트 인터페이스의 일부이며 다른 컨트랙트에서 호출할 수 있음을 의미합니다.
    function burn(uint256 _pizzaId) external {
        require(msg.sender != address(0), "Invalid address.");
        require(_exists(_pizzaId), "Pizza does not exist.");
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "Address is not approved.");

        ownerPizzaCount[msg.sender] = SafeMath.sub(
            ownerPizzaCount[msg.sender],
            1
        );
        pizzaToOwner[_pizzaId] = address(0);
    }

    // 주소별 피자 개수를 반환합니다.
    function balanceOf(address _owner) public view returns (uint256 _balance) {
        return ownerPizzaCount[_owner];
    }

    // ID로 찾은 피자의 소유자를 반환합니다.
    function ownerOf(uint256 _pizzaId) public view returns (address _owner) {
        address owner = pizzaToOwner[_pizzaId];
        require(owner != address(0), "Invalid Pizza ID.");
        return owner;
    }

    // 피자의 소유권을 전송할 수 있도록 다른 주소를 승인합니다.
    function approve(address _to, uint256 _pizzaId) public {
        require(msg.sender == pizzaToOwner[_pizzaId], "Must be the Pizza owner.");
        pizzaApprovals[_pizzaId] = _to;
        emit Approval(msg.sender, _to, _pizzaId);
    }

    // 특정 피자에 대해 승인된 주소를 반환합니다.
    function getApproved(uint256 _pizzaId)
        public
        view
        returns (address operator)
    {
        require(_exists(_pizzaId), "Pizza does not exist.");
        return pizzaApprovals[_pizzaId];
    }

    /**
     * 주어진 토큰 ID의 현재 승인을 지우는 private 함수입니다.
     * 주어진 주소가 실제로 토큰의 소유자가 아닌 경우 되돌립니다.
     */
    function _clearApproval(address owner, uint256 _pizzaId) private {
        require(pizzaToOwner[_pizzaId] == owner, "Must be pizza owner.");
        require(_exists(_pizzaId), "Pizza does not exist.");
        if (pizzaApprovals[_pizzaId] != address(0)) {
            pizzaApprovals[_pizzaId] = address(0);
        }
    }

    /*
     * 주어진 운영자의 승인을 설정하거나 해제합니다.
     * 운영자는 발신자를 대신하여 발신자의 모든 토큰을 전송할 수 있습니다.
     */
    function setApprovalForAll(address to, bool approved) public {
        require(to != msg.sender, "Cannot approve own address");
        operatorApprovals[msg.sender][to] = approved;
        emit ApprovalForAll(msg.sender, to, approved);
    }

    // 운영자가 주어진 소유자에 의해 승인되었는지 여부를 알려줍니다.
    function isApprovedForAll(address owner, address operator)
        public
        view
        returns (bool)
    {
        return operatorApprovals[owner][operator];
    }

    // 피자의 소유권을 가져옵니다 - 승인된 사용자만 가능합니다.
    function takeOwnership(uint256 _pizzaId) public {
        require(_isApprovedOrOwner(msg.sender, _pizzaId), "Address is not approved.");
        address owner = this.ownerOf(_pizzaId);
        this.transferFrom(owner, msg.sender, _pizzaId);
    }

    // 피자가 존재하는지 확인합니다.
    function _exists(uint256 pizzaId) internal view returns (bool) {
        address owner = pizzaToOwner[pizzaId];
        return owner != address(0);
    }

    // 주소가 소유자인지 또는 피자를 전송하도록 승인되었는지 확인합니다.
    function _isApprovedOrOwner(address spender, uint256 pizzaId)
        internal
        view
        returns (bool)
    {
        address owner = pizzaToOwner[pizzaId];
        // 다음 이유로 solium 검사를 비활성화합니다:
        // https://github.com/duaraghav8/Solium/issues/175
        // solium-disable-next-line operator-whitespace
        return (spender == owner ||
            this.getApproved(pizzaId) == spender ||
            this.isApprovedForAll(owner, spender));
    }

    // 피자가 고유하며 아직 존재하지 않는지 확인합니다.
    modifier isUnique(string memory _name, uint256 _dna) {
        bool result = true;
        for (uint256 i = 0; i < pizzas.length; i++) {
            if (
                keccak256(abi.encodePacked(pizzas[i].name)) ==
                keccak256(abi.encodePacked(_name)) &&
                pizzas[i].dna == _dna
            ) {
                result = false;
            }
        }
        require(result, "Pizza with such name already exists.");
        _;
    }

    // 대상 주소가 컨트랙트인지 여부를 반환합니다.
    function isContract(address account) internal view returns (bool) {
        uint256 size;
        // 현재 주소에 컨트랙트가 있는지 확인하는 더 나은 방법은
        // 해당 주소의 코드 크기를 확인하는 것 외에는 없습니다.
        // https://ethereum.stackexchange.com/a/14016/36603 을 참조하여
        // 이것이 어떻게 작동하는지에 대한 자세한 내용을 확인하세요.
        // TODO Serenity 릴리스 전에 이를 다시 확인하세요. 그때는 모든 주소가
        // 컨트랙트가 될 것이기 때문입니다.
        // solium-disable-next-line security/no-inline-assembly
        assembly {
            size := extcodesize(account)
        }
        return size > 0;
    }
}