Ghi chú của biên tập viên:

Sắp xếp là một thành phần quan trọng trong Rollup kế hoạch mở rộng Ethereum hiện tại. Nó được sử dụng để sắp xếp các giao dịch theo trình tự và thực hiện các hoạt động liên quan như tạo khối, chấp nhận giao dịch, sắp xếp giao dịch, thực hiện giao dịch và gửi dữ liệu giao dịch. Người đề xuất) chịu trách nhiệm gửi trạng thái cam kết với L1. Thất bại của các thực thể này có thể dẫn đến các vấn đề như kiểm duyệt hoặc khóa tài sản, đồng thời nhiều giải pháp L2 hiện tại thiếu các khả năng quan trọng này, để lại lỗ hổng trong việc không giải quyết được các vấn đề lỗi tiềm ẩn.

Hiện tại, hai cơ chế “tự sắp xếp ” để giải quyết vấn đề lỗi trình sắp xếp và “thoát khẩn cấp” để giải quyết vấn đề lỗi trình đề xuất vẫn chưa được ưu tiên hoàn toàn trong thiết kế và triển khai. và yêu cầu người đề xuất gửi tin nhắn theo lịch trình đến hợp đồng thông minh định kì để giải quyết vấn đề này.

TL;DR

Trong L2, sắp xếp và người đề xuất đóng một vai trò quan trọng. Sắp xếp chịu trách nhiệm xác thực các giao dịch và đóng gói chúng để truyền trong L1, trong khi người đề xuất gửi các cam kết cấp nhà nước đối với L1. Sự thất bại của các thực thể này có thể dẫn đến các vấn đề như kiểm duyệt hoặc khóa tài sản, nhưng có rất ít lối thoát cho bất kỳ L2 nào. Bài viết này sẽ giới thiệu các giải pháp để giải quyết vấn đề này.

tình hình hiện tại

Tính đến thời điểm hiện tại, hệ sinh thái blockchain L2 phải đối mặt với những thách thức tiềm tàng với sự thất bại sắp xếp và người đề xuất. Sắp xếp chịu trách nhiệm xác thực và đóng gói các giao dịch để truyền L1, điều này có thể dẫn đến rủi ro như kiểm duyệt hoặc tắt máy. Tương tự như vậy, người đề xuất có trách nhiệm gửi các cam kết nhà nước đối với L1 và có thể gặp phải những sai sót gây ra vấn đề khóa tài sản.

Những thách thức này càng trở nên trầm trọng hơn do thực tế là sắp xếp và trình đề xuất chủ yếu được vận hành bởi các thực thể tập trung, gây ra rủi ro bổ sung như khai thác MEV hoặc tắt sắp xếp . Các khía cạnh chính không chỉ là việc sử dụng sắp xếp phi tập trung mà còn là việc thực hiện thành công các bằng chứng gian lận và hợp lệ, cũng như việc giới thiệu cơ chế thoát hiểm khẩn cấp.

Để giải quyết vấn đề lỗi sắp xếp, các giải pháp như "tự sắp xếp" và "xếp hàng qua L1" đã được đưa ra. Tương tự, đối với những lỗi của người đề xuất, các cơ chế như "thoát khẩn cấp" và "tự đề xuất" có thể được sử dụng. Thật không may, các lối thoát hiểm khẩn cấp và khả năng tự sắp xếp không được ưu tiên đầy đủ trong thiết kế và triển khai, điều này thể hiện một lỗ hổng bảo mật nghiêm trọng. Ngoài ra, nhiều giải pháp L2 hiện tại thiếu những khả năng quan trọng này, để lại những lỗ hổng không giải quyết được các vấn đề lỗi tiềm ẩn.

Thông tin do L2beat cung cấp cho thấy các cơ chế được thiết kế để giải quyết các lỗi sắp xếp và trình đề xuất không được triển khai một cách đáng tin cậy.

Cách L2 thực hiện cơ chế tự sắp xếp và thoát khẩn cấp

tự sắp xếp

Chính sách sao lưu cho phép đảm bảo đưa vào bắt buộc trong trường hợp trình sắp xếp bị lỗi bằng cách buộc trong đó các giao dịch sau một khoảng thời gian xác định. Phương pháp này đảm bảo rằng trong trường hợp lỗi sắp xếp L2 có thể khiến trì hoãn giao dịch hoặc bị ảnh hưởng, các giao dịch này vẫn có thể được xử lý và xác minh trên blockchain chính, duy trì tính toàn vẹn và liên tục của toàn bộ hệ thống xử lý giao dịch.

Khoảng thời gian triển khai là một biện pháp an toàn kỹ thuật được thiết kế để thiết lập khoảng thời gian đệm trước khi buộc đưa các giao dịch qua Lớp 1 để ứng phó với lỗi sắp xếp thứ tự. Thời gian trễ này cung cấp một cửa sổ được kiểm soát để xác định và giải quyết các sự cố tiềm ẩn, thực hiện kiểm tra hệ thống thích hợp và khôi phục sự ổn định trong vận hành.

Khi người dùng muốn buộc bao gồm một giao dịch, một chức năng chuyên biệt phải được gọi trên hợp đồng cuộn L1, sau đó chuyển tiếp giao dịch đến hàng đợi trễ của sắp xếp L2. Hàng đợi trì hoãn này phục vụ hai mục đích chính: thứ nhất, là nơi lưu giữ tạm thời các giao dịch đang chờ xử lý và thứ hai, là biện pháp phòng ngừa bảo mật nhằm ngăn chặn các tác nhân độc hại tiềm ẩn tham gia vào sắp xếp tự đặt hàng không chính đáng. Các giao dịch phải được xem xét và tuân theo các tiêu chí được xác định trước trước khi được đưa vào hàng đợi hoãn lại. Điều này ngăn chặn các nỗ lực trái phép hoặc độc hại nhằm sửa đổi quy trình sắp xếp, đảm bảo tính toàn vẹn và bảo mật của hoàn cảnh L2.

Sau khi hết ngưỡng thời gian đã đặt, các giao dịch trong hàng đợi trễ sẽ trải qua quy trình đưa vào hàng loạt trong đó gồm sê-ri các bước kiểm tra bắt buộc. Giới hạn thời gian này đóng vai trò như một công cụ được kiểm soát để điều chỉnh thời gian xử lý giao dịch. Các giao dịch tích lũy trong hàng đợi trễ trong khoảng thời gian này được tổng hợp thành một đợt và quá trình đưa vào bắt đầu, giả sử các bài kiểm tra xác thực đặt trước đã vượt qua thành công. Sự phức tạp về mặt kỹ thuật đến từ phát từ việc tổ chức đưa vào lô này và hệ thống đảm bảo rằng các giao dịch tuân thủ các tiêu chuẩn đã thiết lập trước khi được tích hợp vào L2.

CỬA THOÁT HIỂM

Người đề xuất cần gửi tin nhắn định kì theo lịch trình tới hợp đồng thông minh. Thông báo này là một biện pháp phòng ngừa để đảm bảo tính toàn vẹn hoạt động liên tục của người đề xuất. Việc thiếu thông tin liên lạc như vậy trong khung thời gian định trước sẽ dẫn đến việc người đề xuất bị tuyên bố là không hoạt động hoặc bị lỗi.

Trong trường hợp hoạt động của người đề xuất bị dừng hoặc thông báo được chỉ định không được truyền đi, cơ chế tự động phải được khởi động để thực hiện đóng băng tài sản trên L2. Quá trình đóng băng phải bao gồm việc khóa tài sản một cách an toàn trong các hợp đồng thông minh cụ thể được phát hành trên L2. Bước này ngăn chặn một cách hiệu quả mọi giao dịch tiếp theo liên quan đến tài sản đóng băng xảy ra cho đến khi các vấn đề cơ bản với người đề xuất được giải quyết. Nâng cấp này đảm bảo rằng mọi nỗ lực chuyển hoặc sửa đổi tài sản đóng băng đều bị hệ thống chặn một cách có trật tự, giảm thiểu các mối nguy hiểm tiềm ẩn liên quan đến những người đề xuất bị lỗi.

Người dùng có thể kích hoạt cơ chế thoát khẩn cấp, được thiết kế để cho phép người dùng lấy lại quyền sở hữu tài sản của họ trong một số trường hợp nhất định, đặc biệt nếu người đề xuất được xác nhận là không hợp lệ. Cơ chế này được thiết kế để chỉ sử dụng khi các tiêu chí đã nêu xác định rõ ràng sự thiếu chức năng của người đề xuất.

Để lấy lại quyền sở hữu tài sản của mình, người dùng cần tạo chứng chỉ Merkel chứng minh việc họ nắm giữ quỹ. Các bằng chứng Merkle này đóng vai trò là bằng chứng crypto về một tài sản cụ thể do người dùng sở hữu tại thời điểm tài sản đó bị khóa. Sau đó, người dùng gửi các bằng chứng Merkle này cho hợp đồng L1, sau đó xác minh tính hợp pháp và quyền sở hữu của các bằng chứng được đưa ra thông qua quy trình xác minh. Chỉ sau khi những bằng chứng này được xác minh một cách nghiêm ngặt, hợp đồng Lớp 1 mới được phép bắt đầu chuyển tài sản bị khóa sang quyền kiểm soát của người dùng.

Tóm lại là

Phân tích nhấn mạnh tầm quan trọng của việc khắc phục các lỗi sắp xếp và trình đề xuất trong blockchain L2 để đảm bảo xử lý giao dịch mạnh mẽ và an toàn. Các vấn đề và điểm yếu hiện tại, bao gồm việc thiếu sự ưu tiên trong các lối thoát hiểm khẩn cấp và khả năng tự sắp xếp, nêu bật sự cần thiết phải có một phương pháp toàn diện trên toàn bộ hệ sinh thái L2. Việc triển khai các giải pháp này có thể cải thiện độ tin cậy và sức mạnh tổng thể của hệ thống blockchain L2, giúp người tiêu dùng tín nhiệm hơn vào tính toàn vẹn của các giao dịch và tài sản của họ.