원작자: asmp
2019년 메타(이전 페이스북)는 암호화폐 프로젝트 리브라(Libra)를 출시해 금융시장 전체의 관심을 끌었지만 규제 제한으로 인해 리브라는 디엠(Diem)으로 변신할 수밖에 없었다. 올해 1월 말, Diem은 Meta에 의해 약 1억 8,200만 달러에 매각되었습니다. Meta의 Libra 및 Diem 계획은 문제 없이 종료된 것처럼 보이지만 Solidity 및 EVM의 단점을 보완하는 Move 프로그래밍 언어와 파생된 퍼블릭 체인 팀인 암호화 업계에 귀중한 유산을 남겼습니다. 가장 대표적인 압토스, 수이, 리네라.
Move 프로그래밍 언어는 처음 출시된 이래로 많은 개발자들로부터 블록체인에 가장 적합한 언어로 환영받았습니다. 최근 Aptos 및 Sui와 같은 매우 새로운 퍼블릭 체인의 강력한 등장으로 Move 언어도 널리 논의되었으며 Solidity 및 Rust와 비교되었습니다. 이 기사에서는 Move 언어의 재정적 속성, 스마트 계약의 보안, 유연성 및 구성 가능성, Move 언어와 Solidity 및 Rust의 연결 및 비교에 대해 논의하고 언어 이동 진행.
1. 무브의 두 가지 장점
현재 가장 주류를 이루는 스마트 계약 언어는 Solidity이며 이에 비해 Move의 가장 큰 특징은 보안입니다. 반면에 Move는 더 나은 솔루션을 제공합니다. Move의 가장 큰 장점 두 가지를 아래에서 소개합니다.
1. 밑바닥부터 스마트 계약의 보안을 보장합니다.
SlowMist의 이전 보고서에 따르면 2021년 블록체인 보안 사고로 인해 98억 달러 이상의 손실이 발생할 것이라고 합니다. 떠오르는 프로그래밍 언어인 Move 언어는 보안 측면에서 다양한 수준의 혁신과 혁신을 이루었습니다.
First-class Resources의 진정한 의미가 "디지털 자산은 일류 시민"인 것처럼 Move는 디지털 자산을 운영하기 위한 스마트 계약 언어입니다.
다른 언어와 비교하여 Move는 토큰 자산을 더 기본적으로 그리고 하단에서 처리합니다. Move 언어는 자산을 다른 데이터와 구별되는 일종의 리소스로 구체적으로 정의합니다. 블록체인의 맥락에서 토큰은 일종의 리소스입니다.동시에 리소스 데이터는 계정에 저장되어야 합니다.거래 중에 자산은 다른 주소로 전송되거나 파괴되어 한 곳으로 이동해야 합니다.토큰은 5월 복사하거나 "이중 사용"할 수 없습니다.
이미지 설명
코드 예제 이동
먼저 바이트를 확인한 다음 계약을 실행하십시오.
실행 가능한 바이트코드 언어로 컴파일러를 사용하는 Solidity와 달리 Move에는 안전 알고리즘과 바이트코드 검증기(Bytecode verifier)가 내장되어 있어 많은 일반적인 오류를 방지할 수 있습니다. Move 컨트랙트 코드를 실행하기 전에 먼저 확인해야 합니다. 그러면 컨트랙트가 잠재적인 컴파일러 오류 및 가능한 공격으로부터 면역이 됩니다.
Move는 처음부터 규범 문화를 확립하기 위해 노력해 왔으며 각 Move 모듈에는 표준 라이브러리가 있습니다. Move 개발팀은 초기에 계약 검증을 위한 특수 검증기인 Move Prover를 개발했습니다. 이제 검증 도구가 훨씬 빨라져 개발자가 몇 분 안에 테스트를 실행할 수 있으므로 코드를 빠르게 반복할 수 있습니다.
2016년 이더리움의 하드포크를 일으킨 DAO 사건은 해커들이 스마트 컨트랙트의 고전적인 공격인 재진입(Re-Entrance) 공격 취약점을 악용했기 때문입니다. 리소스 모델 및 바이트 유효성 검사를 사용하면 이 공격이 발생할 수 없습니다.
이미지 설명
Solidity와 같은 언어에서 스마트 계약의 보안은 스마트 계약 가상 머신 간의 격리에 달려 있습니다.
이미지 설명
Move는 프로그래밍 언어 내부의 보안을 통해 스마트 계약의 상태를 격리합니다.
정적 호출은 계약 호출 취약성을 줄입니다.
계약 호출 방법은 정적 호출과 동적 호출로 나눌 수 있습니다. 프로그램 호출의 대상이 런타임에 결정되어야 하는 경우 호출을 동적 호출이라고 하고 반대로 실행 전에 호출 대상을 결정할 수 있고 런타임에 대상을 변경할 수 없는 경우 호출을 정적 호출이라고 합니다. 전화
동적 호출을 통해 많은 기능, 프로시저 또는 서브루틴을 프로그램에 작성할 수 있으며 이는 유연한 언어 메커니즘입니다. 그러나 유연성은 문제가 발생할 가능성이 더 높다는 것을 의미하기도 합니다.동적 호출은 프로그램 추론에 도움이 되지 않으며 형식 검증(Formal validation)에 도움이 되지 않습니다.또한 보안 문제를 일으킬 가능성이 더 큽니다.예를 들어 악의적인 사용자는 악의적인 사용자가 주기적 호출을 통한 계약으로 인해 여러 당사자에게 손실이 발생합니다. .
Move 언어는 정적 호출을 사용하며 모든 계약 실행 경로는 컴파일 타임에 결정된 다음 완전히 분석 및 검증될 수 있습니다. 개발자는 런타임 단계가 아닌 계약 컴파일 단계에서 문제를 노출하여 런타임 중 다운타임 가능성을 줄입니다. Ethereum EVM 플랫폼과 비교하여 Move 모듈 시스템은 순환 호출을 지원하지 않아 계약 재진입 취약점을 완벽하게 해결합니다.
2. 모듈 기반 결합성: 더 높은 효율성과 더 많은 유연성
스마트 계약의 결합 가능성은 프로그래밍 언어 생태계 구축을 위한 또 다른 중요한 기능입니다. Solidity와 같은 언어 생태학에서의 스마트 컨트랙트 결합은 기본적으로 메시지 전달을 통한 인터페이스 결합을 기반으로 합니다. Move에서는 모듈의 조합을 기반으로 하며 리소스 전송을 통해 상호 작용합니다.
Ethereum에서 일부 새로운 동작을 확장하거나 일부 구현 최적화를 수행하려는 경우 이전 인터페이스를 재정의해야 하며 이는 이전 메서드에도 영향을 미칩니다.
Move에서 계약 조합은 모듈을 업그레이드하고 최적화하기만 하면 되며 이 모듈을 사용한 다른 모든 계약은 자동으로 최신 버전을 사용합니다. Move의 Module은 Ethereum의 계약과 같은 기능을 하지만 객체 지향 프로그래밍을 사용하는 은행에 더 가깝습니다. 모듈은 스마트 컨트랙트를 위한 통일된 호환 공간을 제공하는 것과 같습니다.스마트 컨트랙트는 임의의 조합을 통해 새로운 제품을 생성할 수 있는 레고 장난감의 다양한 부품과 같습니다.
3NJOY Lab의 설립자인 Flex의 설명에 따르면 자동차 공장 건설을 예로 들면 Solidity의 접근 방식은 이 공장의 생산 표준과 프로세스를 정의하는 것입니다. 무브의 방식은 공장이 하나뿐이고, 자동차를 만들고자 하는 사람들은 이 공장을 이용하여 모두가 인정하는 자동차를 만들 수 있다는 것입니다.
모듈 조합을 통한 이동은 한편으로는 계약이 차지하는 블록 공간을 절약하고 다른 한편으로는 업그레이드를 더 쉽게 만듭니다. 동시에 Module 시스템은 선형 논리를 따르기 때문에 디지털 자산의 개념을 매우 잘 패키지화하고 캡슐화할 수 있으며 리소스 정의와 리소스 관련 동작을 매우 명확하게 분리할 수 있습니다.이 리소스 지향 프로그래밍이 가져온 표현력과 확장성은 다른 언어에서 가져오지 않습니다.
2. Move와 Solidity, Rust의 관계와 비교
Move는 이미 2014년 초에 출시된 Solidity와 비교할 때 아직 블록체인 개발 분야에서 매우 젊은 개발 언어이며 충분히 안전하고 오류 보고가 쉽지 않은 블록체인 개발임을 증명하는 데 더 많은 시간이 필요합니다. 기술 옵션.
Move와 Solidity의 주요 차이점
1. 재무 속성 측면에서 Move는 자산을 일종의 리소스로 간주하고 블록체인의 핵심 토큰 자산에 대해 보다 독창적이고 낮은 수준의 처리를 수행합니다.
2. 계약 유연성 측면에서 Move는 일회성 지침을 만들 수 있습니다.
Move 언어의 모듈은 이더리움 스마트 계약과 유사하지만 완전히 동일하지는 않습니다. 예를 들어 Move를 기반으로 작성된 Libra에서 모듈은 코드를 포함하고 데이터는 리소스에 있습니다. 목표 지향적인 관점에서 모든 Solidity 기반 이더리움 스마트 계약은 단일 계정 주소로 게시된 단일 개체와 같습니다. Move 환경에서 단일 모듈은 리소스 생성을 위한 레시피 역할을 하지만 단일 모듈을 사용하여 여러 계정 주소로 게시할 수 있는 리소스를 얼마든지 생성할 수 있으며 이는 Move의 모듈식 유연성도 반영합니다.
3. 보안 측면에서 Move VM은 가상 머신 격리 대신 언어 수준 격리를 채택합니다.
이미지 설명
Move의 모듈 속성
4. 성능면에서 Move는 인터프리터 언어이기 때문에 각 코드 라인은 동작 중에 개별적으로 평가되어야 합니다.
Move 코드는 즉시 평가해야 하므로 Move 성능은 Solidity 및 기타 컴파일된 언어만큼 좋지 않을 수 있습니다. 그러나 이것은 또한 Solidity의 일반적인 버그를 피하고 보안상의 이유로 타협 전략입니다. 현재 완전히 무브를 기반으로 구축된 블록체인 생태계는 아직 매우 제한적이며, 무브로 생성된 스마트 컨트랙트는 당분간 기존의 다른 블록체인에 이식할 수 없습니다. 그럼에도 불구하고 개발자는 EVM에서 대부분의 애플리케이션을 실행하고 Move에서 해당하는 필요한 수정을 가함으로써 레거시 프로그램을 대체할 수 있습니다.
Move와 Rust 사이의 연결
또한 Move와 Solidity를 비교할 때 Move와 매우 가까운 Rust, 더 정확하게는 Move는 Rust를 기반으로 하는 새로운 언어이지만 Rust와는 다릅니다. 러스트는 솔리디티보다 먼저인 2011년에 처음 출시되었고, 보안 문제가 자주 발생하는 솔리디티와 달리 러스트는 보안과 성능을 모두 염두에 두고 탄생했습니다. 효율적인 실행 성능을 제공하지만 메모리에 대한 보안을 제공합니다. Rust는 Solana 생태계 개발자가 반드시 배워야 할 언어입니다. 개발 과정에서 Rust 환경의 버그를 찾아 프로그램을 조립할 때 제거할 수 있습니다. 이는 Move로 개발할 때 버그를 방지하기 위해 작업 중에 코드를 한 줄씩 평가하는 것과 유사합니다. 또한 Move의 모듈과 리소스는 Rust 환경의 내장 종속성 관리자인 Cargo와 유사합니다. Move와 Rust의 긴밀한 연결로 인해 Solana 생태계에서 Rust 언어 사용에 능숙한 많은 개발자들이 Aptos 및 Sui와 같은 Move를 기반으로 하는 새로운 블록체인 생태계로 마이그레이션하기 시작했습니다.
3. MOVE 생태계 하에서 새로운 퍼블릭 체인 구축
Aptos, Sui, Linera, Starcoin 및 기타 퍼블릭 체인은 Move 생태계에 배치되었으며 모두 Move 언어를 기반으로 자체 확장을 수행했습니다. 이 장에서는 앱토스, 수이, 스타코인을 소개합니다.
Aptos
프로젝트 설명
Aptos는 올해 2월 초에 시작되었습니다.팀의 개발자는 Diem의 창립 팀원과 핵심 개발자를 포함합니다.Aptos에 대한 팀의 비전은 Diem에 대한 비전과 높은 관련이 있습니다.Aptos의 개발은 어느 정도 계속됩니다. 디엠의 발전. Aptos는 레이어 1에서 트랜잭션의 병렬 실행과 고성능에 중점을 두고 하나의 체인을 사용하여 탈중앙화, 보안 및 고성능의 "불가능한 삼각형"을 해결하려고 합니다. 현재 네트워크는 초당 10,000건 이상의 트랜잭션을 처리할 수 있으며 이상적으로는 Aptos 메인 네트워크는 초당 160,000건의 트랜잭션을 처리할 수 있습니다. Aptos는 이전에 미화 3억 5천만 달러의 투자를 받았으며 현재 가장 빠르게 성장하는 Move 퍼블릭 체인입니다.
Aptos에서 언어 이동
개발 진행
개발 진행
올해 3월, Aptos는 개발자 테스트넷을 출시했고, 5월에는 인센티브 테스트넷 등록을 시작했으며, 인센티브 테스트넷을 "탈중앙화 출시", "스테이킹", "거버넌스 및 업그레이드", "동적 검증"의 4단계로 나눴습니다. 장치 토폴로지". 현재 테스트 네트워크는 20,000개 이상의 노드에 도달하여 오늘날 알려진 가장 큰 지분 증명 노드 커뮤니티가 되었습니다.
Aptos 인센티브 테스트 네트워크 활동 AIT-3의 세 번째 라운드는 8월 30일에 공식적으로 시작되고 테스트는 9월 9일에 종료됩니다. Aptos 메인 네트워크는 올 가을에 시작됩니다.
생태 개발
올해 6월 말, Aptos는 2억 달러 규모의 생태계 자금 지원 프로그램을 시작하여 Aptos에 구축할 100개 이상의 프로젝트를 유치했습니다. 생태 레이아웃의 관점에서 Aptos는 여전히 인프라 건설에 중점을 둡니다.배치 시나리오는 주로 지갑, DEX 및 대출 계약과 같은 제품입니다.주목할 만한 것은 초병렬 CLOB 프로토콜 Econia, 모바일 다중 서명 지갑 하이브, 통합 애플리케이션 암호화된 지갑 Martian, 대출 계약 NjordFinance, 거래 집계자 Hippo Labs, AMM 거래 애플리케이션 Pontem Network 등
Sui
프로젝트 설명
이전 Meta 엔지니어가 설립한 Mysten Labs에서 설립한 Sui는 Move에서 UTXO와 유사한 프로그래밍 모델을 구현하기 위해 불변 상태를 도입했습니다. Sui는 높은 TPS와 낮은 대기 시간에 중점을 두고 TPS 상한을 설정하지 않고 확장 기능이 우수하며 사용자 트랜잭션 비용을 줄입니다. 올해 3월 테스트에서 Sui의 TPS는 120,000에 도달했습니다. Sui는 20억 달러의 평가액으로 최소 2억 달러의 시리즈 B 라운드를 마무리하고 있습니다.
프로젝트 특성
온체인 스토리지 및 확장성. Sui Move에는 글로벌 스토리지가 없으며, Move 스토리지가 아닌 Sui 스토리지 내부에서만 스토리지가 발생합니다. Sui의 스토리지는 비용이 저렴하고 수평 확장이 가능하여 개발자가 풍부한 속성으로 복잡한 자산을 정의할 수 있습니다.
고성능 및 높은 확장성: Sui는 애플리케이션 요구 사항을 충족하도록 확장됩니다. Mysten Labs에 따르면 Sui 당국(노드)은 이론적으로 빌더와 제작자의 요구를 충족시키기 위해 네트워크 처리량을 무한대로 효과적으로 확장할 수 있습니다. 2022년 3월 19일 현재 8코어 M1 Macbook Pro에서 실행되는 최적화되지 않은 단일 작업자 Sui 권한은 초당 120,000개의 토큰 전송 트랜잭션(TPS)을 실행하고 제출할 수 있습니다.
개발 친화적: Mysten Labs는 또한 개발자가 스마트 계약 디버깅, 검토 대기 또는 기본 기술 스택 요소 구축에 소요되는 시간을 줄일 수 있는 오픈 소스 툴킷인 Sui 개발자 키트를 출시할 예정입니다. Sui 개발자 키트의 세 가지 빌딩 블록에는 게임 SDK, 부트스트래핑 커뮤니티 SDK 및 핸드셰이크 SDK가 포함됩니다.
Sui에서 언어 이동
개발 진행
개발 진행
Sui는 5월 Devnet에서 출시되어 개발자가 Sui 네트워크를 사용할 수 있게 되었으며, 7월 현재 Devnet에서 5,000개 이상의 노드가 실행되고 있습니다.
이번 달에 Sui는 인센티브 테스트넷을 출시할 예정이며 인센티브 테스트넷 등록은 이미 시작되었습니다. 테스트 네트워크는 네트워크, 서약, 업그레이드 등 여러 단계로 나뉩니다.
생태학적 진보
현재 지갑, NFT, 블록체인 게임, 메타버스 등 공개 정보가 포함된 8개의 프로젝트가 있습니다. 현재 프로젝트 레이아웃과 Sui가 게임을 위해 제공하는 솔루션으로 볼 때 NFT 및 체인 게임은 생태계에서 더욱 독특한 부문이 될 것으로 예상됩니다.
Starcoin
프로젝트 설명
개발 진행
개발 진행
스타코인 메인넷은 2021년 5월 런칭 예정이며, 스타코인 메인넷은 1년 넘게 안정적으로 운영되고 있습니다. Starcoin Layer 2는 올해 9월에 테스트 네트워크를 제공할 예정입니다.
생태 개발
스타코인 생태계는 지갑, CEX, DEX, 마이닝 풀, 스테이블 통화, NFT, 체인 게임 등 7개 카테고리를 포함합니다. 주로 STC 마이닝 및 거래를 중심으로 이루어집니다.
토큰
STC는 총 3,185,136,000 STC가 발행되고 일정한 총량이 발행되는 스타코인의 기본 토큰입니다. 주요 용도는 1. 트랜잭션에 대한 가스 수수료 지불 2. 상태 공간 수수료 지불 3. 온체인 거버넌스 투표에 사용됩니다.
발문
발문
전반적으로 Move의 금융 중심 스마트 계약 프레임워크는 탈중앙화 금융 애플리케이션의 배포에 적합합니다. 스마트 계약의 보안, 구성 가능성 및 유연성 측면에서 Move 언어의 혁신은 생태계 개발과 DeFi 및 NFT와 같은 분산 자산의 보안을 위한 다각적인 지원 및 보장을 제공합니다.
원본 링크
