Tác giả gốc: asmp
Vào năm 2019, Meta (trước đây là Facebook) đã khởi động dự án tiền điện tử Libra, thu hút sự chú ý của toàn bộ thị trường tài chính, nhưng sau đó Libra buộc phải chuyển đổi thành Diễm do các hạn chế về quy định. Cuối tháng 1 năm nay, Diễm được Meta bán với giá khoảng 182 triệu USD. Các kế hoạch Libra và Diem của Meta dường như đã kết thúc mà không gặp vấn đề gì, nhưng chúng đã để lại một di sản quý giá cho ngành mã hóa - ngôn ngữ lập trình Move bù đắp cho những thiếu sót của Solidity và EVM, cũng như các nhóm chuỗi công khai có nguồn gốc, chẳng hạn như tiêu biểu nhất là Aptos, Sui và Linera.
Kể từ khi ngôn ngữ lập trình Move được ra mắt lần đầu tiên, nó đã được nhiều nhà phát triển ca ngợi là ngôn ngữ phù hợp nhất cho chuỗi khối. Với sự xuất hiện mạnh mẽ gần đây của các chuỗi công khai cực kỳ mới như Aptos và Sui, ngôn ngữ Move cũng đã được thảo luận rộng rãi và được so sánh với Solidity và Rust. Trong bài viết này, chúng tôi thảo luận về các thuộc tính tài chính của ngôn ngữ Move, tính bảo mật, tính linh hoạt và khả năng kết hợp của các hợp đồng thông minh, cũng như kết nối và so sánh ngôn ngữ Move với Solidity và Rust, đồng thời theo dõi các chuỗi công khai mới được xây dựng trên Di chuyển ngôn ngữ.Tiến bộ.
1. Hai ưu điểm của Move
Hiện tại, ngôn ngữ hợp đồng thông minh chính thống nhất là Solidity.So với nó, tính năng lớn nhất của Move là bảo mật. Move cung cấp đảm bảo bảo mật toàn diện cho hợp đồng thông minh từ các khía cạnh của ngôn ngữ, máy ảo, gọi hợp đồng và vận hành hợp đồng. Ngoài ra , nó có thể kết hợp được Mặt khác, Move cũng cung cấp một giải pháp tốt hơn. Hai ưu điểm lớn nhất của Move sẽ được giới thiệu dưới đây.
1. Đảm bảo tính bảo mật của hợp đồng thông minh từ bên dưới
Theo một báo cáo trước đây của SlowMist, các sự cố bảo mật chuỗi khối vào năm 2021 sẽ gây thiệt hại hơn 9,8 tỷ USD. Là một ngôn ngữ lập trình mới nổi, ngôn ngữ Move cũng đã có những bước đột phá và đổi mới ở các cấp độ khác nhau về mặt bảo mật.
Đúng như ý nghĩa thực sự của Tài nguyên hạng nhất là "tài sản kỹ thuật số là công dân hạng nhất", Move là ngôn ngữ hợp đồng thông minh để vận hành tài sản kỹ thuật số.
So với các ngôn ngữ khác, Move xử lý tài sản Token nguyên bản hơn và ở dưới cùng. Ngôn ngữ Move định nghĩa cụ thể nội dung là một loại Tài nguyên, được phân biệt với các dữ liệu khác. Trong ngữ cảnh của chuỗi khối, mã thông báo là một loại Tài nguyên, đồng thời, dữ liệu Tài nguyên phải được lưu trữ dưới tài khoản, trong quá trình giao dịch, tài sản phải chuyển đến một nơi, hoặc chuyển đến địa chỉ khác hoặc bị tiêu hủy. không được sao chép hoặc "lưỡng dụng".
Mô tả hình ảnh
Di chuyển mã ví dụ
Xác minh các byte trước, sau đó thực hiện hợp đồng
Không giống như Solidity, sử dụng trình biên dịch, làm ngôn ngữ mã byte thực thi, Move có các thuật toán an toàn tích hợp và trình xác minh mã byte (trình xác minh mã byte), có thể ngăn ngừa nhiều lỗi phổ biến. Trước khi mã hợp đồng Move có thể được thực thi, trước tiên nó phải được xác minh, điều này làm cho hợp đồng không bị lỗi trình biên dịch tiềm ẩn và các cuộc tấn công có thể xảy ra.
Move đã cam kết thiết lập văn hóa chuẩn mực ngay từ đầu và mỗi mô-đun Move đều có một thư viện tiêu chuẩn. Nhóm phát triển Move ban đầu đã phát triển một trình xác minh đặc biệt, Move Prover, để xác minh hợp đồng. Trình xác minh giờ đây nhanh hơn nhiều, cho phép các nhà phát triển chạy thử nghiệm trong vài phút, cho phép họ lặp lại mã của mình một cách nhanh chóng.
Sự cố DAO gây ra hard fork Ethereum vào năm 2016 là do tin tặc khai thác lỗ hổng tấn công vào lại (Re-Entrance), đây là một kiểu tấn công cổ điển trong hợp đồng thông minh. Với mô hình Tài nguyên và xác thực byte, cuộc tấn công này không thể xảy ra.
Mô tả hình ảnh
Trong các ngôn ngữ như Solidity, tính bảo mật của hợp đồng thông minh phụ thuộc vào sự cô lập giữa các máy ảo hợp đồng thông minh
Mô tả hình ảnh
Move cô lập trạng thái của hợp đồng thông minh thông qua bảo mật bên trong ngôn ngữ lập trình
Cuộc gọi tĩnh làm giảm lỗ hổng cuộc gọi hợp đồng
Các phương thức gọi hợp đồng có thể được chia thành gọi tĩnh và gọi động. Nếu mục tiêu của lệnh gọi chương trình phải được xác định trong thời gian chạy, thì cuộc gọi đó được gọi là lệnh gọi động; ngược lại, mục tiêu được gọi có thể được xác định trước khi chạy và mục tiêu không thể thay đổi trong thời gian chạy, thì lệnh gọi đó được gọi là lệnh gọi tĩnh. cuộc gọi .
Lời gọi động cho phép nhiều hàm, thủ tục hoặc chương trình con được viết trong chương trình, đây là một cơ chế ngôn ngữ linh hoạt. Nhưng tính linh hoạt cũng có nghĩa là các vấn đề sẽ dễ xảy ra hơn. Các lời gọi động không có lợi cho lập luận của chương trình và không có lợi cho việc xác minh chính thức (Formal verify). Chúng cũng có nhiều khả năng gây ra các vấn đề về bảo mật. Ví dụ: người dùng ác ý tạo mã độc hợp đồng thông qua các cuộc gọi theo chu kỳ, gây thiệt hại cho nhiều bên. .
Ngôn ngữ Move sử dụng lệnh gọi tĩnh và tất cả các đường dẫn thực hiện hợp đồng có thể được xác định tại thời điểm biên dịch, sau đó có thể được phân tích và xác minh đầy đủ. Các nhà phát triển đưa ra các vấn đề trong giai đoạn biên soạn hợp đồng, thay vì giai đoạn thời gian chạy, giúp giảm khả năng ngừng hoạt động trong thời gian chạy. So với nền tảng Ethereum EVM, hệ thống mô-đun Move không hỗ trợ các cuộc gọi theo chu kỳ, điều này giải quyết hoàn hảo lỗ hổng gia nhập lại hợp đồng.
2. Khả năng kết hợp dựa trên mô-đun: hiệu quả cao hơn và linh hoạt hơn
Khả năng kết hợp của các hợp đồng thông minh là một tính năng quan trọng khác để xây dựng một hệ sinh thái ngôn ngữ lập trình. Sự kết hợp của các hợp đồng thông minh trong hệ sinh thái ngôn ngữ như Solidity về cơ bản dựa trên sự kết hợp của các giao diện thông qua việc truyền tin nhắn. Trong Move, nó dựa trên sự kết hợp của các Module và tương tác thông qua việc chuyển tài nguyên.
Trên Ethereum, khi chúng tôi muốn mở rộng một số hành vi mới hoặc thực hiện một số tối ưu hóa triển khai, chúng tôi cần xác định lại các giao diện trước đó, điều này cũng sẽ ảnh hưởng đến các phương thức cũ.
Trong Move, tổ hợp các hợp đồng chỉ cần nâng cấp và tối ưu Module, còn tất cả các hợp đồng khác đã sử dụng Module này sẽ tự động sử dụng phiên bản mới nhất. Mô-đun của Move hoạt động giống như một hợp đồng trong Ethereum, nhưng giống một ngân hàng sử dụng lập trình hướng đối tượng hơn. Mô-đun tương đương với việc cung cấp một không gian tương thích thống nhất cho hợp đồng thông minh Hợp đồng thông minh giống như các bộ phận khác nhau của đồ chơi Lego, có thể tạo ra sản phẩm mới thông qua các kết hợp tùy ý.
Theo giải thích của Flex, người sáng lập 3NJOY Lab, nếu lấy việc xây dựng một nhà máy ô tô làm ví dụ, thì cách tiếp cận của Solidity là xác định các tiêu chuẩn và quy trình sản xuất của nhà máy này. Cách thức của Move là chỉ có một nhà máy duy nhất và những ai muốn chế tạo ô tô có thể sử dụng nhà máy này để tạo ra những chiếc ô tô mà mọi người đều công nhận.
Di chuyển qua sự kết hợp của các Mô-đun, một mặt, giúp tiết kiệm không gian khối do hợp đồng chiếm giữ, mặt khác, giúp việc nâng cấp dễ dàng hơn. Đồng thời, vì hệ thống Mô-đun tuân theo logic tuyến tính nên nó có thể đóng gói và gói gọn rất tốt khái niệm về tài sản kỹ thuật số, đồng thời phân chia rất rõ ràng định nghĩa về tài nguyên và các hành vi liên quan đến tài nguyên. khả năng mở rộng không được mang lại bởi các ngôn ngữ khác.
2. Mối quan hệ và so sánh giữa Move và Solidity, Rust
So với Solidity được phát hành vào đầu năm 2014, Move vẫn là một ngôn ngữ phát triển còn rất non trẻ trong lĩnh vực phát triển blockchain, cần thêm thời gian để chứng minh rằng nó là một phát triển blockchain đủ an toàn và không dễ báo lỗi. tùy chọn công nghệ.
Sự khác biệt chính giữa Move và Solidity
1. Về thuộc tính tài chính, Move coi tài sản là một loại Tài nguyên và thực hiện xử lý cấp thấp và nguyên bản hơn trên tài sản Mã thông báo cốt lõi của chuỗi khối.
2. Về tính linh hoạt của hợp đồng, Move có thể tạo hướng dẫn một lần.
Các mô-đun trong ngôn ngữ Move tương tự như hợp đồng thông minh Ethereum, nhưng không hoàn toàn giống nhau: ví dụ: trong Libra được viết dựa trên Move, các mô-đun chứa mã, trong khi dữ liệu nằm trong Tài nguyên. Từ quan điểm định hướng mục tiêu, bất kỳ hợp đồng thông minh Ethereum dựa trên Solidity nào cũng giống như một đối tượng đơn lẻ được xuất bản dưới một địa chỉ tài khoản duy nhất. Trong môi trường Move, một mô-đun duy nhất hoạt động như một công thức để tạo tài nguyên, nhưng bất kỳ mô-đun đơn lẻ nào cũng có thể được sử dụng để tạo bất kỳ số lượng tài nguyên nào có thể được xuất bản dưới các địa chỉ tài khoản khác nhau, điều này cũng phản ánh tính linh hoạt theo mô-đun của Move.
3. Về mặt bảo mật, Move VM áp dụng cách ly cấp độ ngôn ngữ thay vì cách ly máy ảo.
Mô tả hình ảnh
Thuộc tính Mô-đun của Move
4. Về mặt hiệu suất, vì Move là một ngôn ngữ thông dịch nên mỗi dòng mã cần được đánh giá riêng trong quá trình vận hành.
Vì mã Move cần được đánh giá nhanh chóng nên hiệu suất Move có thể không tốt bằng Solidity và các ngôn ngữ được biên dịch khác. Tuy nhiên, điều này cũng tránh được các lỗi phổ biến trong Solidity và là một chiến lược thỏa hiệp vì lý do bảo mật. Hiện tại, hệ sinh thái chuỗi khối được xây dựng hoàn toàn dựa trên Move vẫn còn rất hạn chế và các hợp đồng thông minh được tạo bằng Move không thể được chuyển sang các chuỗi khối hiện có khác trong thời điểm hiện tại. Tuy nhiên, các nhà phát triển có thể thay thế các chương trình cũ bằng cách chạy hầu hết các ứng dụng trong EVM và thực hiện các sửa đổi cần thiết tương ứng trong Move.
Mối liên hệ giữa Move và Rust
Ngoài ra, khi so sánh Move và Solidity, chúng ta cũng cần nhắc đến Rust, một ngôn ngữ rất gần với Move, hay chính xác hơn Move là một ngôn ngữ mới dựa trên Rust, nhưng khác với Rust. Rust được phát hành lần đầu tiên vào năm 2011, sớm hơn Solidity và không giống như Solidity thường gặp vấn đề về bảo mật, Rust được sinh ra với cả tính bảo mật và hiệu suất.Từ góc độ cú pháp mã, Rust gần với ngôn ngữ lập trình truyền thống C++, vì vậy Nó có hiệu suất chạy hiệu quả, nhưng cung cấp bảo mật cho bộ nhớ. Rust là ngôn ngữ phải học đối với các nhà phát triển hệ sinh thái Solana. Trong quá trình phát triển, các lỗi trong môi trường Rust có thể được tìm thấy và loại bỏ khi chương trình được lắp ráp, điều này tương tự như khi phát triển với Move, mã được đánh giá từng dòng trong quá trình hoạt động để tránh lỗi. Hơn nữa, các mô-đun và tài nguyên trong Move cũng tương tự như trình quản lý phụ thuộc tích hợp sẵn Cargo trong môi trường Rust. Do mối liên hệ chặt chẽ giữa Move và Rust, nhiều nhà phát triển sử dụng thành thạo ngôn ngữ Rust trong hệ sinh thái Solana đã bắt đầu chuyển sang các hệ sinh thái blockchain mới nổi dựa trên Move như Aptos và Sui.
3. Xây dựng chuỗi công khai mới trong hệ sinh thái MOVE
Aptos, Sui, Linera, Starcoin và các chuỗi công khai khác đã được triển khai trong hệ sinh thái Move và tất cả chúng đều đã thực hiện các bản mở rộng của riêng mình trên cơ sở ngôn ngữ Move. Chương này sẽ giới thiệu về Aptos, Sui, Starcoin.
Aptos
mô tả dự án
Aptos bắt đầu vào đầu tháng 2 năm nay. Các nhà phát triển của nhóm bao gồm các thành viên trong nhóm sáng lập và các nhà phát triển cốt lõi của Diễm. Tầm nhìn của nhóm về Aptos có liên quan mật thiết đến tầm nhìn của Diễm. Sự phát triển của Aptos ở một mức độ nhất định là sự tiếp nối phát triển của Diệm. Aptos tập trung vào việc thực hiện song song các giao dịch trên Lớp 1 và hiệu suất cao, cố gắng sử dụng một chuỗi để giải quyết "tam giác bất khả thi" về phân cấp, bảo mật và hiệu suất cao. Hiện tại, mạng có thể xử lý hơn 10.000 giao dịch mỗi giây, lý tưởng nhất là mạng chính của Aptos có thể xử lý 160.000 giao dịch mỗi giây. Aptos trước đây đã nhận được khoản đầu tư 350 triệu đô la Mỹ và hiện là chuỗi công khai Move có tốc độ phát triển nhanh nhất.
Di chuyển ngôn ngữ trên Aptos
Tiến độ phát triển
Tiến độ phát triển
Vào tháng 3 năm nay, Aptos đã ra mắt testnet dành cho nhà phát triển.Vào tháng 5, Aptos đã triển khai đăng ký testnet khuyến khích và chia testnet khuyến khích thành 4 vòng: "khởi chạy phi tập trung", "đặt cược", "quản trị và nâng cấp" và "xác minh động". cấu trúc liên kết thiết bị". Hiện tại, mạng thử nghiệm của nó đã đạt hơn 20.000 nút, khiến nó trở thành cộng đồng nút bằng chứng cổ phần lớn nhất được biết đến hiện nay.
Vòng thứ ba của hoạt động thử nghiệm mạng khuyến khích Aptos AIT-3 sẽ chính thức ra mắt vào ngày 30 tháng 8 và thử nghiệm sẽ kết thúc vào ngày 9 tháng 9. Mạng chính Aptos sẽ ra mắt vào mùa thu này.
phát triển sinh thái
Vào cuối tháng 6 năm nay, Aptos đã khởi động chương trình tài trợ hệ sinh thái trị giá 200 triệu đô la, thu hút hơn 100 dự án xây dựng trên Aptos. Từ góc độ bố trí sinh thái, Aptos vẫn tập trung vào xây dựng cơ sở hạ tầng. Kịch bản triển khai chủ yếu là các sản phẩm như ví, DEX và thỏa thuận cho vay. Những sản phẩm đáng chú ý bao gồm giao thức CLOB siêu song song Econia, tổ hợp ví đa chữ ký di động và ví tiền mã hóa Martian, thỏa thuận cho vay NjordFinance, công cụ tổng hợp giao dịch Hippo Labs, ứng dụng giao dịch AMM Pontem Network, v.v.
Sui
mô tả dự án
Được thành lập bởi Mysten Labs, được thành lập bởi các cựu kỹ sư Meta, Sui đã giới thiệu trạng thái bất biến trong nỗ lực triển khai mô hình lập trình giống như UTXO trong Move. Sui tập trung vào TPS cao và độ trễ thấp, không đặt giới hạn trên cho TPS, có khả năng mở rộng tốt và giảm chi phí giao dịch của người dùng. Trong đợt kiểm tra vào tháng 3 năm nay, TPS của Sui đạt 120.000. Sui đang đóng vòng Series B ít nhất 200 triệu đô la với mức định giá 2 tỷ đô la.
đặc điểm dự án
Lưu trữ trên chuỗi và khả năng mở rộng của nó. Không có bộ nhớ chung trong Sui Move, bộ nhớ chỉ xảy ra bên trong bộ lưu trữ Sui, không phải bộ nhớ Move. Bộ lưu trữ của Sui có chi phí thấp và có thể mở rộng theo chiều ngang, cho phép các nhà phát triển xác định các tài sản phức tạp với các thuộc tính phong phú.
Hiệu suất cao & Khả năng mở rộng cao: Sui mở rộng quy mô để đáp ứng nhu cầu ứng dụng. Theo Mysten Labs, về mặt lý thuyết, các nhà chức trách Sui (các nút) có thể mở rộng vô hạn thông lượng mạng một cách hiệu quả để đáp ứng nhu cầu của các nhà xây dựng và người sáng tạo. Kể từ ngày 19 tháng 3 năm 2022, cơ quan Sui một worker chưa được tối ưu hóa chạy trên Macbook Pro M1 8 nhân có thể thực hiện và gửi 120.000 giao dịch chuyển mã thông báo mỗi giây (TPS).
Thân thiện với phát triển: Mysten Labs cũng sẽ phát hành Sui Developer Kit, bộ công cụ nguồn mở cho phép các nhà phát triển dành ít thời gian hơn để gỡ lỗi hợp đồng thông minh, chờ đánh giá hoặc xây dựng các yếu tố ngăn xếp công nghệ cơ bản. Ba khối xây dựng của Bộ công cụ dành cho nhà phát triển Sui bao gồm SDK trò chơi, SDK cộng đồng Bootstrapping và SDK bắt tay.
Di chuyển ngôn ngữ trên Sui
Tiến độ phát triển
Tiến độ phát triển
Sui đã ra mắt trên Devnet vào tháng 5, cho phép các nhà phát triển sử dụng mạng Sui. Tính đến tháng 7, hơn 5.000 nút đã chạy trên Devnet.
Trong tháng này, Sui sẽ ra mắt testnet được khuyến khích và đăng ký cho testnet được khuyến khích đã được triển khai. Mạng thử nghiệm sẽ được chia thành các giai đoạn khác nhau: mạng, cầm cố, nâng cấp, v.v.
tiến bộ sinh thái
Hiện tại, có 8 dự án có thông tin công khai, bao gồm ví, NFT, trò chơi blockchain, Metaverse, v.v. Đánh giá từ cách bố trí dự án hiện tại và các giải pháp do Sui cung cấp cho trò chơi, NFT và trò chơi chuỗi dự kiến sẽ trở thành các lĩnh vực đặc biệt hơn trong hệ sinh thái của nó.
Starcoin
mô tả dự án
Tiến độ phát triển
Tiến độ phát triển
Mạng chính của Starcoin sẽ được ra mắt vào tháng 5 năm 2021 và mạng chính của Starcoin đã hoạt động ổn định trong hơn một năm. Starcoin Layer 2 sẽ cung cấp mạng thử nghiệm vào tháng 9 năm nay.
phát triển sinh thái
Hệ sinh thái Starcoin bao gồm bảy loại bao gồm ví, CEX, DEX, nhóm khai thác, tiền tệ ổn định, NFT, trò chơi chuỗi, v.v. Nó chủ yếu xoay quanh việc khai thác và giao dịch STC.
Mã thông báo
STC là mã thông báo gốc của Starcoin, với tổng số phát hành là 3.185.136.000 STC và tổng số không đổi. Các mục đích sử dụng chính là 1. Thanh toán phí gas cho các giao dịch 2. Thanh toán phí không gian nhà nước 3. Được sử dụng để bỏ phiếu quản trị trên chuỗi.
phần kết
phần kết
Nhìn chung, khung hợp đồng thông minh định hướng tài chính của Move làm cho nó phù hợp một cách tự nhiên để triển khai các ứng dụng tài chính phi tập trung. Sự đổi mới của ngôn ngữ Move về mặt bảo mật, khả năng kết hợp và tính linh hoạt của hợp đồng thông minh cung cấp sự hỗ trợ và đảm bảo về nhiều mặt cho sự phát triển sinh thái của nó cũng như tính bảo mật của các tài sản phi tập trung như DeFi và NFT.
liên kết gốc
IOS
Android