MOVE 프로그래밍 언어는 무엇일까요?

Diem 뒤에 숨겨진 소프트웨어 이해하기

지난 달, 메타는 암호화된 통화 공간의 최고 은행인 실버게이트쪽에 디엠 스테이블코인을 매각한다고 발표했다. (이 판매와 실버게이트에 대한 자세한 내용은 최근 보고서를 참조.)Silvergate는 많은 최상위 암호화폐 거래소에서 사용되는 24/7 자산 전송 시스템인 Silvergate Exchange Network(SEN)를 운영한다. 실버게이트는 그들이 인수한 디엠 인프라를 이용하여 SEN에 달러 지원 스테이블코인을 도입할 계획이다.

Silvergate가 거의 2억 달러를 지불했던 Diem 패키지의 중요한 부분은 Move 프로그래밍 언어다. Diem (이전 Libra) 프로젝트가 Meta에서 오래 걸린 이유 중 상당 부분은 암호 화폐를 위한 독점 프로그래밍 언어를 만드는 것이 었다. 이 기사에서는 Silvergate가 Diem의 미래를 계획함에 따라 Move의 중요점과 향후 사용법을 살펴 보겠다.

주요 단어

더 설명을 진행하기 전에, 우리는 몇 가지 핵심 어휘를 정의할 필요가 있다. 이 기사는 꽤 테크니컬한 부분이 많다는 것을 확인 바란다.

프로그래밍 언어 - “명령, 명령어 및 기타 구문 집합을 사용하여 소프트웨어 프로그램을 만든다.” Move는 Diem의 프로그래밍 언어로, 암호화폐의 기본 기능은 물론 Diem의 향후 응용 프로그램을 구축 할 수 있다

블록체인 - “대규모로 분산되고 공개적으로 접근 가능한 네트워크 안에서 동시에 사용하고 공유할 수 있는 정보(금융 거래 기록 등)를 포함하는 디지털 데이터베이스” 블록체인은 암호 해독에 기여하며, 발생되는 거래의 변하지 않는 장부를 만든다.거래가 기록에 입력되기 전에 합의에 도달해야 한다.

블록체인 트릴레마 - 블록 체인 네트워크에 대한 보안 (공격에 대한 저항), 확장성 (성장 가능성) 및 분산 (위치 및 사용자에 분산)을 모두 달성하는 데 어려움이 있다. 지금까지 블록체인은 이 세 가지 목표를 모두 달성하기 위해 애썼다. Ethereum과 같은 오늘날 최고의 블록 체인 중 상당수는 안전하고 분산되어 있습니다. 그러나 이로 인해 속도가 느려지고 거래 수수료가 높아 확장성에 부정적인 영향을 미친다. Diem은 대부분의 블록체인과 마찬가지로 트릴레마를 해결하는 것을 목표로 한다. Move는 그 해결책의 큰 부분을 차지한다.

선형 논리 - 1987년 Jean-Yves Girad가 만든 수학 논리 시스템으로 완전한 진리 또는 완전한 증명이 필요하지 않고 수식을 리소스로 강조한다.

중요한 변화는 리소스 영구적으로 사실로 취급되기보다는 한 번만 사용될 수 있다는 것이다. (즉, “A를 한 번 주면 B를 한 번 주겠다” 대신 “A를 B로 교환할 수 있다.”)

이는 선형 논리를 컴퓨터 과학에서 유용하게 만든다. 공식을 보편적인 진리로 취급하는 대신 리소스에 한정하면보다 다양한 시스템을 사용할 수 있다.

리소스 - 선형 논리 시스템의 기본 단위. Move에서 “자원은 절대로 복사되거나 암묵적으로 폐기될 수 없으며, 프로그램 저장소 위치 사이에서만 이동될 수 있다.” 토큰, 원장 및 기타 블록체인 요소가 영구적일 필요가 있는 이유는 선형 논리, 특히 리소스가 Move 언어를 구축하는 데 사용된 이유이기 때문이다.

Move 란?

Move는 Diem 블록 체인을 위해 설계된 프로그래밍 언어다. Move와 Diem은 모두 Meta가 후원하는 기술 컨소시엄인 Diem Association에 의해 만들어졌다. 최근 Move 언어를 포함한 Diem 프로젝트가 Silvergate에 판매되었다.

Move의 실행 형식은 “어셈블리보다 상위 수준이지만 소스 언어보다 하위 수준인 바이트 코드이다. 바이트 코드는 바이트 코드 검증자에 의해 리소스, 유형 및 메모리 안전을 위해 온 체인에서 검사된 다음 바이트 코드 인터프리터에 의해 직접 실행된다.” 이 메커니즘은 트랜잭션에 컴파일 비용을 추가하지 않고 Ethereum에 비해 가스 요금을 최소화하면서 안전성을 극대화하도록 설계되었다.이것은 Move가 디자인을 통해 트릴레마를 해결하려고 시도한 예다.

리소스 : Move를 움직이게 하는 것

Move를 다른 프로그래밍 언어와 구분하는 주요 요소는 선형 논리의 수학적 아이디어에서 가져온 리소스 사용이다. 선형 논리에서 수식은한 번만 사용할 수 있는 기본 리소스로 취급된다.그 후, Move에서 “자원은 절대 복사되거나 암묵적으로 폐기될 수 없으며, 프로그램 저장 위치 사이에서만 이동될 수 있다.” Move는 개발자들이 "일류"로 취급되고 복제되거나 지워질 수 없는 사용자 지정 자원 유형을 인코딩할 수 있게 해준다.

이 기능은 Move의 정적 유형 시스템에서 사용할 수 있다. 즉, 프로그래밍 언어의 변수는 특정 유형 (즉,숫자 또는 단어) 이동에서 이 시스템은 자원의 일류 특성을 보호한다. 그러나 리소스는 여전히 다른 덜 보호된 요소와 마찬가지로 사용할 수 있다.데이터 구조에 저장하거나 프로시저에 인수로 전달할 수 있다 (계산에 사용되는 값으로 제공됨).

이 모든 것은 Move의 리소스가 높은 수준의 보안과 표현력을 즐긴다는 것을 의미한다. 코드 내에서 보호되지만 모든 종류의 작업에 자유롭게 사용할 수도 있다. 이 조합은 트릴레마의 보안 및 확장 성 측면을 모두 다루기 때문에 블록 체인 프로그래밍에 완벽하다.현재 “Diem 코인, 트랜젝션 프로세싱그리고 검증자 메니지먼트”는 모두 Move와 함께 리소스로 인코딩되어 있다.

Move의 야망

Move 백서는 디자인에 정보를 제공한 언어에 대한 명확한 동기 목록을 제시한다.그들은 또한 Move뿐만 아니라 모든 블록 체인 프로그래밍 언어에 영향을 미치는 공개 블록 체인 시스템을 만드는 문제에 주목한다.

그들은 주로 Diem (Libra)이 누구나 블록 체인의 상태를보고 트랜잭션을 제출할 수있는 "개방형 시스템"이어야한다고 지적한다. 이것은 디지털 뱅킹 서비스와 같은 자산을 관리하기 위한 전통적인 소프트웨어와 근본적으로 다르다. 왜냐하면 그것들은 매우 폐쇄적인 시스템이기 때문이다.액세스는 특별한 권한 (여러 수준이 있음)으로만 가능하며 다른 사용자와 관련하여 투명성이 매우 제한적이다.

하지만 블록체인에서는 "모든 참여자들이 동등한 입장에 있다." 이것은 많은 도전을 야기한다. 중요한 것은 한 사용자가 다른 사용자의 자산을 이전하려고 시도하는 것과 같은 잘못된 거래의 제출을 방지하는 것이다. 또한 블록 체인은 소프트웨어에서 실행하기 어려운 전통적인 통화의 두 가지 측면을 포착 해야 한다. 첫째는 희소성이다. 자산을 복제하는 것은 금지되어야 하고 새로운 자산을 만드는 것은 특권이 되어야 한다. (평등주의적이고 개방적인 시스템에서 이러한 특권을 구현하는 것은 특히 어렵고, 그러한 시스템의 분권화를 크게 제한한다.)두 번째는 접근이다. 자산을 제어하고 보호하는 사용자의 능력이 가장 중요하다. Move에서 보호된 일류 자원을 사용하는 것은 이러한 희소성과 접근 문제를 해결하려는 시도이다.

엔지니어링 팀은 기존 블록 체인 언어, 특히 Bitcoin 스크립트 및 Ethereum 가상 머신 (각각 Bitcoin 및 Ethereum의 주요 프로그래밍 언어)에서 발견 한 세 가지 주요 문제를 나열했다.

1. 자산의 간접 인코딩

프로그래밍은 수학적으로 실행되기 때문에 많은 다른 요소들이 정수로 표현된다. 여기에는 비트코인과 이더리움의 경우와 같은 암호화폐와 같은 블록체인 자산이 포함된다. Move의 엔지니어들은 이것이 암호화 자산을 기반으로 프로그램을 작성하는 것을 "어색하고 오류가 발생하기 쉽다"고 느꼈다.이것이 Move가 Diem을 리소스로 나타내는 이유다.

2. 확장불가능한 부족함

Bitcoin과 Ethereum의 언어는 주요 안호화폐의 부족함을 보호하는 훌륭한 일을 한다. 그러나 언어는 부족한 자질을 가진 새로운 자산을 만들기에 적합하지 않다. 이것은 Ethereum 블록 체인을 기반으로 ERC-20 토큰을 만들 수있는 Ethereum 가상 머신의 특별한 문제다. 이러한 경우 개발자는 언어 지원없이 자체적으로 희소성을 설계해야 한다.Move는 그것을 바꾸려고 노력했다.

3. 비유연한 없는 접근 제어

희소성과 마찬가지로 Bitcoin과 Ethereum은 주요 암호화폐의 액세스를 엄격하게 통제하므로 소유권과 이전을 조작 할 수 없다. 그러나 이것은 다른 요소로 쉽게 확장되지 않으며 접근 수준이나 방법을 사용자 정의할 수도 없다.Move의 엔지니어들은 희소성과 마찬가지로 이러한 기능을 보다 확장 가능하고 사용자 정의가 가능하도록 만들어 언어를 보다 다양하고 확장 가능하게 만들려고했다.