PSE Trading: Dưới làn sóng Rollup, VM vẫn có chuyện để kể

特邀专栏作者

2023-10-30 06:26

Bài viết này có khoảng 5746 từ, đọc toàn bộ bài viết mất khoảng 9 phút

Giờ đây, hiệu ứng mạng EVM rất mạnh mẽ, việc di chuyển người dùng EVM sang hệ sinh thái chuỗi không phải EVM đã trở thành điểm tăng trưởng lớn nhất cho các dự án blockchain mới nổi.

Tác giả gốc: Nhà phân tích giao dịch PSE@cryptohawk

TL;DR

Máy ảo là một hệ thống máy tính được mô phỏng bằng phần mềm, cung cấp môi trường thực thi cho các chương trình. Nó có thể mô phỏng các thiết bị phần cứng khác nhau và cho phép các chương trình chạy trong môi trường được kiểm soát và tương thích.
Máy ảo Ethereum (EVM) là một máy ảo dựa trên ngăn xếp được sử dụng để thực hiện các hợp đồng thông minh Ethereum; zkEVM đã thực hiện một số tối ưu hóa hiệu quả tạo bằng chứng zk nhất định về mặt tương đương/tương thích EVM;
zkVM từ bỏ tính tương đương/tương thích EVM và tăng mức độ ưu tiên của tính thân thiện với zk;
quyền riêng tư zkVM áp dụng các tính năng bảo mật gốc trên zkVM;
SVM, FuelVM và MoveVM có điểm chung là theo đuổi hiệu suất cao nhất thông qua thực thi song song, nhưng chúng có những đặc điểm riêng trong chi tiết thiết kế;
ESC VM và BitVM đã tiến hành một số thử nghiệm lớp điện toán cải tiến nhất định trên chuỗi ETH và BTC tương ứng, nhưng nhu cầu triển khai thực tế trong môi trường hiện tại còn thấp.
Hệ sinh thái người dùng khổng lồ của EVM xác định rằng bất kỳ mạng blockchain nào từ bỏ nó sẽ gặp khó khăn khi cạnh tranh với nó trong thời gian ngắn. EVM Sử dụng các tính năng của máy ảo để xây dựng câu chuyện sinh thái mới có thể là con đường cần thiết dẫn đến thành công.

1.1 Máy ảo là gì?

Máy ảo (VM) là một khối xây dựng của các tài nguyên điện toán ảo hóa thực hiện hầu hết các chức năng giống như một máy tính, bao gồm các ứng dụng đang chạy và hệ điều hành. Khái niệm máy ảo không phải là mới và công nghệ này được sử dụng rộng rãi trong nhiều hệ sinh thái công nghệ.

Trong bối cảnh blockchain, máy ảo (VM) là một phần mềm chạy các chương trình, thường được gọi là môi trường thời gian chạy thực thi các hợp đồng thông minh blockchain. Máy ảo thường cung cấp môi trường máy tính ảo bằng cách mô phỏng các thiết bị phần cứng khác nhau. Các thiết bị phần cứng mà các máy ảo khác nhau có thể mô phỏng khác nhau, nhưng thường bao gồm CPU, bộ nhớ, đĩa cứng, giao diện mạng, v.v. Khi một giao dịch trực tuyến được gửi, máy ảo chịu trách nhiệm xử lý giao dịch và cập nhật trạng thái blockchain (trạng thái toàn cầu hiện tại của toàn bộ mạng) bị ảnh hưởng bởi việc thực hiện giao dịch. Các quy tắc cụ thể để thay đổi trạng thái mạng được xác định bởi VM. Khi xử lý giao dịch, VM chuyển đổi mã hợp đồng thông minh thành định dạng mà phần cứng nút/trình xác thực có thể thực thi.

Hạt nhân quan trọng nhất trong số các máy ảo là LLVM (máy ảo cấp thấp), có thể được coi là hạt nhân quan trọng nhất của trình biên dịch. Hình vẽ thể hiện sơ đồ hoạt động EVM ban đầu, hợp đồng thông minh được chuyển đổi thông qua mã trung gian LLVM IR và chuyển đổi thành Bytecode. Các Bytecode này sẽ được lưu trữ trên blockchain. Khi hợp đồng thông minh được gọi, các Bytecode sẽ được chuyển đổi thành các Opcode tương ứng, sau đó sẽ được thực thi bởi phần cứng EVM và nút.

1.2 VM chính thống

1.2.1 EVM - Blockchain VM có tổng cộng một viên đá, EVM chỉ có tám nhóm và phần còn lại được chia thành hai nhóm.

Dự án tiêu biểu: Lạc quan, Arbitrum

Là hệ sinh thái blockchain có nhiều nhà phát triển và người dùng tích cực nhất trong ngành, Máy ảo Ethereum (EVM) là máy ảo dựa trên ngăn xếp cung cấp máy tính ảo bằng cách mô phỏng các thiết bị phần cứng như CPU, bộ nhớ, bộ lưu trữ và ngăn xếp. thực hiện các hướng dẫn của hợp đồng thông minh và lưu trữ trạng thái và dữ liệu của hợp đồng thông minh. Tập lệnh của EVM bao gồm nhiều opcode khác nhau, chẳng hạn như các phép toán số học, các phép toán logic, các phép toán lưu trữ, các phép toán nhảy, v.v.

Bộ nhớ và bộ lưu trữ được mô phỏng bởi EVM là thiết bị được sử dụng để lưu trữ trạng thái và dữ liệu của hợp đồng thông minh. EVM coi bộ nhớ và bộ lưu trữ là hai khu vực khác nhau và nó có thể truy cập trạng thái cũng như dữ liệu của hợp đồng thông minh bằng cách đọc và ghi bộ nhớ và bộ lưu trữ.

Ngăn xếp mô phỏng EVM được sử dụng để lưu trữ các toán hạng và kết quả của lệnh. Hầu hết các lệnh trong tập lệnh của EVM đều dựa trên ngăn xếp, đọc toán hạng từ ngăn xếp và đẩy kết quả trở lại ngăn xếp.

Quá trình thiết kế của EVM rõ ràng là từ dưới lên. Đầu tiên, môi trường phần cứng mô phỏng (ngăn xếp, bộ nhớ) được hoàn thiện, sau đó tập lệnh lắp ráp (Opcode) và mã byte (Bytecode) riêng của nó được thiết kế theo môi trường tương ứng. . Cộng đồng Ethereum đã thiết kế hai ngôn ngữ cấp cao được biên dịch—Solidity và Vyper—để mang lại hiệu quả thực thi EVM. Solidity Không cần phải nói, Vyper là ngôn ngữ cấp cao EVM được Vitalik thiết kế nhằm cải thiện một số khuyết điểm của Solidity, tuy nhiên nó không được cộng đồng đón nhận cao và dần bị quên lãng trong lịch sử.

1.2.2 zkEVM - Tôi muốn tất cả: tương thích với môi trường EVM + hỗ trợ chuyển đổi gốc trạng thái toàn cầu để tạo ra bằng chứng zk

Dự án tiêu biểu: Taiko, Scroll, Polygon zkEVM

Bởi vì EVM không được xây dựng với mục đích tính toán chứng minh zk nên nó có các đặc tính không thân thiện với các mạch chứng minh, đặc biệt là về các mã hoạt động đặc biệt, kiến trúc dựa trên ngăn xếp, chi phí lưu trữ và chi phí chứng minh. zkEVM là một máy ảo thực hiện các hợp đồng thông minh theo cách tương thích với các tính toán chứng minh zk, để quá trình thực thi EVM có thể được xác minh hiệu quả hơn và tiết kiệm chi phí hơn thông qua chứng minh zk/chứng minh tính hợp lệ. So với OP Rollup, lớp thực thi chỉ cần sao chép EVM và việc xây dựng EVM thân thiện với ZK là một thách thức bổ sung đối với ZK Rollup.

Bản cuộn ZK không dễ dàng tương thích với Máy ảo Ethereum (EVM). Việc chứng minh các phép tính EVM có mục đích chung trong một mạch khó hơn và tốn nhiều tài nguyên hơn so với việc chứng minh các phép tính đơn giản (chẳng hạn như chuyển mã thông báo được mô tả trước đây).

Tuy nhiên, những tiến bộ trong công nghệ không có kiến thức (mở trong tab mới) đã khơi dậy sự quan tâm đến việc gói các tính toán EVM vào bằng chứng không có kiến thức. Những nỗ lực này nhằm mục đích tạo ra việc triển khai EVM (zkEVM) không có kiến thức để có thể xác minh một cách hiệu quả tính chính xác của việc thực hiện chương trình. .

Giống như EVM, zkEVM chuyển đổi giữa các trạng thái sau khi thực hiện tính toán trên một số đầu vào nhất định. Sự khác biệt là zkEVM cũng tạo ra bằng chứng không có kiến thức để xác minh tính chính xác của từng bước trong quá trình thực hiện chương trình. Bằng chứng hợp lệ xác minh tính chính xác của các hoạt động liên quan đến trạng thái máy ảo (bộ nhớ, ngăn xếp, bộ lưu trữ) và bản thân tính toán (tức là hoạt động có gọi đúng opcode và thực thi chúng đúng không?).

Ý tưởng thì hay nhưng thực tế lại rất mỏng manh. Hiện tại, Rollup gặp khó khăn trong việc đạt được cả tính thân thiện với ZK và khả năng tương thích EVM (hoặc thậm chí tương đương), tức là nó phải sao chép lớp thực thi Ethereum L1 một cách hoàn chỉnh nhất có thể, bao gồm cả hàm băm , cây trạng thái và cây giao dịch. , biên dịch trước, v.v., để ứng dụng khách thực thi Ethereum L1 có thể được sử dụng nguyên trạng để xử lý các khối Rollup; hoặc loại bỏ khả năng tương thích EVM và tạo lại Opcode hiện có để chứng thực/xác minh trong mạch, cho phép thực hiện hợp đồng thông minh.

1.2.3 zkVM - Bạn không thể vừa ăn vừa ăn bánh: máy ảo không evm hướng đến hiệu quả bằng chứng zk

Dự án tiêu biểu: Starknet, Zksync, RISC ZERO

zkVM từ bỏ khả năng tương thích EVM, lấy bằng chứng dữ liệu và cập nhật trạng thái làm mục tiêu cốt lõi, đồng thời tìm ra mẫu số chung giữa mật mã và ngôn ngữ cấp cao để cung cấp khuôn khổ chung cho các ứng dụng khác nhau.

Vì Starkware bắt đầu sớm hơn trong toàn bộ lĩnh vực ZK và đã tích lũy đủ công nghệ nên nó có vị trí dẫn đầu về công nghệ nhất định. Ông là kiến trúc kỹ thuật lấy ZK làm trung tâm tiêu biểu và đã xây dựng Cairo VM cũng như ngôn ngữ Cairo xung quanh ZK. Nhược điểm là việc học ở Cairo rất tốn kém.

Khung của ZKsync tương thích với các đặc điểm của EVM và ZK, tích hợp Solidity với ngôn ngữ mạch Zinc tự phát triển của nó và hợp nhất cả hai ở cấp độ IR trong trình biên dịch. Ưu điểm là lõi trình biên dịch của LLVM tương thích với nhiều ngôn ngữ.

RISC Zero sử dụng kiến trúc RISC-V để xây dựng trình mô phỏng cho phép lập trình viên viết chương trình cho zkVM bằng các ngôn ngữ phổ biến như Rust, C/C++ và Go. Điều này có nghĩa là logic ứng dụng không cần phải giới hạn ở những gì có thể được thể hiện bằng Solidity, cho phép viết và xâu chuỗi mã Không liên quan.

1.2.4 Quyền riêng tư zkVM - thân thiện với zk + hỗ trợ quyền riêng tư gốc, cố gắng khơi dậy một tia lửa sinh thái mới

Dự án tiêu biểu: Aleo, Ola, Polygon Miden

Blockchain đóng vai trò như một hệ thống sổ cái công khai và tất cả các giao dịch được thực hiện trên chuỗi, điều đó có nghĩa là các thay đổi trạng thái chứa thông tin tài sản liên quan đến địa chỉ hoặc tài khoản đều công khai và minh bạch. Do đó, ngoài việc nghiên cứu các giải pháp mở rộng quy mô, một số nhóm blockchain tin rằng tính năng chính tiếp theo cần triển khai là quyền riêng tư.

Ngoài việc thân thiện với zk và hỗ trợ mở rộng, Privacy zkVM còn cho phép các nhà phát triển ứng dụng lớp trên phát triển các dapp liên quan đến quyền riêng tư do các tính năng về quyền riêng tư được ngôn ngữ lập trình riêng hỗ trợ. Điều này sẽ mang đến các kịch bản ứng dụng mới và các câu chuyện lớn. ví dụ, giải quyết hoàn toàn vấn đề MEV và bảo vệ quyền sở hữu dữ liệu của người dùng. Tất nhiên, sự phức tạp của thiết kế zkVM của Privacy đòi hỏi một nhóm kỹ thuật lớn hơn để triển khai nó và có thể mất vài năm để đạt được điều đó.

1.2.5 SVM - Sau khi thủy triều rút, vẫn còn đó than hồng: một môi trường thực thi mà thiết kế hiệu suất đã đạt đến đỉnh cao

Các dự án tiêu biểu: Eclipse Mainnet, Nitro, MakerDAO Chain (có thể)

SVM, máy ảo Solana, tập trung vào môi trường thực thi hiệu suất cao và hợp đồng thông minh chủ yếu được viết bằng ngôn ngữ Rust. So với môi trường thực thi EVM đơn luồng và EOS WASM, SVM cho phép thực hiện đồng thời các giao dịch không chồng chéo và các giao dịch chỉ đọc cùng một trạng thái bằng cách yêu cầu giao dịch Solana mô tả tất cả các trạng thái mà giao dịch sẽ đọc hoặc ghi khi thực thi.

Ngoài ra, để nhanh chóng xác minh/phát sóng một số lượng lớn khối giao dịch, quy trình xác minh giao dịch trên mạng Solana sử dụng rộng rãi việc tối ưu hóa đường ống phổ biến trong thiết kế CPU. Để đáp ứng tình huống luồng dữ liệu đầu vào được xử lý theo một chuỗi các bước và mỗi bước có phần cứng khác nhau chịu trách nhiệm về việc đó. Một sự tương tự điển hình là một máy giặt và máy sấy có chức năng giặt/sấy/gấp nhiều lần giặt theo trình tự. Việc làm sạch phải được thực hiện trước khi sấy, và việc gấp phải được thực hiện trước khi sấy, nhưng mỗi thao tác trong ba thao tác này được thực hiện bởi một đơn vị riêng biệt.

Ngoài ra, SVM dựa trên thanh ghi và có tập lệnh nhỏ hơn nhiều so với EVM, giúp việc thực thi SVM dễ dàng chứng minh hơn trong ZK. Đối với các bản tổng hợp lạc quan, thiết kế dựa trên đăng ký giúp việc đặt điểm kiểm tra dễ dàng hơn.

1.2.6 Nhiên liệu VM——buff stack: Máy ảo song song trong khung UTXO

Dự án tiêu biểu: Nhiên liệu

Fuel VM là một cải tiến dựa trên khung kỹ thuật của EVM, Solana, WASM, BTC Cosmos, so với EVM thì nó có những đặc điểm sau:

Điều độc đáo nhất là Fuel không chỉ thiết lập danh sách truy cập tương tự SVM mà còn có khả năng thực hiện các giao dịch song song với các giao dịch không chồng chéo và áp dụng mô hình UTXO, được chia thành UTXO token và UTXO hợp đồng, hơn nữa cải thiện hiệu quả truy cập và thông lượng tính toán.

Ngoài ra, Fuel VM còn cung cấp trải nghiệm mạnh mẽ và mượt mà cho nhà phát triển thông qua ngôn ngữ dành riêng cho miền Sway và chuỗi công cụ hỗ trợ Forc. Môi trường phát triển của nó vẫn giữ được những lợi thế của các ngôn ngữ hợp đồng thông minh như Solidity, đồng thời áp dụng các mô hình được giới thiệu trong Hệ sinh thái công cụ Rust.

Trong tương lai, Fuel VM cũng sẽ triển khai các nâng cấp ngôn ngữ Sway, bao gồm tối ưu hóa trình biên dịch về kích thước mã byte, Sway sẽ hỗ trợ nhiều phần phụ trợ hơn (phần phụ trợ EVM đã được phát triển), tính năng trừu tượng hóa sẽ tiết kiệm hơn và sẽ có nhiều ứng dụng hơn. Di chuyển từ Solidity/Vyper sang Sway, cải thiện khả năng phân tích truy cập lại ở cấp độ trình biên dịch, v.v.

1.2.7 ESC VM - phiên bản kế thừa của Ordinal/Smartweave: lớp điện toán trên Ethereum

Dự án tiêu biểu: Ethscriptions Protocol

ESC VM, hay Ethscriptions Virtual Machine, là một giải pháp hợp đồng thông minh do Ethscriptions Protocol đề xuất. Bản thân Giao thức Ethscriptions là một giao thức tương tự như BTC Ordinal trên chuỗi Ethereum, tập trung vào việc khám phá các lựa chọn thay thế chi phí thấp khác với hợp đồng thông minh và L2.

Ethscriptions cho phép người dùng bỏ qua việc lưu trữ và thực thi hợp đồng thông minh với chi phí cực thấp bằng cách áp dụng các quy tắc giao thức đã thỏa thuận trước cho calldata trong Tx để tính toán. Nói một cách đơn giản, miễn là có một giao dịch Ethereum thành công và dữ liệu cuộc gọi của nó tuân thủ các thông số kỹ thuật dữ liệu hợp lệ được chỉ định địa chỉ duy nhất đến không phải là 0, thì có thể coi rằng Mô tả Ethscription đã được tạo hợp pháp, từ địa chỉ là người tạo và địa chỉ đến là chủ sở hữu.

Khi bắt đầu thiết kế, mỗi Ethscription đều ưu tiên dạng NFT, chẳng hạn như NFT hình ảnh, nội dung hình ảnh được ghi trực tiếp vào calldata ở định dạng Base 64:

ETH phổ biến nhất gần đây là Ethscription, được tạo ra dựa trên đặc tả giao thức brc-20:

Hợp đồng thông minh được ESC VM giới thiệu có tên là"hợp đồng ngu ngốc"(Hợp đồng ngu ngốc) được công khai dưới dạng hợp đồng logic, nhưng nó không tương tác trên chuỗi dưới dạng EVM. Ngoài ra, ESC VM còn bổ sung thêm một định dạng đặc biệt"lệnh máy tính", các dòng chữ được tạo bằng định dạng này sẽ được ESC VM công nhận để tương tác với các hợp đồng câm, chẳng hạn như Triển khai - triển khai các hợp đồng câm, Gọi - gọi các hợp đồng câm.

Có một số hạn chế đối với giải pháp này."hợp đồng ngu ngốc"Chức năng không được thanh toán, có nghĩa là nếu bạn muốn gửi ETH thông qua hợp đồng câm, bạn phải thông qua hợp đồng cầu nối và bản thân hợp đồng cầu nối có nguy cơ lạm dụng kiểm soát trộm cắp tài sản; là những rào cản gia nhập hệ sinh thái. Không được phép tùy tiện tạo ra các hợp đồng câm và mã của chúng cần được xác định thông qua đề xuất quản trị Giao thức Ethscriptions.

Tóm lại, ESC VM là một lớp điện toán được xây dựng dựa trên Ethereum L1 làm lớp lưu trữ dữ liệu, được triển khai bằng cách đặt logic hợp đồng, lệnh gọi hợp đồng, lệnh gọi hợp đồng và các nội dung dữ liệu khác trong calldata của Ethereum tx. sự đồng thuận trạng thái là sự đồng thuận máy khách ESC VM, tương tự như logic triển khai SmartWeave của Arweave, ngoại trừ lớp lưu trữ dữ liệu của SmartWeave là Arweave.

1.2.8 Bit VM - Một thử nghiệm nghiên cứu thú vị: kênh thực thi ngang hàng trên BTC

Dự án tiêu biểu: ZeroSync

Người sáng lập ZeroSync, Robin Linus đã phát hành sách trắng “BitVM: Tính toán mọi thứ trên Bitcoin” vào ngày 9 tháng 10. Nói chính xác, đó không phải là VM, mà là nỗ lực tạo ra một không gian điện toán hoàn chỉnh Turing có hợp đồng được lưu trữ bằng Bitcoin. chuỗi, nhưng logic của hợp đồng được thực hiện ngoài chuỗi. Nếu bạn cho rằng bên kia đã vi phạm hợp đồng, bạn có thể bắt đầu thử thách trên chuỗi, nếu bên kia không phản hồi chính xác, bạn có thể lấy đi toàn bộ số tiền trong hợp đồng.

Ưu điểm là Bitcoin có thể được cung cấp tính hoàn thiện Turing mà không cần bất kỳ sửa đổi nào đối với giao thức Bitcoin, không có opcode mới, không có soft fork và nó có thể được áp dụng bất cứ lúc nào.

Những thiếu sót của nó cũng rất rõ ràng, thứ nhất, nó chỉ hỗ trợ các giao dịch giữa hai bên (một bên xác nhận và một bên xác minh), thứ hai, việc tạo hợp đồng đòi hỏi phải tạo một lượng lớn dữ liệu và ký trước một số lượng lớn giao dịch. lưu trữ thông tin ngoài chuỗi là rất lớn.

Sau đây là phần giới thiệu ngắn gọn về logic kỹ thuật:

(1) Click để nhập cam kết

Cam kết đầu vào điểm cho phép người chứng minh đặt giá trị đầu vào là 0 hoặc 1 cho cổng logic. Trong cam kết này có hai giá trị băm H(A 0) và H(A 1). Người chứng minh cần tiết lộ tiền ảnh băm , chẳng hạn như A 0 , giá trị đầu vào được đặt thành 0 và nếu A 1 được hiển thị, giá trị đầu vào được đặt thành 1 .

(2) Cam kết cổng logic

Khi bạn có giá trị đầu vào, bạn có thể kết hợp bất kỳ cổng logic nào trong tập lệnh Bitcoin bằng cách kết hợp AND, NOT của Bitcoin và các opcode khác.

(3) Cam kết mạch nhị phân

Sự hoàn thiện của Turing có thể đạt được bằng cách kết hợp hàng trăm triệu cổng logic thành một mạch nhị phân. Để đưa mạch nhị phân này vào mạng Bitcoin, tất cả các cổng logic cần được đặt vào một nút lá có địa chỉ Taproot.

(4) Liên kết thách thức-phản hồi

Việc cam kết mạch trên dây chuyền thôi là chưa đủ, cả hai bên cần có một cách hiệu quả để xác minh rằng kết quả tính toán của hợp đồng là chính xác. Trong một thế giới lý tưởng, hợp đồng diễn ra ngoài chuỗi và cả hai bên đều vui vẻ nếu họ hợp tác và không có tranh chấp về kết quả. Tuy nhiên, nếu có tranh chấp giữa hai bên giao dịch, họ cần nhập liên kết thách thức-phản hồi để xác minh kết quả tính toán và buộc số dư kênh được phân phối thông qua tập lệnh Bitcoin.

Do đó, BitVM không phải là một loại Bitcoin Rollup hay L2 nào đó, không có môi trường thực thi máy ảo hoàn chỉnh, trạng thái toàn cầu, ngôn ngữ cấp cao để xuất bản các hợp đồng thông minh phức tạp và cũng không cho phép số lượng người dùng tùy ý dễ dàng thực hiện. tương tác với các hợp đồng này. Hãy lấy một ví dụ rất phổ biến để minh họa: BitVM giống như việc xây dựng một chiếc máy tính khổng lồ lớn hơn một căn phòng trong thời đại mà mọi người đều có thể sử dụng thiết bị đầu cuối di động.

1.2.9 MoveVM - sản phẩm kế thừa di sản Web2 của Facebook

Dự án tiêu biểu: Aptos, Sui

Move là ngôn ngữ lập trình để viết các hợp đồng thông minh an toàn, ban đầu nó được Facebook phát triển để hỗ trợ cho chuỗi khối Diem. Sau khi dự án chuỗi khối Diem bị đình chỉ, các dự án do Aptos và Sui đại diện vẫn tiếp tục sử dụng ngôn ngữ Move. . Tính năng lớn nhất của chuỗi khối Move là lưu trữ dữ liệu sử dụng bộ nhớ toàn cầu, bao gồm một cây bắt nguồn từ một địa chỉ tài khoản. Mỗi địa chỉ có thể lưu trữ dữ liệu tài nguyên và mã mô-đun.

Move có hai loại chương trình khác nhau: mô-đun và tập lệnh. Mô-đun là các thư viện xác định các kiểu cấu trúc và chức năng hoạt động trên các kiểu này. Kiểu cấu trúc xác định chế độ lưu trữ chung của Move và chức năng mô-đun xác định các quy tắc để cập nhật bộ nhớ. Bản thân các mô-đun cũng được lưu trữ trong bộ lưu trữ toàn cầu. Tập lệnh là điểm vào của tệp thực thi, tương tự như chức năng chính trong các ngôn ngữ truyền thống và là đoạn mã tạm thời không được xuất bản trong bộ nhớ chung.

Tóm lại, mô-đun Move tương tự như mô-đun thư viện động được tải khi tệp thực thi hệ thống được chạy, trong khi tập lệnh tương tự như chương trình chính. Người dùng có thể viết các tập lệnh của riêng mình để truy cập vào bộ lưu trữ toàn cầu, bao gồm cả các mô-đun gọi, trong khi các mô-đun xuất bản hoặc tập lệnh thực thi hoạt động thông qua Move VM.

1.3 Xu hướng phát triển sinh thái

Giờ đây, khi hiệu ứng mạng EVM rất mạnh mẽ, việc di chuyển người dùng EVM sang hệ sinh thái chuỗi không phải EVM đã trở thành điểm tăng trưởng lớn nhất cho các dự án blockchain mới nổi. Điều này sẽ mang lại nhiều khả năng kết hợp Dapp hơn và khả năng kết nối lớn hơn trong tương lai. sự phát triển.

1.3.1 Khả năng tương thích với giao diện người dùng của Ví

Việc đưa người dùng EVM vào các chuỗi không phải EVM trước đây từng là một rào cản lớn, nhưng việc ra mắt Metamask Snap gần đây sẽ phá vỡ rào cản này. Người dùng EVM có thể tiếp tục sử dụng MetaMask mà không cần chuyển đổi ví. Nhờ những đóng góp nguồn mở của Drift trong việc xây dựng triển khai MetaMask Snap xuất sắc, UX tương đương với việc tương tác với bất kỳ chuỗi EVM nào. Người dùng mạng chính Eclipse sẽ có thể tương tác với các ứng dụng gốc trong MetaMask hoặc sử dụng các ví gốc Solana như Salmon.

1.3.2 Khả năng tương thích phụ trợ VM

1.3.2.1 Trình dịch/Trình biên dịch

Dự án tiêu biểu: Wrap

Warp là một trình dịch Solidity-Cairo được phát triển bởi Nethermind, một nhóm cơ sở hạ tầng Ethereum nổi tiếng. Warp có thể dịch mã Solidity sang Cairo, nhưng chương trình Cairo đã dịch thường cần được sửa đổi và bổ sung các tính năng của Cairo (như gọi các hàm dựng sẵn, tối ưu hóa bộ nhớ, v.v.) để tối đa hóa hiệu quả thực thi.

1.3.2.2 Trình thông dịch mã byte/lớp tương thích VM

Dự án tiêu biểu: Kakarot, Neon EVM

Kakarot là một trình thông dịch mã byte EVM được viết ở Cairo và được triển khai dưới dạng hợp đồng thông minh được triển khai trên Starknet. Nó mô phỏng ngăn xếp, bộ nhớ, thực thi và các khía cạnh khác của EVM dưới dạng hợp đồng thông minh Cairo. So với dịch mã, Kakarot triển khai từng bước Opcode và Biên dịch trước đằng sau EVM, đồng thời xây dựng các thành phần như Đăng ký tài khoản và Đăng ký Blockhash để thực hiện xử lý bổ sung về ánh xạ địa chỉ tài khoản, thu thập thông tin khối, v.v., mang lại kakarot nhiều khả năng hơn. Khả năng tương thích bản địa cao.

Neon EVM là EVM hoạt động như một hợp đồng thông minh và có thể được triển khai trên bất kỳ chuỗi SVM nào. Bản thân mạng chính Eclipse sử dụng SVM làm môi trường thực thi nhưng mang lại khả năng tương thích EVM hoàn toàn (bao gồm hỗ trợ mã byte EVM và Ethereum JSON-RPC) thông qua Neon EVM và có thông lượng cao hơn EVM đơn luồng. Ngoài ra, mỗi phiên bản Neon EVM có thị trường phí địa phương riêng, nghĩa là có giới hạn trên đối với các đơn vị tính toán liên quan đến tương tác tài khoản hợp đồng duy nhất ở độ cao khối (1/4 số đơn vị tính toán khối), do đó chỉ người dùng mới có thể thực hiện được. cần tương tác với các hợp đồng nóng cụ thể Hoặc bạn cần trả phí ưu tiên khi khối đầy. Theo nghĩa này, các ứng dụng triển khai hợp đồng của riêng chúng có thể tận dụng được các chuỗi ứng dụng gần đúng, từ đó giảm thiệt hại cho trải nghiệm người dùng, tính bảo mật hoặc tính thanh khoản của toàn bộ mạng do tắc nghẽn của một tương tác hợp đồng cụ thể gây ra.