Move là một ngôn ngữ lập trình dựa trên Rust, ban đầu được phát triển cho các dự án 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. Khác với các ngôn ngữ lập trình truyền thống, Move được thiết kế đặc biệt cho các ứng dụng blockchain, nhấn mạnh đến sự an toàn và hiệu quả. Move có tính năng độc lập với nền tảng, hỗ trợ các thư viện, công cụ và cộng đồng nhà phát triển xuyên chuỗi.
Lợi ích của ngôn ngữ Move
Move có nhiều lợi thế trên các ngôn ngữ blockchain hiện có. Mô hình lập trình hướng tài nguyên và các tính năng bảo mật tích hợp của nó khiến nó trở thành lựa chọn lý tưởng để xây dựng các ứng dụng blockchain an toàn và hiệu suất cao. Thiết kế của Move nhấn mạnh tính an toàn, nhằm tránh nhiều vấn đề phổ biến trong Web3, chẳng hạn như lỗ hổng gọi lại, token độc hại và phê duyệt token giả mạo. Tài sản kỹ thuật số được coi là tài nguyên, có nghĩa là chúng không thể bị sao chép hoặc tiêu hủy tùy ý.
Lập trình hướng đối tượng và dựa trên tài sản
Move được thiết kế như một ngôn ngữ lập trình hướng đối tượng và dựa trên tài sản. Đối tượng là cốt lõi, cho phép kiểm soát truy cập chi tiết. Cấu trúc lưu trữ toàn cầu ánh xạ ID đối tượng tới đối tượng, hỗ trợ xử lý giao dịch hiệu quả và biểu diễn truy cập chính xác. Mô hình khả năng của Move đảm bảo đối tượng có quyền cụ thể, ngăn chặn các hoạt động trái phép như sao chép hoặc xóa đối tượng.
Sử dụng Move Prover để xác minh hình thức
Move Prover là một công cụ xác thực, giúp các nhà phát triển viết quy chuẩn hình thức cho các chức năng chính của ứng dụng của họ và kiểm tra tính chính xác của việc thực thi mã trong thời gian ngắn. Công cụ này rất quan trọng để ngăn chặn các lỗi hợp đồng thông minh phổ biến, cho phép thiết lập các điều kiện tiên quyết, điều kiện hậu quả và tính không thay đổi của dữ liệu. Move Prover tích hợp với hệ thống xây dựng Move, giúp các nhà phát triển dễ dàng xác thực mã của họ.
Quản trị và cộng đồng
Sự phát triển của Move hiện đang liên quan đến các đội ngũ đa dạng từ nhiều tổ chức, bao gồm cả giới học thuật và cộng đồng an ninh. Nguyên tắc thiết kế của ngôn ngữ tập trung vào tính đơn giản và khả năng áp dụng đa nền tảng, đảm bảo tính linh hoạt và dễ sử dụng cho cả các nhà phát triển hợp đồng thông minh có kinh nghiệm và những người mới đến từ Web2. Phương pháp quản trị của Move nhằm mục đích tránh các quyết định gây tranh cãi bằng cách tập trung vào các nguyên tắc cốt lõi và chỉ mở rộng ngôn ngữ khi cần thiết.
Hệ sinh thái Move sớm
Sui
Sui là một blockchain chứng minh cổ phần phi tập trung, có khả năng mở rộng theo chiều ngang với năng lực xử lý và lưu trữ. Sui dự kiến sẽ xử lý hơn 120.000 TPS, thực hiện các giao dịch độc lập trong vòng chưa đầy một giây và các giao dịch phức tạp hơn (giao dịch đối tượng chia sẻ) trong vòng 3 giây. Các quan hệ phụ thuộc giao dịch được lập bản đồ trước khi thực hiện, cho phép xử lý các giao dịch độc lập thông qua phát sóng đồng thuận Byzantine, trong khi các giao dịch liên quan đến các đối tượng chia sẻ được xử lý bởi một giao thức đồng thuận có tên là Narwhal & Tusk.
Sui đã thực hiện một số thay đổi đối với các chức năng cốt lõi của Move, đặc biệt là trong các toán tử lưu trữ toàn cầu và các khả năng chính. Những thay đổi này giữ nguyên tính an toàn và linh hoạt của Move, đồng thời tối ưu hóa cơ chế lưu trữ và địa chỉ, 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 sứ mệnh tạo ra sự truy cập tài sản phi tập trung phổ biến và công bằng cho hàng tỷ người. Aptos hiện có thể đạt được công suất lên đến 10.000 TPS, với công suất tối đa lý thuyết là 160.000 TPS. Hầu hết các giao dịch được xác thực sau hai lần phát sóng mạng, với thời gian xác nhận cuối cùng là 250 mili giây.
Aptos đã mở rộng chức năng MoveVM cốt lõi thông qua lớp thích ứng, bao gồm việc thực hiện tính năng song song thông qua Block-STM, cho phép thực hiện giao dịch song song mà không cần nhập liệu từ người dùng, lưu trữ quy mô lớn trong tài khoản, cũng như tách rời lưu trữ ở mức độ chi tiết, trong đó lượng dữ liệu trong tài khoản sẽ ảnh hưởng đến phí GAS của các giao dịch liên quan.
Movement Labs
Movement Labs là một đội ngũ phát triển blockchain, cam kết tích hợp mạng blockchain để hỗ trợ giải pháp Layer 2 nhanh nhất và an toàn nhất trên Ethereum. Sứ mệnh của họ là kết hợp tính bảo mật của hợp đồng thông minh với tính thanh khoản và cơ sở người dùng của EVM. Thông qua L2 flagship của họ, họ kết nối Rollup với Move Stack, đưa MoveVM vào Ethereum.
Bối cảnh
Rushi Manche, đồng sáng lập của Movement Labs, đã đam mê các hệ thống phân tán và an ninh mạng từ khi còn nhỏ. 14 tuổi, anh bắt đầu làm việc trong lĩnh vực kỹ thuật và trong thời gian học đại học, anh đã làm việc tự do với Solidity. Trong thời gian này, anh đã gặp Cooper Scanlon, và cả hai cùng tham gia vào giai đoạn phát triển sớm của hệ sinh thái Move.
Giải quyết vấn đề an ninh
Để giải quyết vấn đề lỗ hổng hợp đồng thông minh, Movement Labs cam kết xây dựng một hệ sinh thái blockchain mô-đun dựa trên Move, bắt đầu từ M2, tức là Layer 2 MoveVM đầu tiên của Ethereum. Họ cũng đã giới thiệu một môi trường thực thi mới, được thiết kế để xử lý hơn 30.000 giao dịch mỗi giây (TPS).
Move-EVM cho phép các nhà phát triển triển khai mã đã được xác minh trong thời gian thực, ngăn chặn tấn công tái nhập và các vectơ tấn công khác. Phương pháp "tích hợp" này kết hợp sắp xếp chia sẻ, xác minh hình thức nhúng, khả năng dữ liệu thay thế và thanh toán Ethereum để nâng cao tính bảo mật và hiệu suất.
Tích hợp Move với mô-đun hóa
Việc tích hợp theo mô-đun là cốt lõi của triết lý thiết kế của Movement Labs. Bằng cách phân tách ngăn xếp blockchain thành những thành phần mô-đun với giao diện rõ ràng, việc tích hợp, tùy chỉnh và nâng cấp trở nên liền mạch. Các nhà phát triển có thể kết hợp các mô-đun để tùy chỉnh ngăn xếp của họ.
EVM song song và Move
EVM song song là một phát triển nhằm cải thiện khả năng mở rộng và hiệu suất của Ethereum. Move và Solidity phục vụ cho các mục đích khác nhau, có thể cùng tồn tại và bổ sung cho nhau. Move tập trung vào tính bảo mật và khả năng biểu đạt, phù hợp để xây dựng hợp đồng thông minh phức tạp và ứng dụng hiệu suất cao. Trong khi đó, Solidity có một hệ sinh thái lớn và cộng đồng nhà phát triển.
Trình sắp xếp phi tập trung
Movement là một L2 mô-đun, trong đó M1 là lớp thực thi của chuỗi, trong khi M2 có cơ chế nút sắp xếp phi tập trung được tích hợp sẵn, cung cấp cho mạng Movement một thị trường gas miễn phí.
Tính tương thích giữa Move và Solidity
Movement đã thiết kế một trình biên dịch cho Solidity, cho phép các hợp đồng thông minh được viết bằng Solidity áp dụng các nguyên tắc OOP (lập trình hướng đối tượng) trên Movement. Tuy nhiên, các hợp đồng đã được biên dịch có thể gặp phải những thách thức kỹ thuật, chẳng hạn như việc truy cập hạn chế vào các đối tượng Move khi sử dụng Solidity hoặc sự khác biệt trong các tiêu chuẩn token và NFT.
Vốn
Vào ngày 25 tháng 4, Movement Labs đã hoàn thành vòng gọi vốn Series A trị giá 38 triệu USD do một tổ chức đầu tư dẫn dắt, cùng với sự tham gia của nhiều tổ chức đầu tư nổi tiếng khác.
Bản đồ lộ trình tương lai
Trong thời gian ngắ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. Movement Labs cũng sẽ phát hành một bộ công cụ và tài nguyên Move để hỗ trợ các nhà phát triển. Mục tiêu lâu dài là triển khai Rollup hoàn chỉnh trên mạng chính, mang sức mạnh của Move đến toàn bộ hệ sinh thái Ethereum.
Như một phần của chiến lược mở rộng toàn cầu, Movement Labs rất chú trọng đến khu vực Châu Á - Thái Bình Dương. Nhận thức được tiềm năng và tài năng to lớn trong cộng đồng nhà phát triển Move, họ sẽ tiếp tục hỗ trợ các nhà phát triển Move ở châu Á bằng cách cung cấp các nguồn lực, giáo dục và cơ hội cần thiết, đồng thời trưng bày những công việc xuất sắc của họ và thúc đẩy sự phát triển của hệ sinh thái Move.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Ngôn ngữ Move: Lựa chọn mới để xây dựng ứng dụng Blockchain an toàn và hiệu quả
Giới thiệu về ngôn ngữ Move
Move là một ngôn ngữ lập trình dựa trên Rust, ban đầu được phát triển cho các dự án 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. Khác với các ngôn ngữ lập trình truyền thống, Move được thiết kế đặc biệt cho các ứng dụng blockchain, nhấn mạnh đến sự an toàn và hiệu quả. Move có tính năng độc lập với nền tảng, hỗ trợ các thư viện, công cụ và cộng đồng nhà phát triển xuyên chuỗi.
Lợi ích của ngôn ngữ Move
Move có nhiều lợi thế trên các ngôn ngữ blockchain hiện có. Mô hình lập trình hướng tài nguyên và các tính năng bảo mật tích hợp của nó khiến nó trở thành lựa chọn lý tưởng để xây dựng các ứng dụng blockchain an toàn và hiệu suất cao. Thiết kế của Move nhấn mạnh tính an toàn, nhằm tránh nhiều vấn đề phổ biến trong Web3, chẳng hạn như lỗ hổng gọi lại, token độc hại và phê duyệt token giả mạo. Tài sản kỹ thuật số được coi là tài nguyên, có nghĩa là chúng không thể bị sao chép hoặc tiêu hủy tùy ý.
Lập trình hướng đối tượng và dựa trên tài sản
Move được thiết kế như một ngôn ngữ lập trình hướng đối tượng và dựa trên tài sản. Đối tượng là cốt lõi, cho phép kiểm soát truy cập chi tiết. Cấu trúc lưu trữ toàn cầu ánh xạ ID đối tượng tới đối tượng, hỗ trợ xử lý giao dịch hiệu quả và biểu diễn truy cập chính xác. Mô hình khả năng của Move đảm bảo đối tượng có quyền cụ thể, ngăn chặn các hoạt động trái phép như sao chép hoặc xóa đối tượng.
Sử dụng Move Prover để xác minh hình thức
Move Prover là một công cụ xác thực, giúp các nhà phát triển viết quy chuẩn hình thức cho các chức năng chính của ứng dụng của họ và kiểm tra tính chính xác của việc thực thi mã trong thời gian ngắn. Công cụ này rất quan trọng để ngăn chặn các lỗi hợp đồng thông minh phổ biến, cho phép thiết lập các điều kiện tiên quyết, điều kiện hậu quả và tính không thay đổi của dữ liệu. Move Prover tích hợp với hệ thống xây dựng Move, giúp các nhà phát triển dễ dàng xác thực mã của họ.
Quản trị và cộng đồng
Sự phát triển của Move hiện đang liên quan đến các đội ngũ đa dạng từ nhiều tổ chức, bao gồm cả giới học thuật và cộng đồng an ninh. Nguyên tắc thiết kế của ngôn ngữ tập trung vào tính đơn giản và khả năng áp dụng đa nền tảng, đảm bảo tính linh hoạt và dễ sử dụng cho cả các nhà phát triển hợp đồng thông minh có kinh nghiệm và những người mới đến từ Web2. Phương pháp quản trị của Move nhằm mục đích tránh các quyết định gây tranh cãi bằng cách tập trung vào các nguyên tắc cốt lõi và chỉ mở rộng ngôn ngữ khi cần thiết.
Hệ sinh thái Move sớm
Sui
Sui là một blockchain chứng minh cổ phần phi tập trung, có khả năng mở rộng theo chiều ngang với năng lực xử lý và lưu trữ. Sui dự kiến sẽ xử lý hơn 120.000 TPS, thực hiện các giao dịch độc lập trong vòng chưa đầy một giây và các giao dịch phức tạp hơn (giao dịch đối tượng chia sẻ) trong vòng 3 giây. Các quan hệ phụ thuộc giao dịch được lập bản đồ trước khi thực hiện, cho phép xử lý các giao dịch độc lập thông qua phát sóng đồng thuận Byzantine, trong khi các giao dịch liên quan đến các đối tượng chia sẻ được xử lý bởi một giao thức đồng thuận có tên là Narwhal & Tusk.
Sui đã thực hiện một số thay đổi đối với các chức năng cốt lõi của Move, đặc biệt là trong các toán tử lưu trữ toàn cầu và các khả năng chính. Những thay đổi này giữ nguyên tính an toàn và linh hoạt của Move, đồng thời tối ưu hóa cơ chế lưu trữ và địa chỉ, 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 sứ mệnh tạo ra sự truy cập tài sản phi tập trung phổ biến và công bằng cho hàng tỷ người. Aptos hiện có thể đạt được công suất lên đến 10.000 TPS, với công suất tối đa lý thuyết là 160.000 TPS. Hầu hết các giao dịch được xác thực sau hai lần phát sóng mạng, với thời gian xác nhận cuối cùng là 250 mili giây.
Aptos đã mở rộng chức năng MoveVM cốt lõi thông qua lớp thích ứng, bao gồm việc thực hiện tính năng song song thông qua Block-STM, cho phép thực hiện giao dịch song song mà không cần nhập liệu từ người dùng, lưu trữ quy mô lớn trong tài khoản, cũng như tách rời lưu trữ ở mức độ chi tiết, trong đó lượng dữ liệu trong tài khoản sẽ ảnh hưởng đến phí GAS của các giao dịch liên quan.
Movement Labs
Movement Labs là một đội ngũ phát triển blockchain, cam kết tích hợp mạng blockchain để hỗ trợ giải pháp Layer 2 nhanh nhất và an toàn nhất trên Ethereum. Sứ mệnh của họ là kết hợp tính bảo mật của hợp đồng thông minh với tính thanh khoản và cơ sở người dùng của EVM. Thông qua L2 flagship của họ, họ kết nối Rollup với Move Stack, đưa MoveVM vào Ethereum.
Bối cảnh
Rushi Manche, đồng sáng lập của Movement Labs, đã đam mê các hệ thống phân tán và an ninh mạng từ khi còn nhỏ. 14 tuổi, anh bắt đầu làm việc trong lĩnh vực kỹ thuật và trong thời gian học đại học, anh đã làm việc tự do với Solidity. Trong thời gian này, anh đã gặp Cooper Scanlon, và cả hai cùng tham gia vào giai đoạn phát triển sớm của hệ sinh thái Move.
Giải quyết vấn đề an ninh
Để giải quyết vấn đề lỗ hổng hợp đồng thông minh, Movement Labs cam kết xây dựng một hệ sinh thái blockchain mô-đun dựa trên Move, bắt đầu từ M2, tức là Layer 2 MoveVM đầu tiên của Ethereum. Họ cũng đã giới thiệu một môi trường thực thi mới, được thiết kế để xử lý hơn 30.000 giao dịch mỗi giây (TPS).
Move-EVM cho phép các nhà phát triển triển khai mã đã được xác minh trong thời gian thực, ngăn chặn tấn công tái nhập và các vectơ tấn công khác. Phương pháp "tích hợp" này kết hợp sắp xếp chia sẻ, xác minh hình thức nhúng, khả năng dữ liệu thay thế và thanh toán Ethereum để nâng cao tính bảo mật và hiệu suất.
Tích hợp Move với mô-đun hóa
Việc tích hợp theo mô-đun là cốt lõi của triết lý thiết kế của Movement Labs. Bằng cách phân tách ngăn xếp blockchain thành những thành phần mô-đun với giao diện rõ ràng, việc tích hợp, tùy chỉnh và nâng cấp trở nên liền mạch. Các nhà phát triển có thể kết hợp các mô-đun để tùy chỉnh ngăn xếp của họ.
EVM song song và Move
EVM song song là một phát triển nhằm cải thiện khả năng mở rộng và hiệu suất của Ethereum. Move và Solidity phục vụ cho các mục đích khác nhau, có thể cùng tồn tại và bổ sung cho nhau. Move tập trung vào tính bảo mật và khả năng biểu đạt, phù hợp để xây dựng hợp đồng thông minh phức tạp và ứng dụng hiệu suất cao. Trong khi đó, Solidity có một hệ sinh thái lớn và cộng đồng nhà phát triển.
Trình sắp xếp phi tập trung
Movement là một L2 mô-đun, trong đó M1 là lớp thực thi của chuỗi, trong khi M2 có cơ chế nút sắp xếp phi tập trung được tích hợp sẵn, cung cấp cho mạng Movement một thị trường gas miễn phí.
Tính tương thích giữa Move và Solidity
Movement đã thiết kế một trình biên dịch cho Solidity, cho phép các hợp đồng thông minh được viết bằng Solidity áp dụng các nguyên tắc OOP (lập trình hướng đối tượng) trên Movement. Tuy nhiên, các hợp đồng đã được biên dịch có thể gặp phải những thách thức kỹ thuật, chẳng hạn như việc truy cập hạn chế vào các đối tượng Move khi sử dụng Solidity hoặc sự khác biệt trong các tiêu chuẩn token và NFT.
Vốn
Vào ngày 25 tháng 4, Movement Labs đã hoàn thành vòng gọi vốn Series A trị giá 38 triệu USD do một tổ chức đầu tư dẫn dắt, cùng với sự tham gia của nhiều tổ chức đầu tư nổi tiếng khác.
Bản đồ lộ trình tương lai
Trong thời gian ngắ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. Movement Labs cũng sẽ phát hành một bộ công cụ và tài nguyên Move để hỗ trợ các nhà phát triển. Mục tiêu lâu dài là triển khai Rollup hoàn chỉnh trên mạng chính, mang sức mạnh của Move đến toàn bộ hệ sinh thái Ethereum.
Như một phần của chiến lược mở rộng toàn cầu, Movement Labs rất chú trọng đến khu vực Châu Á - Thái Bình Dương. Nhận thức được tiềm năng và tài năng to lớn trong cộng đồng nhà phát triển Move, họ sẽ tiếp tục hỗ trợ các nhà phát triển Move ở châu Á bằng cách cung cấp các nguồn lực, giáo dục và cơ hội cần thiết, đồng thời trưng bày những công việc xuất sắc của họ và thúc đẩy sự phát triển của hệ sinh thái Move.