왜 Move인가?

Move 프로그래밍 언어는 원래 Diem 결제 네트워크를 위해 Facebook의 엔지니어 팀에 의해 만들어졌습니다. Move는 플랫폼에 구애받지 않는 언어로 설계되어, 완전히 다른 데이터 및 실행 모델을 가진 다양한 블록체인에서 공통 라이브러리, 도구, 개발자 커뮤니티를 가능하게 합니다. Aptos에서는 Move의 강력한 개발자 커뮤니티 구축을 믿고 있으며, 그들이 Move on Aptos 스택을 기반으로 구축하고 오픈 소스 소프트웨어에 기여하도록 초대합니다.

Move는 다음 원칙을 기반으로 구축되었습니다:

원칙	설명
기본적으로 안전	금융 시스템은 사용자가 자금을 잃지 않도록 보장하기 위해 구축됩니다. Move는 재진입 공격, 이중 지출, 산술 오버플로와 같은 전체 공격 및 버그 클래스를 방지하도록 설계되었습니다. 타입 안전성과 컴파일 타임 검사가 보안의 최전선에 있습니다.
런타임 검증	바이트코드는 런타임에 검증되어 아무것도 잘못되지 않았는지 확인할 수 있으며, 추가적인 안전성을 제공하고 악의적인 행위자를 방지합니다.
형식 검증	Move on Aptos는 컨트랙트의 형식 검증을 제공하는 사양 언어를 제공합니다. 이를 통해 불변성을 증명하고 코드 감사를 지원할 수 있습니다.
단순성	명령과 바이트코드는 의도적으로 단순합니다. 이를 통해 쉬운 디컴파일, 런타임 검증, 코드 검사가 가능합니다. 블록체인을 위한 일반 프로그래밍 언어 사용은 종종 스마트 컨트랙트에 적합하게 만들기 위해 언어의 큰 부분을 무시해야 합니다 (예: Rust).

왜 Move on Aptos인가?

Move on Aptos는 Facebook 팀이 구축한 전체 언어를 지원하며, 보안과 개발자 경험을 개선하기 위해 구축된 추가 확장을 제공합니다.

보안

장점	설명
형식 검증	Aptos 프레임워크는 Move Prover와 함께 완전히 명시되고 형식적으로 검증됩니다. 여기에는 거버넌스, NFT, 토큰과 관련된 핵심 컨트랙트가 포함됩니다.
가스 커버리지	Move VM은 100% 가스 커버리지를 가집니다. 가스는 시스템의 실제 사용량(CPU, 메모리, 저장소, I/O)을 기반으로 부과됩니다. 즉, 가스 익스플로잇이 없습니다.
보안 중복성	런타임 안전 검사에 의해 제공되는 보안 중복성입니다.
권한 제어	권한 제어는 다양한 수준에서 유연하게 구축될 수 있습니다. 예를 들어, RWA 토큰화를 가능하게 하기 위해 토큰 수준 권한 제어가 기본적으로 존재합니다.

개발자 경험

장점	설명
Move 개발 도구	- 단위 테스팅: Move는 모든 컨트랙트에 대한 내장 단위 테스트를 가지고 있습니다. Aptos는 추가적으로 다양한 시나리오를 테스트하기 위한 프레임워크 테스트 기능을 제공합니다. - 커버리지: 커버리지 도구는 소스 및 바이트코드 수준 커버리지 보고를 모두 허용합니다. - 디컴파일러: 더 나은 보안을 위해, 온체인 바이트코드를 분해하거나 디컴파일하여 실제 컨트랙트에 대한 가시성을 제공할 수 있습니다. - IDE 플러그인: Aptos는 모든 주요 IDE를 지원합니다: VSCode, Cursor 등 그리고 IntelliJ.
데이터 모델	Aptos는 온체인에 저장된 데이터 정의와 함께 접근 가능한 데이터 모델을 가지고 있습니다. 객체와 계정은 쉽게 구문 분석할 수 있는 형식으로 여러 개의 별개 구조를 가질 수 있습니다.
업그레이드 가능성	업그레이드 가능성은 애플리케이션 인터페이스가 깨질 수 없고 다운스트림 애플리케이션의 명시적 채택이 필요하지 않음을 보장합니다. 컨트랙트는 버그를 수정하기 위해 제자리에서 단순히 업그레이드될 수 있습니다.
교차 상호작용	Move는 타입 안전 구조체를 사용하여 컨트랙트 간 상호작용을 허용합니다.
코드 저장	Aptos는 소스 코드를 온체인에 저장하여 감사 능력을 개선하고 컨트랙트와 바이트코드의 정확성을 보장합니다.
후원 거래	네이티브 후원 거래 지원은 특별한 서비스나 컨트랙트별 코드가 필요 없이 다른 사용자가 거래를 지불할 수 있도록 합니다.
강력한 토큰 표준	디지털 자산 및 대체 가능한 자산 표준은 온체인에서 다양한 유형의 토큰과 디지털 자산에 대한 유연성과 통합 표준을 제공합니다. 이들은 ERC-20, ERC-721, ERC-1155 및 Token-2022와 같은 기존 표준의 영향을 받았습니다.
온체인 랜덤성	네이티브 온체인 편향 없는 랜덤성은 컴파일 타임에 추가 안전 검사와 함께 안전하고 일관된 난수 생성 방법을 제공합니다.