Đánh giá đầy đủ về thời gian ngừng hoạt động 4 giờ của Lighter: Tại sao PerpDex lại "đóng cửa" vào đêm thanh lý 19 tỷ đô la?

Nguồn gốc: Beosin

Vào ngày 11 tháng 10, thị trường tiền điện tử đã trải qua đợt gọi ký quỹ lớn nhất trong lịch sử, với tổng giá trị thanh lý khoảng 19 tỷ đô la. Trong đợt kiểm tra thị trường khắc nghiệt này, nhiều nền tảng giao dịch hoán đổi vĩnh viễn phi tập trung (PerpDex) đã gặp sự cố ngừng hoạt động , trong đó Lighter là nền tảng bị ảnh hưởng nặng nề nhất . Những khoản lỗ do đó gây ra cho nhóm nhà cung cấp thanh khoản (LLP) đã làm dấy lên những tranh luận rộng rãi trên thị trường về nền tảng PerpDex.

Là một công ty bảo mật Web3 đã kiểm tra nhiều nền tảng Perp Dex, bao gồm Surf Protocol và Tifo.trade , Beosin sẽ sử dụng nhiều năm kinh nghiệm tích lũy về công nghệ và phân tích dữ liệu trên chuỗi để giúp mọi người hiểu sâu hơn về nguyên nhân gây ra sự cố mất điện của Lighter .

Khung công nghệ nhẹ hơn

Lighter nổi bật giữa cơn sốt PerpDex với mức phí giao dịch bằng 0, thu hút đông đảo người dùng giao dịch trên nền tảng này. Lighter được xây dựng trên zkLight, một nền tảng ZK Rollup L2 chuyên dụng, nhằm cải thiện hiệu suất giao dịch và hiệu quả khớp lệnh trên sổ lệnh. Cơ chế hoạt động cốt lõi của Lighter được minh họa như sau:

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

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

Trình chứng minh : Tạo các hoạt động của công cụ khớp lệnh thành bằng chứng ZK-SNARK ngắn gọn để xác minh tính chính xác của việc thực thi khớp lệnh và chuyển đổi trạng thái sau đó.

Hợp đồng Mainnet : Chịu trách nhiệm xác minh bằng chứng không kiến thức do người chứng minh gửi. Sau khi xác minh, trạng thái gốc được cập nhật và kết quả giao dịch cuối cùng được xác nhận trên Ethereum.

Ngoài các tính năng trên, Lighter còn cung cấp cho người dùng tính năng kho lưu trữ, cho phép họ gửi tiền vào Quỹ Thanh khoản Lighter (LLP) . Quỹ thanh khoản này đóng vai trò là nhà cung cấp thanh khoản, tạo giá và nền tảng quản lý rủi ro . Các bên tham gia LLP chia sẻ lợi nhuận và thua lỗ của nền tảng, đồng thời chịu một phần rủi ro trong trường hợp người dùng bị gọi ký quỹ, tạo thành một cơ chế đệm rủi ro kết hợp với hệ thống thanh lý của Lighter.

Đánh giá thời gian chết nhẹ hơn

Vào ngày 11 tháng 10 năm 2025, thị trường tiền điện tử đã chứng kiến mức thanh lý hợp đồng kỷ lục. Trong bối cảnh thị trường cực đoan này, Lighter đã gặp sự cố ngừng hoạt động trong nhiều giờ, khiến người dùng không thể vận hành vị thế và dẫn đến khoản lỗ khoảng 5,35% trong LLP.

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

Trước sự cố, nền tảng Lighter thường xử lý khoảng 4.005 giao dịch mỗi phút. Bắt đầu từ 00:17, khối lượng giao dịch tăng vọt . Lô #55665 chứa 560 khối và xử lý 196.913 giao dịch. Trung bình, khoảng 65.638 giao dịch được xử lý mỗi phút, gấp khoảng 16 lần thời gian xử lý thông thường .

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

Được sản xuất bởi Beosin Statistics

Vào lúc 04:56 ngày 11 tháng 10, Lô #55743 đã đạt số lượng giao dịch tối đa , hoàn thành 639.370 giao dịch trong hai phút, gấp 79,8 lần tốc độ giao dịch trung bình mỗi phút . Qua phân tích dữ liệu của Lighter từ sự cố này, chúng tôi nhận thấy lô của Lighter có thể chứa tối đa 1.600 khối, mỗi khối chứa tối đa 500 giao dịch. Số lượng giao dịch tối đa lý thuyết cho mỗi lô là 800.000 , nhưng thực tế là 639.370.

Trên đây là các giao dịch đã được nền tảng Lighter xử lý thành công. Tuy nhiên, nhiều người dùng đã không thể điều chỉnh vị thế do lỗi gửi giao dịch (thời gian ngừng hoạt động), dẫn đến dữ liệu không được ghi lại trên chuỗi . Về mặt kiến trúc kỹ thuật, thời gian ngừng hoạt động này và tổn thất LLP chủ yếu do hai lý do:

1. Ngoài các vấn đề liên quan đến việc truy cập trang giao diện người dùng và gửi đơn đặt hàng, ZK Rollup của Lighter còn phụ thuộc vào một trình tự duy nhất để phân loại và đóng gói giao dịch . Mặc dù ZK Proof được sử dụng để xác minh kết quả, việc tập trung trình tự tạo ra rủi ro lỗi điểm duy nhất. Trong thời gian giá giảm, trình tự và cơ sở dữ liệu không thể xử lý tải đột ngột , dẫn đến hỏng chỉ mục cơ sở dữ liệu và tắc nghẽn giao dịch, trực tiếp dẫn đến mất kết nối giữa công cụ khớp lệnh và máy khách.

2. Khi khối lượng giao dịch tăng đột biến, khả năng xử lý phối hợp của các nút tạo bằng chứng và cơ sở dữ liệu trở thành nút thắt trong quy trình tạo và gửi bằng chứng ZK-SNARK. Trong điều kiện thị trường khắc nghiệt, sự gia tăng đột biến trong các hoạt động khớp lệnh và bù trừ sẽ đồng thời khởi tạo các yêu cầu đến các nút tạo bằng chứng ZK. Nền tảng có thể chưa triển khai cơ chế đặt trước tài nguyên cho các hoạt động ưu tiên cao như bù trừ . Điều này tạo ra sự cạnh tranh tài nguyên giữa các giao dịch thông thường và các yêu cầu tạo bằng chứng bù trừ, làm trầm trọng thêm độ trễ phản hồi của hệ thống và ngăn quá trình bù trừ được thực hiện kịp thời, gây thiệt hại cho người dùng .

Về mặt vận hành, Tổng giám đốc điều hành Lighter, Vladimir Novakovski, trả lời: "Ban đầu, Lighter dự định nâng cấp cơ sở dữ liệu vào cuối tuần xảy ra sự cố gần đây để đáp ứng nhu cầu giao dịch tăng cao." Sự cố này cho thấy "thời gian nâng cấp không chính xác" này xuất phát từ việc đội ngũ chưa chuẩn bị đầy đủ cho các 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 , cuối cùng dẫn đến các lỗi hệ thống trong điều kiện thị trường khắc nghiệt.

Sự cố này cho thấy một thách thức 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 thị trường khắc nghiệt . Về bảo mật hợp đồng thông minh, các nhóm dự án PerpDex nên tiến hành kiểm tra bảo mật hợp đồng toàn diện và chuyên nghiệp. Beosin trước đây đã cung cấp dịch vụ kiểm tra bảo mật cho các dự án PerpDex như Surf Protocol và Tifo.trade. Các cuộc kiểm tra này bao gồm bảo mật mã hợp đồng thông minh, tính chính xác của logic triển khai nghiệp vụ (như giao dịch đòn bẩy, thanh lý và quản lý nhóm thanh khoản), tối ưu hóa gas mã hợp đồng, cũng như phát hiện và khắc phục các lỗ hổng tiềm ẩn. Beosin đã hỗ trợ thành công các nhóm dự án giải quyết nhiều lỗ hổng có mức độ rủi ro trung bình và cao.

https://www.beosin.com/audits/Surf%20Protocol%20V2_202403281200.pdf

Ngoài ra, nhóm dự án Perp Dex cần cân nhắc đến tính dự phòng kiến trúc và cơ chế ứng phó 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 chuỗi và lập lịch tài nguyên động, Perp Dex được kỳ vọng sẽ giải quyết được điểm nghẽn 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 tiền điện tử.