무브

리브라(Libra)

벤 마우러(Ben Maurer) 무브 개발자

무브(Move)는 개별 거래 로직과 스마트 계약을 리브라(Libra) 블록체인상에서 구동시키기 위해 개발한 프로그래밍 언어이다.

개요

블록체인에서 사용되는 기존 스크립트 언어의 한계가 있다. 기존 스크립트에서는 코인을 매개하는 과정상 단순한 정수형을 사용할 뿐 코인, 토큰을 규정하는 자료타입이 존재하지 않아 한계가 있다. 또 비트코인의 스크립트나 이더리움가상머신(EVM) 바이트코드 모두 현재 프로그래밍 언어로써 구조적으로 완벽하지 않아 새로운 언어로 무브를 개발했다. 페이스북은 백서에서 무브를 "맞춤형 거래와 스마트컨트랙트를 지원하기 위한 바이트코드(bytecode)언어"라고 표현했다.

용어

무브(Move)는 리브라 스마트 컨트랙트 프로그래밍을 위해 자체로 개발한 프로그래밍 언어이다. 코인데스크코리아의 정승원 기자는 'Move'라는 용어에 대해, 페이스북의 모토였던 "Move Fast and Break Things"에서 따왔으리라고 추측하였다. 그는 근거로, 첫째, 페이스북 본사 게스트용 와이파이 계정 fbguest의 암호가 "M0vefast"(알파벳 o 대신 숫자 0)이라는 점, 그리고 둘째, 리브라가 사용하는 송금 트랜잭션의 함수 이름이 "move()"라는 점 등을 들었다.

특징

리브라의 목표는 수십억 명을 대상으로 블록체인 기반의 결제용 암호화폐 서비스를 제공하는 것이다. 이를 위해 무브는 보안성과 안정성에 가장 큰 주안점을 두고 개발되었다. 무브는 지금까지 존재했던 스마트 계약과 관련된 사고들을 참고 삼아 설계되었고, 개발자의 의도를 쉽고 정확하게 표현할 수 있기 때문에 예기치 못한 버그 또는 보안 사고를 방지한다. 디지털 자산에 실물 자산의 성격을 부여하여 디지털 자산의 주인을 한 명으로 규정하고, 한 번밖에 사용될 수 없도록 하며, 새로운 동일 자산의 생성을 제한하는 기능도 한다.

무브는 특정 자산의 거래내역을 자동으로 검증할 수 있다. 이러한 기능을 통해 무브는 리브라 블록체인의 보안을 강화할 것이며, 핵심 거래 코드의 작성을 용이하게 함으로써 리브라 생태계의 거버넌스 정책에 대한 보안도 강화할 수 있게 된다. 무브는 리브라 블록체인 합의 알고리즘과 함께 그 위에서 개발되는 금융 혁신들을 촉진하는 것을 목적으로 한다.

무브 언어는 토큰 등 블록체인 데이터에 리소스 자료형을 선언해 쓸 수 있다. 리소스 자료형은 무브 언어에서 토큰 등 디지털 자산을 안전하게 관리하기 위해 새롭게 등장한 자료형이다. 리소스 타입으로 선언된 데이터는 해당 리소스를 선언한 모듈에서만 변경, 삭제할 수 있다. 외부 모듈에서 접근하는 경우 리소스 토큰 등을 옮기는 기능만 오로지 수행할 수 있다. 무브 언어에서 리소스 객체는 소모될 뿐 복사가 되지 않는 특성을 지니고 있다.

모듈에서 리소스 타입으로 Coin 변수를 손쉽게 선언할 수 있다. 이렇게 선언된 객체는 내부 모듈을 통해서만 생성, 변경, 파괴 할 수 있고 외부에서는 오로지 옮기는 동작만 가능하다.

장점

• 메인넷과 동등한 보안성을 항상 확보할 수 있다.
• 금융 데이터를 저장하기에 용이하다.

리소스 객체를 옮기는 기능은 이동 시맨틱과 유사하다.

이동 시맨틱

이동 시맨틱이란 C++11, Rust 등 언어에서 메모리의 소유권을 이전하는 복사 방식 중 하나다. 메모리 간 이동이나 복사를 수행하는 경우 오버헤드가 발생하는 경우가 많다. 특히 메모리를 제어하기 위해 주로 수행하는 깊은 복사 방식은 블록체인에서 컴퓨팅 자원을 잡아먹는 문제가 있다. 복사 과정상 인스턴스를 생성하기 때문에 이는 곧 가스 등 수수료로 직결되기 때문이다. 반면 이동 시맨틱 기능을 통하면 객체 간 메모리의 복사를 얕게 수행할 수 있어 추가적인 인스턴스 생성이 없는 특징이 있다. 한편 메모리를 통해 얕게 복사하는 기능은 이더리움에서 EVM 어셈블리를 통해 구현할 수는 있지만 개발 난이도가 더욱 높아지는 한계점이 뒤따른다.

활용

리브라

페이스북은 리브라 프로토콜에서 트랜잭션을 유연하게 배포하고 검증도 수월하도록 특화한 블록체인 전용 개발 언어를 개발했다. 리브라 블록체인은 다른 블록체인 플랫폼과 프로그래밍 언어에서 차별화 포인트를 두었다. 상당수 블록체인은 데이터의 검증을 블록 구조와 합의 알고리즘에서 전적으로 처리하는 반면 리브라는 토큰 등 리소스 객체의 안정성, 희소성 검증 로직을 무브 내부에 추가해 데이터 검증 수준을 더욱 높였다. 이를 최적화하면 프로토콜의 보안성과 거래 검증 속도를 추가적으로 향상시킬 효과가 있을 것으로 기대된다. 리브라에 대해 자세히 보기

평가

홍 개발자는 "현 이더리움의 개발 언어 모델보다 세련됐다"고 평가 했다. 하지만, 중국의 대표적인 암호화폐 초기 투자자 리샤오라이(李笑來)는 "페이스북이 또 바보 같은 짓을 하려고 한다"며 "굳이 리브라 블록체인 전용 프로그래밍 언어 무브(Move)를 개발할 필요가 있을까 의문"이라고 자신의 웨이보를 통해 전했다.

비전

수십억의 사람들을 힘을 실어 간단한 글로벌 통화 및 금융 인프라를 활성화 하는것이다. Move는 이 비전이 구축 될 수 있는 안전 프로그램 기반을 제공 하도록 설계되었다. Move는 정확한 이해와 검증 가능한 방식으로 규칙을 정한다. 장기적으로 Move는 금융 인프라를 구성하는 자산과 해당 비즈니스 로직의 풍부한 다양성을 인코딩 할 수 있어야한다.

참고자료

• 정승원 기자, 〈페이스북 리브라, 블록체인 업계에 무임승차 혜택 줄 것〉, 《코인데스크코리아》, 2019-06-21
• Christine Kim, Lan Allison, 〈페이스북 리브라 기술 분석해보니... 전용 프로그램언어 '무브' 출시〉, 《코인데스크코리아》, 2019-06-19
• 강민승 기자, 〈한단계 진화한 블록체인 개발 언어, 페이스북 무브〉, 《매일경제》, 2019-06-21
• 박현영 기자, 〈개발자가 보는 페북 리브라 블록체인은?... "이더리움보다 세련된 개발 언어"〉, 《디센터》, 2019-06-21
• 박현영 기자, 〈(페북 리브라 백서) 페이스북이 개발한 블록체인 프로토콜은?〉, 《디센터》, 2019-06-18

같이 보기

• 리브라
• 페이스북
• 벤 마우러

이 문서는 로고가 필요합니다.

이 무브 문서는 프로그래밍에 관한 토막글입니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 이 문서의 내용을 채워주세요.

개발 : 프로그래밍 □■⊕, 소프트웨어, 데이터, 솔루션, 보안, 하드웨어, 컴퓨터, 사무자동화, 인터넷, 모바일, 사물인터넷, 게임, 메타버스, 디자인 프로그래밍 언어 ASP • C 언어 • C++ • C# • CSS • D 언어 • HTML • HTML5 • JSP • PHP • R • XHTML • XML • XSLT • 고(Go) • 고급언어 • 기계어 • 델파이 • 러스트 • 루비 • 루아 • 리액트 • 리퀴디티 • 무브 • 미켈슨 • 베이직 • 브이비스크립트 • 비주얼 C++ • 비주얼베이직(VB) • 비주얼베이직닷넷(VB.NET) • 솔리디티 • 스몰토크 • 스위프트 언어 • 스칼라 • 스크립트 언어 • 알골 • 어셈블리 • 언리얼스크립트 • 얼랭 • 에이잭스(Ajax) • 엠에프씨(MFC) • 오브젝티브-C • 오브젝트 파스칼 • 오카멜 • 웹어셈블리(WASM) • 이와즘(eWASM) • 자바 • 자바스크립트 • 저급언어 • 제이슨(JSON) • 제이쿼리(jQuery) • 카멜 • 코볼 • 코틀린 • 콜드퓨전 • 타입스크립트 • 파스칼 • 파워스크립트 • 파이썬 • 펄(Perl) • 포트란 • 프로씨(Pro-C) • 피엘에스큐엘(PL/SQL) • 피엘원(PL/I) • 하스켈 개발방법론 CBD 개발방법론 • EA • 구조적 개발방법론 • 객체지향 개발방법론 • 라이브러리 • 람다 아키텍처 • 모듈 • 모듈화 • 벤치마킹 • 소프트웨어 개발방법론 • 스크럼 • 스프린트 • 아키텍처 • 아키텍트 • 애자일 • 웹개발방법론 • 정보공학 개발방법론 • 컴포넌트 • 테일러링 • 템플릿 • 폭포수 모델 • 프로젝트 • 프로토타입 • 피드백 코딩 EUC-KR • UTF-8 • 값 • 글루웨어 • 디버깅 • 디코딩 • 마크업 • 버그 • 부트스트랩 • 세이브포인트 • 소스코드 • 시큐어코딩 • 아스키 • 액티브엑스 • 오픈소스 • 유니코드 • 인코딩 • 재컴파일 • 주석 • 컴파일 • 컴퓨터 프로그램 • 코드 • 코딩 • 태그 • 테스트 • 테이블 • 텍스트 • 파싱 • 퍼블리싱 • 퓨니코드 • 하드코딩 • 하이퍼링크 • 하이퍼텍스트 프로그래밍 C 명령어 • 객체 • 객체지향 • 객체지향 프로그래밍 • 거짓 • 관계연산자 • 기본형 변수 • 널 • 논리 • 논리연산 • 논리연산자 • 다중상속 • 다형성 • 대입 • 대입문 • 대입연산자 • 더블 • 도스 명령어 • 디폴트 • 레지스터변수 • 루프 • 리눅스 명령어 • 리턴 • 메모리 주소 • 메소드 • 멤버 • 명령문 • 명령어 • 무한루프 • 문자 • 문자열 • 바이트 • 반복문 • 배열 • 변수 • 분기 • 분기문 • 불린 • 브레이크 • 비교연산자 • 비트연산자 • 산술연산자 • 상속 • 상수 • 생성자 • 선언 • 선언문 • 설정자 • 속성 • 스위치 • 스태틱 • 시프트연산자 • 실행 • 실행문 • 어노테이션 • 에코 • 역참조 • 연산 • 연산문 • 연산자 • 오버로딩 • 오버라이딩 • 외부변수 • 윈도우 명령어 • 유닉스 명령어 • 인스턴스 • 인스트럭션 • 인클루드 • 인터페이스 • 임포트 • 입력 • 입력문 • 입출력 • 입출력문 • 자료형(데이터 타입) • 자바 명령어 • 자바 예약어 • 자바 컬렉션 • 전역변수 • 접근자 • 접근제어자 • 정보은닉 • 정수형 • 정적변수 • 제어 • 제어문 • 제어자 • 조건 • 조건문 • 조건연산자 • 주소 • 증감연산자 • 지역변수 • 참 • 참조 • 참조변수 • 초기화 • 추상메소드 • 추상클래스 • 추상화 • 출력 • 출력문 • 캡슐화 • 케이스 • 클래스 • 파라미터(매개변수) • 파이널 • 패키지 • 퍼블릭 • 포인터 • 프라이빗 • 프로텍티드 • 필드(멤버변수) • 함수 • 환경변수 명령어 abstract • array • boolean • break • byte • case • char • continue • default • double • do while • echo • elif • else • else if • false • final • float • for • gosub • goto • if • if else • import • include • int • join • long • long long • null • print • printf • println • private • protected • public • return • scanf • short • stdio.h • static • string • switch • temp • then • true • unsigned • void • while 디자인패턴 구조패턴 • 동시성패턴 • 동시실행패턴 • 모델-뷰-컨트롤러 패턴 • 상태패턴 • 생성패턴 • 싱글톤패턴 • 아키텍처패턴 • 전략패턴 • 커맨드패턴 • 행동패턴 프로그래밍 인물 귀도 반 로썸 • 그레이스 머레이 호퍼 • 니클라우스 비르트 • 댄 브릭클린 • 더그 커팅 • 데니스 리치 • 리누스 토르발스 • 리처드 그린블라트 • 마거릿 해밀턴 • 마크 앤드리슨 • 빈트 서프 • 빌 게이츠 • 빌 조이 • 스티브 잡스 • 에이다 러브레이스 • 제임스 고슬링 • 척 벤턴 • 켄 톰슨 • 팀 패터슨 위키 : 자동차, 교통, 지역, 지도, 산업, 기업, 단체, 업무, 생활, 쇼핑, 블록체인, 암호화폐, 인공지능, 개발, 인물, 행사, 일반