PerpDex tại sao lại "tắt lửa"? Lighter đã ngừng hoạt động 4 giờ và toàn bộ quá trình đã được xem xét lại.

Vào ngày 11 tháng 10, thị trường tài sản tiền điện tử đã trải qua sự kiện bị thanh lý lớn nhất trong lịch sử, với tổng số tiền thanh lý khoảng 19 tỷ USD. Trong cuộc thử nghiệm cực đoan của thị trường này, nhiều nền tảng giao dịch hợp đồng tương lai vĩnh cửu phi tập trung (Perp Dex) đã gặp sự cố, trong đó Lighter gặp sự cố nghiêm trọng nhất, khiến quỹ của nhà cung cấp thanh khoản (LLP) bị thua lỗ, gây ra sự bàn tán rộng rãi trong thị trường về nền tảng PerpDex.

Là một công ty an ninh Web3 đã kiểm toán nhiều Perp Dex như Surf Protocol, Tifo.trade, Beosin trong bài viết này sẽ thông qua kinh nghiệm phân tích dữ liệu kỹ thuật và trên chuỗi tích lũy nhiều năm để giúp mọi người hiểu sâu về nguyên nhân của sự cố ngừng hoạt động Lighter lần này.

Khung công nghệ Lighter

Lighter nổi bật trong cơn sốt PerpDex nhờ vào đặc điểm không thu phí giao dịch, thu hút nhiều người dùng giao dịch trên nền tảng của nó. Lighter được xây dựng trên zkLight, một ZK Rollup L2 cụ thể, nhằm nâng cao hiệu suất giao dịch và hiệu quả khớp lệnh sổ đặt hàng. Cơ chế vận hành cốt lõi của nó được mô tả trong hình dưới đây:

Bộ sắp xếp: Là điểm dừng đầu tiên cho tương tác của người dùng, có trách nhiệm nhận lệnh giao dịch và sắp xếp cũng như đóng gói các giao dịch thành Batch (gói dữ liệu giao dịch).

Công cụ khớp lệnh: Nhận Batch từ bộ sắp xếp và tuân theo logic khớp lệnh “ưu tiên giá, ưu tiên thời gian” một cách nghiêm ngặt. Mỗi lần khớp lệnh thành công sẽ chuẩn bị dữ liệu cho việc tạo ra bằng chứng không kiến thức, đảm bảo bất kỳ ai cũng có thể xác minh tính công bằng của quá trình khớp lệnh sau đó, tránh khả năng thao túng.

Người chứng minh (Prover): Biến các hoạt động của công cụ ghép nối thành một chứng minh ZK-SNARK ngắn gọn, dùng để xác minh tính chính xác của việc thực hiện ghép nối và chuyển đổi trạng thái sau này.

Hợp đồng mạng chính: Chịu trách nhiệm xác minh chứng minh không biết của những người chứng minh đã gửi. Một khi xác minh thành công, trạng thái gốc sẽ được cập nhật, từ đó kết quả giao dịch được xác nhận cuối cùng trên Ethereum.

Ngoài thiết kế trên, Lighter cung cấp cho người dùng chức năng kho lưu trữ, người dùng có thể gửi tiền vào Lighter Liquidity Pool (LLP), bể thanh khoản này đảm nhận ba chức năng: cung cấp thanh khoản, tạo báo giá và tiếp nhận rủi ro. Người tham gia LLP có thể chia sẻ lợi nhuận từ nền tảng và lợi nhuận phát sinh từ tổn thất của bên đối tác, đồng thời tiếp nhận một phần rủi ro khi người dùng bị thanh lý, kết hợp với hệ thống thanh lý của Lighter, hình thành cơ chế đệm rủi ro.

Tổng kết sự cố Lighter

Ngày 11 tháng 10 năm 2025, quy mô thanh lý hợp đồng trên thị trường mã hóa đã lập kỷ lục lịch sử. Trong bối cảnh thị trường cực đoan này, Lighter đã gặp phải nhiều giờ ngừng dịch vụ đột ngột khiến người dùng không thể thao tác vị thế, tổn thất LLP khoảng 5,35%.

Beosin đã phát hiện thông qua phân tích dữ liệu trên chuỗi trong khoảng thời gian chính của sự kiện này (giờ Bắc Kinh 2025 năm 10 tháng 11 00:17-05:08) rằng Lighter đã mất 3 Batch kể từ Batch#55661, và bắt đầu phục hồi sản xuất Batch vào lúc 00:17 (00:23 Lighter đã phát hành thông báo cho biết đơn hàng của người dùng không thể được xử lý hoặc thực hiện).

Khối lượng giao dịch mà nền tảng Lighter xử lý một cách bình thường trước khi bị sập khoảng 4005 giao dịch/phút, từ 00:17, khối lượng giao dịch tăng vọt, Batch#55665 chứa 560 khối, số lượng giao dịch đã xử lý là 196913, trung bình mỗi phút cần xử lý khoảng 65638 giao dịch, gấp khoảng 16 lần so với thời gian bình thường.

Dưới đây là biểu đồ thống kê số lượng giao dịch được xử lý tại các thời điểm nộp Batch từ 00:17 đến 05:08 ngày 11 tháng 10:

Được thống kê bởi Beosin

Vào lúc 04:56 ngày 11 tháng 10, số lượng giao dịch của Batch#55743 đã đạt mức tối đa, hoàn thành 639370 giao dịch trong vòng 2 phút, gấp 79,8 lần số lượng giao dịch mỗi phút trong thời gian bình thường. Qua việc thống kê dữ liệu của sự kiện lần này từ Lighter, chúng tôi phát hiện rằng Batch của Lighter có thể chứa tối đa 1600 khối, mỗi khối có thể chứa tối đa 500 giao dịch, số lượng giao dịch lý thuyết có thể xử lý là 800000/Giao dịch, trong khi số lượng giao dịch thực tế cao nhất là 639370.

Trên đây là các giao dịch đã được nền tảng Lighter xử lý thành công, còn nhiều người dùng do việc gửi giao dịch thất bại không thể điều chỉnh vị thế (ngưng hoạt động) nên không thể ghi lại dữ liệu trên chuỗi. Xét về kiến trúc kỹ thuật, lần ngưng hoạt động này và những tổn thất LLP chủ yếu có 2 nguyên nhân:

1. Ngoài việc truy cập trang trước và gặp sự cố khi gửi đơn hàng, ZK Rollup của Lighter phụ thuộc vào một bộ sắp xếp duy nhất để sắp xếp và đóng gói giao dịch. Mặc dù đã thông qua ZK Proof để xác thực kết quả, nhưng sự tập trung của bộ sắp xếp dẫn đến rủi ro lỗi đơn điểm. Trong thời gian giảm giá mạnh, bộ sắp xếp và cơ sở dữ liệu không thể chịu được tải đột biến, cơ sở dữ liệu có thể gặp phải sự cố chỉ mục và tắc nghẽn giao dịch, dẫn đến việc kết nối giữa động cơ khớp lệnh và phía người dùng bị gián đoạn. 2. Quy trình tạo và nộp chứng minh của ZK-SNARK trong thời gian giao dịch tăng đột biến, khả năng xử lý phối hợp giữa nút tạo chứng minh và cơ sở dữ liệu trở thành điểm nghẽn. Trong điều kiện cực đoan, các hoạt động khớp lệnh và thanh lý đồng thời tăng vọt sẽ gửi yêu cầu đến nút tạo chứng minh ZK. Nền tảng có thể không thiết lập cơ chế dự trữ tài nguyên cho các hoạt động thanh lý có độ ưu tiên cao như vậy, dẫn đến sự cạnh tranh tài nguyên giữa các yêu cầu tạo chứng minh cho giao dịch thông thường và thanh lý, làm gia tăng độ trễ phản hồi của hệ thống, khiến quy trình thanh lý không thể thực hiện kịp thời, làm gia tăng tổn thất cho người dùng. Ở cấp độ vận hành, theo phản hồi của CEO Lighter, Vladimir Novakovski, “Lighter đã dự định nâng cấp cơ sở dữ liệu vào cuối tuần xảy ra sự cố giảm giá này để phù hợp với nhu cầu giao dịch đang tăng trưởng liên tục”. Từ sự kiện này, việc “chọn sai thời điểm nâng cấp” là do đội ngũ của họ chuẩn bị không đủ cho rủi ro thị trường, trong quá trình mở rộng nhanh chóng của nền tảng, họ đã không hoàn thành việc nâng cấp cơ sở hạ tầng kịp thời, dẫn đến sự cố hệ thống mang tính hệ thống của nền tảng trong điều kiện cực đoan. Sự kiện này đã tiết lộ một vấn đề cốt lõi mà PerpDex đang phải đối mặt: làm thế nào để duy trì hoạt động bình thường của nền tảng trong điều kiện cực đoan. Về mặt an toàn hợp đồng thông minh, các đội ngũ dự án trong lĩnh vực Perp Dex nên thực hiện kiểm toán an toàn hợp đồng chuyên nghiệp và toàn diện. Beosin trước đây đã cung cấp dịch vụ kiểm toán an toàn cho Surf Protocol, Tifo.trade và các Perp Dex khác, bao gồm nhiều khía cạnh như an toàn của mã hợp đồng thông minh, tính chính xác của logic thực hiện kinh doanh (giao dịch ký quỹ, thanh lý, quản lý quỹ thanh khoản, v.v.), tối ưu hóa gas mã hợp đồng, phát hiện và khắc phục các lỗ hổng tiềm ẩn, giúp các đội ngũ dự án sửa chữa nhiều lỗ hổng có nguy cơ trung bình đến cao.

Ngoài ra, đội ngũ dự án Perp Dex cũng cần xem xét việc tích hợp sự dư thừa kiến trúc và cơ chế khẩn cấp. Trong tương lai, với việc áp dụng các công nghệ như nhiều bộ sắp xếp và lập lịch tài nguyên động, Perp Dex hy vọng sẽ giải quyết được nút thắt hiện tại, phục vụ nhiều người dùng hơn và trở thành cơ sở hạ tầng cốt lõi của tài chính mã hóa.