4 Blocks, State and Transactions 4.1. World State (1) The world state (state) - Addr(160bits)와 계정 상태(RLP로 직렬화된 데이터 구조)의 매핑 - 블록체인에 저장되지 않지만, 구현체는 수정된 Merkle Patricia tree에서 이 매핑을 유지할 것으로 가정 - 트리에서 바이트 배열과 바이트 배열을 유지하는 데이터베이스 백엔드 필요 -> state database - 루트 노드는 암호화적으로 모든 내부 데이터에 의존하며, 따라서 해시는 전체 시스템 상태에 대한 보안 ID로 사용될 수 있음 - 불변 데이터 구조, 루트 해시를 그에 따라 변경하여 모든 이전 상태를 호출할 수 있음 (2) World State의 네가지 구성 필드 ..
3 Conventions - ‘top-level’ 최상위 레벨의 State 값 : bold lowercase 그리스 문자로 표시 - denoted σ (or a variant thereupon) and those of machine-state, µ - 함수는 상태 전이 함수 Υ와 같이 upper-case 그리스 문자로 표시 - 대부분의 함수는 대문자 사용 ex.C - 튜플은 일반적으로 대문자로 표시되며, 이더리움 트랜잭션을 나타내는 데 사용됨 - 대문자 첨자는 첨자가 있는 구성 요소가 있는 튜플을 나타냄 - Scalars and fixed-size byte sequences : 소문자료 표시 - 그리스어는 주어진 작업을 수행하기 위해 스택에 필요한 항목의 수 나타낼 수 있음 - 임의의 길이의 시퀀스는 굵..
1 Introduction - consensus mechanisms, 사회의 자발적 존중, 인터넷으로 계약을 체결할 수 있음 - cryptographically secure, transaction-based state machine - 분산 가치 전달 시스템은 암호학적으로 안전한 transaction 기반 상태의 머신의 전문화된 버전임 - Ethereum is a project which attempts to build the generalised technology - a trustfulobject messaging compute framework. - 개체간 통신 컴퓨팅 프레임워크 1) Driving Factors - 핵심 목표는 서로 신뢰 수단이 없는 개인들의 동의를 얻어 이들 사이의 거래를 촉진하..
1) 전체 코드 - 새로운 Workspace를 만들어 HotelRoom.sol 코드를 작성함 - pragma solidity ^0.6.0 에 맞추어 컴파일러 옵션을 0.6.1로 변경함 2) 코드 설명 Payable 이더 코인을 전송하는 스마트 컨트랙트를 작성하기 위해서 반드시 사용해야 함 payable을 작성한 함수에서만 이더를 보낼 수 있으므로 코인 이동에 필수적인 키워드 address 타입: 지불 가능한 주소 타입, send()와 transfer()함수를 내장함 function 타입: 지불 가능한 함수 타입 Enum 솔리디티의 열거형 데이터 타입 개발자가 정의할 수 있는 자료형으로 특정한 값들만 갖는 변수를 만들고 싶을 때 사용함 함수 내에서는 선언이 불가하며 전역공간에 선언할 수 있음 이 코드에서는..
