Chi tiết sau sự cố Starknet: Lỗi thực thi gây ra sự gián đoạn ngắn trên mạng chính
- Lỗi trạng thái của blockifier đã gây ra sự không khớp với lớp chứng minh, dẫn đến tạm dừng và hoàn nguyên hoạt động gần đây của Starknet.
- Hệ thống an toàn đã ngăn chặn thực thi lỗi trước khi đạt đến độ cuối cùng của Ethereum, mặc dù người dùng vẫn gặp phải thời gian chết và việc hoàn trả giao dịch.
- Khoảng 18 phút hoạt động của mạng đã bị hoàn nguyên, buộc người dùng phải gửi lại giao dịch sau khi dịch vụ được khôi phục.
- Starknet dự định tăng cường kiểm thử và phát hiện nhanh hơn khi các hệ thống lớp-2 phức tạp tiếp tục đối mặt với rủi ro về độ tin cậy.
Starknet đã phát hành báo cáo phân tích nguyên nhân của một sự cố ngắn trên mainnet vào thứ Hai. Sự cố này dẫn đến tạm dừng mạng ngắn hạn và hoàn nguyên các khối gần đây.
Tuy nhiên, nó không ảnh hưởng đến việc thanh toán cuối cùng trên Ethereum. Theo nhóm phát triển, các hệ thống an toàn tích hợp hoạt động đúng như dự kiến, mặc dù người dùng vẫn gặp phải thời gian chết và việc hoàn trả giao dịch.
Thời gian chết của Starknet do lỗi xử lý trạng thái của Blockifier
Như đã đề cập trong báo cáo, sự cố bắt nguồn từ sự không khớp về trạng thái mạng giữa lớp thực thi của Starknet, gọi là blockifier, và lớp chứng minh của nó. Blockifier chịu trách nhiệm thực thi các giao dịch. Trong khi đó, lớp chứng minh xác minh rằng các thực thi đó đúng trước khi chúng được hoàn tất trên Ethereum.
Một lỗi phần mềm trong blockifier đã gây ra kết quả giao dịch không chính xác trong một số điều kiện đặc biệt. Các điều kiện này bao gồm các cuộc gọi chéo chức năng, thay đổi trạng thái, hoàn trả giao dịch, và logic bắt các hoàn trả đó.
Trong trường hợp đặc biệt này, blockifier đã nhầm lẫn giữ lại một thay đổi trạng thái mà đáng lẽ phải bị loại bỏ sau khi một hàm bị hoàn nguyên. Kết quả là, kết quả giao dịch khác với kỳ vọng của lớp chứng minh.
Do sự không nhất quán này, thực thi lỗi đã không đạt đến độ cuối cùng của Ethereum. Thay vào đó, mạng đã tạm dừng và hoàn nguyên hoạt động gần đây để khôi phục trạng thái nhất quán. Nhóm Starknet cho biết hành vi này phản ánh nguyên tắc thiết kế cốt lõi tập trung vào việc duy trì tính chính xác ngay cả khi phần mềm thực thi hoạt động không như mong đợi.
Một sự tổ chức lại khối đã xảy ra sau sự cố, xóa sạch khoảng 18 phút hoạt động của mạng. Trong thời gian đó, các giao dịch đã được xác nhận bị hoàn nguyên và phải gửi lại sau khi mạng trở lại bình thường. Starknet cho biết chức năng đầy đủ đã được khôi phục kể từ đó.
Các sự cố ngắt quãng lặp lại làm nổi bật độ phức tạp của mạng lớp-2
Năm 2025, người dùng Starknet đã chứng kiến một sự cố gây gián đoạn lớn hơn so với sự cố thứ Hai. Vào tháng 9, một nâng cấp giao thức lớn gọi là Grinta đã kích hoạt một lỗi của sequencer khiến mạng tạm dừng hơn năm giờ.
Nguồn hình ảnh: Starknet
Trong khoảng thời gian đó, các giao dịch không thể xử lý, buộc người dùng phải chờ hoặc gửi lại hoạt động. Hai lần tổ chức lại chuỗi đã cần thiết để khôi phục hoạt động bình thường, và khoảng một giờ hoạt động của mạng đã bị hoàn nguyên.
Người dùng bị ảnh hưởng bởi sự kiện đó cũng phải gửi lại các giao dịch, gây trở ngại cho các nhà giao dịch hoạt động tích cực. Những sự cố này cho thấy các thách thức liên tục mà các mạng lớp-2 tiên tiến phải đối mặt.
Starknet hoạt động dựa trên nhiều hệ thống liên kết chặt chẽ, bao gồm các động cơ thực thi, lớp chứng minh không kiến thức, sequencers, và việc thanh toán trên Ethereum. Mỗi lớp đều nâng cao bảo mật hoặc khả năng mở rộng, nhưng cũng làm tăng độ phức tạp.
Khi nhiều lớp tương tác, các lỗi phần mềm hiếm gặp có thể xuất hiện theo những cách không ngờ, ngay cả khi các cơ chế an toàn cốt lõi vẫn còn nguyên vẹn.
Sự cố Starknet làm nổi bật chi phí người dùng của việc hoàn nguyên lớp-2
Sự cố mới nhất cho thấy cách các lỗi thực thi nhỏ vẫn có thể gây ra gián đoạn rõ ràng, ngay cả khi các hệ thống an toàn hoạt động chính xác. Lớp chứng minh của Starknet đã đóng vai trò như một biện pháp phòng ngừa, bắt kịp sự không nhất quán trước khi hoàn tất cuối cùng. Tuy nhiên, biện pháp bảo vệ đó không loại bỏ chi phí của người dùng về thời gian chết và các lần tổ chức lại chuỗi.
Các lỗi thực thi nhỏ vẫn có thể gây ra các gián đoạn mạng rõ ràng, ngay cả khi các hệ thống an toàn tích hợp hoạt động đúng như dự kiến. Trong trường hợp của Starknet, lớp chứng minh đã phát hiện ra giao dịch lỗi trước khi nó đạt đến hoàn tất cuối cùng trên Ethereum, ngăn chặn thiệt hại lâu dài cho mạng.
Ngay cả khi quỹ của người dùng được bảo vệ, thời gian chết và các lần tổ chức lại chuỗi vẫn gây gián đoạn hoạt động bình thường. Các nhà giao dịch và ứng dụng phụ thuộc vào thực thi giao dịch nhanh chóng và dự đoán được bị ảnh hưởng nhiều nhất, vì các khối hoàn nguyên buộc người dùng gửi lại giao dịch và xử lý các chậm trễ không mong đợi.
Starknet Siết chặt kiểm thử xung quanh hệ thống Blockifier và chứng minh
Các cuộc đánh giá kỹ thuật liên tục đang diễn ra tại Starknet sau sự cố ngắn trên mainnet gần đây, đặc biệt tập trung vào giảm thiểu rủi ro của các sự cố tương tự. Các bộ kiểm thử fuzz mới đang được giới thiệu để so sánh trực tiếp kết quả thực thi của blockifier với hệ thống chứng minh.
Một cuộc kiểm tra nội bộ về logic hoàn nguyên của blockifier cũng đang được tiến hành để xác định các kịch bản khác có thể dẫn đến xử lý trạng thái không chính xác. Ngoài ra, nhóm dự định rút ngắn thời gian giữa thực thi giao dịch và thực thi phù hợp với prover.
So sánh nhanh hơn sẽ cho phép phát hiện sự không khớp sớm hơn, hạn chế mức độ hoạt động của mạng cần phải hoàn nguyên.
Starknet xem sự cố này như một bằng chứng cho thấy mô hình an toàn của họ hoạt động theo thiết kế, vì thực thi lỗi chưa bao giờ đạt đến độ cuối cùng của Ethereum. Đồng thời, nhóm cũng thừa nhận rằng việc cải thiện độ ổn định vẫn là ưu tiên khi công nghệ lớp-2 tiếp tục trưởng thành.