Giới thiệu ngôn ngữ Move

Move là một ngôn ngữ lập trình dựa trên Rust, được thiết kế đặc biệt cho các ứng dụng blockchain. Nó nhằm giải quyết những hạn chế của các ngôn ngữ hợp đồng thông minh hiện có, cung cấp tính khan hiếm, tính xác định và khả năng xác minh. Move nhấn mạnh tính an toàn và hiệu quả, có đặc tính không phụ thuộc vào nền tảng, hỗ trợ các thư viện, công cụ và cộng đồng phát triển đa chuỗi.

Các đặc điểm chính của ngôn ngữ Move

Move có nhiều lợi thế trên nền tảng ngôn ngữ blockchain hiện có:

1. Mô hình lập trình hướng tài nguyên
2. Tính năng bảo mật tích hợp sẵn
3. Thiết kế hướng đối tượng và dựa trên tài sản
4. Kiểm soát truy cập chi tiết
5. Xử lý giao dịch hiệu quả
6. Ngăn chặn các vấn đề Web3 phổ biến ( như lỗ hổng tái nhập, token độc hại, v.v. )

Mô hình khả năng của Move đảm bảo rằng các đối tượng có quyền truy cập cụ thể, ngăn chặn các thao tác trái phép như sao chép hoặc xóa đối tượng.

Công cụ xác minh hình thức Move Prover

Move Prover là một công cụ xác minh, giúp các nhà phát triển:

• Viết đặc tả hình thức cho các chức năng chính của ứng dụng
• Kiểm tra tính chính xác của mã thực thi trong thời gian ngắn.
• Đặt ra điều kiện trước, điều kiện sau và tính không đổi của dữ liệu
• Ngăn chặn các lỗi hợp đồng thông minh phổ biến

Move Prover và hệ thống xây dựng Move được tích hợp, giúp các nhà phát triển dễ dàng xác minh mã của họ.

Hệ sinh thái Move

Sui

Sui là một blockchain bằng chứng cổ phần phi tập trung với các đặc điểm sau:

• Tính mở rộng về băng thông và lưu trữ
• Có thể xử lý hơn 120,000 TPS
• Xử lý giao dịch độc lập trong vòng vài mili giây
• Xử lý giao dịch phức tạp trong vòng 3 giây ( chia sẻ đối tượng )
• Sử dụng giao thức đồng thuận Narwhal & Tusk

Sui đã tối ưu hóa một số chức năng cốt lõi của Move để cải thiện hiệu suất mạng và giảm thời gian xác nhận giao dịch.

Aptos

Aptos là một blockchain Layer 1 với các đặc điểm sau:

• Hiện tại có thể đạt được thông lượng lên đến 10,000 TPS
• Lưu lượng tối đa lý thuyết là 160,000 TPS
• Thời gian xác nhận cuối cùng là 250 mili giây
• Thực hiện hiệu suất cao thông qua việc thực thi song song và Block-STM
• Sử dụng động cơ đồng thuận HotStuff được cải biên từ Diem

Aptos đã mở rộng chức năng MoveVM cốt lõi thông qua lớp thích ứng, bao gồm tính đồng thời, lưu trữ bảng quy mô lớn và tách lưu trữ chi tiết.

Movement Labs

Movement Labs là một đội ngũ phát triển tập trung vào việc tích hợp mạng lưới blockchain, nhằm đưa MoveVM vào hệ sinh thái Ethereum. Công việc chính của họ bao gồm:

1. Phát triển Layer 2 MoveVM đầu tiên trên Ethereum (M2)
2. Giới thiệu môi trường thực thi hiệu suất cao mới
3. Tạo Move-EVM, cho phép triển khai mã đã được xác thực
4. Ra mắt Move Stack, một khung thực thi tương thích với các khung Rollup hiện có.

Triết lý thiết kế của Movement Labs nhấn mạnh tích hợp mô-đun, cho phép các nhà phát triển tùy chỉnh ngăn xếp blockchain. Họ cũng đang phát triển trình biên dịch từ Solidity sang Move để tăng cường khả năng tương thích.

Phát triển tương lai

Trong ngắn hạn, các nhà phát triển có thể mong đợi việc triển khai hợp đồng thông minh Move đầu tiên trên mạng thử nghiệm Ethereum. Mục tiêu dài hạn là triển khai hoàn chỉnh Rollup trên mạng chính, mang lại những lợi thế của Move cho toàn bộ hệ sinh thái Ethereum. Movement Labs cũng sẽ tiếp tục hỗ trợ các nhà phát triển Move tại khu vực châu Á - Thái Bình Dương, cung cấp các nguồn lực và cơ hội cần thiết để thúc đẩy phát triển toàn cầu của hệ sinh thái Move.