검수요청.png검수요청.png

무브

위키원
이동: 둘러보기, 검색
무브(Move)
무브(Move)
리브라(Libra)
벤 마우러(Ben Maurer) 무브 개발자

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

개요[편집]

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

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

특징[편집]

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

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

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

장점[편집]

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

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

이동 시맨틱[편집]

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

기능[편집]

  • 블록체인 실행에 적합한 프로그래밍 모델
  • Move프로그래밍 가능한 모델에 적합한 바이트 코드 언어
  • 강력한 데이터 추상화와 액세스 제어를 모두 갖춘 라이브러리 구현을 위한 모듈 시스템
  • 시리얼라이저/디시리얼라이저, 바이트코드 검증기 및 바이트코드 해석기로 구성된 가상 머신

예시[편집]

리소스 코인 선언[편집]

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

module Currency {  
  resource Coin { value: u64 }
  // . . .
} 

Currency라는 이름의 모듈과 Coin이라는 이름의 리소스 유형을 선언한 것이며, 모듈. Coin은 u64(64비트 부호 없는 정수) 유형의 단일 필드 값을 가진 구조체 유형이다.ref name="무브백서"></ref>

피투피 결제 트랜잭션 스크립트[편집]

P2P 네트워크에서 토큰을 단순하게 전송하는 과정을 구현한 코드이다.

public main(payee: address, amount: u64) {
   let coin: 0x0.Currency.Coin = 0x0.Currency.withdraw_from_sender(copy(amount));
   0x0.Currency.deposit(copy(payee), move(coin));
}

트랙잭션을 발행한 사람으로부터 수신자(payee)의 주소로 토근을 보내는 과정이다. 메인 함수 코드는 수신자의 주소, 전송될 토큰의 양을 입력값으로 받고 있다. 0x0은 모둘이 속한 계정의 주소다. Currency는 코드가 호출하는 모듈의 이름에 해당한다. 전송은 두 단계로 나눠 진행된다. Currency.withdraw_from_sender()를 진행한 뒤 트랜잭션 발행자의 잔고에서 토큰을 인출해 deposit 함수로 예치하는 모습이다.[1][4]

예치금 이행[편집]

단순한 전송 기능 뿐만 아니라 예치, 인출, 소각 등 여러 기능을 모듈을 통해 개발할 수 있다. 모듈의 작성자는 등록된 코인 등에서 완전한 통제권을 오직 갖게 된다. 엑세스 컨트롤이 확실한 것이다. 또 트랜잭션 스크립트는 단일 코드로 한번 실행 된 이후엔 다른 트랜잭션 스크립트나 모듈에서 사용될 수 없다.[1][4]

public deposit(payee: address, to_deposit: Coin) {
   let to_deposit_value: u64 = Unpack<Coin>(move(to_deposit));
   let coin_ref: &mut Coin = BrrowGlobal<Coin>(move(payee));
   let coin_value_ref: &mut u64 = &mut move(coin_ref).value;
   let coin_value: u64 = *move(coin_value_ref);
   *move(coin_value_ref) = move(coin_value) + move(to_deposit_value);
}

위 코드는 단순한 예치 기능을 구현한 것이다. deposit하마수는 모듈의 호출자로부터 코인을 받아서 수신자에게 예치하는 과정을 나타내고 있다. 둘째 줄의 언팩은 무브 언어에서 리소스타입 객체를 파괴하는 빌트인 기능이다. 코인을 파괴하면 리소스에 연관된 값을 얻을 수 있다. 이는 해당 코인 전송을 위한 준비작업인 셈이다. 이같은 실행은 해당 코인이 리소스로 선언된 모듈에서만 수행 할 수 있다. 셋째줄의 BorrowGlobal도 빌트인의 일종이다. 주소를 입력값으로 받아 주소가 생성하는 인스턴스를 래퍼런스값으로 반환한다. 코인자체가 아닌 코인 리소스의 레퍼런값을 반환한다. 마지막 줄은 수신자의 코인 리소스 값을 읽어오고 전송되는 값과 합쳐 결과에 반영하는 과정이다.[1][4]

활용[편집]

리브라[편집]

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

평가[편집]

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

계획[편집]

Move를 이용하여 계좌, 리브라 코인, 리브라 예비 관리, 우효 노드 추가 및 제거, 거래 수수료 징수 및 배포, 콜드 지갑 등 리브라 블록체인에서 핵심 기능을 구현하는 것이다. 이 일은 이미 진행 중이다.[4] 무브 개발자들은 Move언어에 파라 메트릭 다형성(일반론), 컬렉션, 이벤트를 추가할 예정이다. 파라 메트릭 다형성은 Move의 기존 안전과 검증 가능성 보장을 훼손하지 않는다. 개발자들의 설계는 절차와 구조물에 유사한(즉, 자원 또는 제한되지 않은) 제약조건이 있는 형식 매개 변수를 추가할 것이다. 또한 무브 모듈, 트랜잭션 스크립트 및 게시된 리소스의 버전 설정 및 업데이트를 위한 신뢰할 수 있는 메커니즘을 개발할 것이다.[4]

개발자들은 Move의 검증 친화적인 디자인을 활용하는 논리적인 규격 언어와 자동화된 형식 검증 도구를 만들고, 검증 툴체인에서는 Move 바이트코드 검증기에 의해 적용되는 안전 보장을 초과하는 프로그램별 기능적 정확성 특성을 점검한다고 말했다.[4]

그들의 장기적인 목표는 사용자가 모듈의 기능을 이해하기 위해 모듈의 공식 사양을 보는 정확성 문화를 촉진하는 것이다. 이상적으로, move 프로그래머는 포괄적인 공식 사양을 가지고 있고 해당 사양을 충족하도록 검증되지 않는 한 모듈과 기꺼이 상호작용할 수 없다. 그러나, 이 목표를 달성하는 것은 몇 가지 기술적, 사회적 측면을 제시한다. 과제들 검증 도구는 정확하고 직관적이어야 한다. 사양은 모듈화 및 재사용 가능해야 하지만 모듈 작동에 대한 유용한 문서로서 충분히 읽을 수 있어야 한다.[4]

각주[편집]

참고자료[편집]

같이 보기[편집]


  검수요청.png검수요청.png 이 무브 문서는 프로그래밍에 관한 글로서 검토가 필요합니다. 위키 문서는 누구든지 자유롭게 편집할 수 있습니다. [편집]을 눌러 문서 내용을 검토·수정해 주세요.