Starknet lại gặp sự cố: lớp thực thi và lớp chứng minh xung đột, hoạt động 18 phút bị hoàn nguyên

Mạng L2 Ethereum Starknet đã bị gián đoạn chính vào thứ Hai tuần này. Theo báo cáo phân tích hậu sự kiện được công bố vào ngày 11 tháng 1, sự cố này xuất phát từ sự không đồng bộ trạng thái giữa lớp thực thi (blockifier) và lớp chứng minh. Trong các kịch bản kết hợp gọi hàm chéo và rollback cụ thể, lớp thực thi đã ghi lại sai lệch các lần ghi trạng thái đã bị rollback, dẫn đến lỗi thực thi giao dịch. Mặc dù các giao dịch liên quan chưa nhận được xác nhận tính chất cuối cùng của L1, sự kiện đã kích hoạt việc tổ chức lại khối, với các hoạt động trên chuỗi khoảng 18 phút bị rollback. Điều đáng chú ý hơn là đây đã là sự cố gián đoạn trọng yếu thứ hai của Starknet kể từ năm 2025.

Chi tiết kỹ thuật: “Không đồng bộ” giữa lớp thực thi và lớp chứng minh

Nguyên nhân gốc rễ của sự cố

Nguyên nhân kỹ thuật của lần ngưng hoạt động này tương đối phức tạp. Kiến trúc của Starknet liên quan đến hai lớp chính: lớp thực thi chịu trách nhiệm xử lý logic giao dịch, lớp chứng minh chịu trách nhiệm tạo chứng minh zero-knowledge và gửi đến mạng chính Ethereum. Trong sự cố này, khi các phép gọi hàm cụ thể và hoạt động rollback kết hợp xuất hiện, (blockifier) của lớp thực thi đã ghi lại sai một lần ghi trạng thái mà lẽ ra phải bị rollback, dẫn đến xung đột trạng thái giữa hai lớp.

Tin tốt là lớp chứng minh đã phát hiện chính xác lỗi này, từ chối giao dịch có vấn đề đó và không gửi nó vào sổ cái. Cơ chế “tự sửa chữa” này ngăn chặn trạng thái sai từ bị vĩnh viễn hóa trên mạng chính Ethereum.

Tại sao cần phải tổ chức lại

Do sự không đồng bộ giữa lớp thực thi và lớp chứng minh, mạng lưới bị buộc phải tổ chức lại khối để khôi phục trạng thái bình thường. Việc tổ chức lại này dẫn đến các hoạt động trên mạng khoảng 18 phút bị rollback, và người dùng cần phải gửi lại giao dịch. Đối với các giao dịch không nhạy cảm về thời gian, ảnh hưởng tương đối nhỏ, nhưng đối với các nhà giao dịch thường xuyên hoặc các hoạt động cần thực hiện nhanh chóng (chẳng hạn như thanh lý khẩn cấp), có thể gây ra tổn thất thực tế.

So sánh lịch sử: Vấn đề ngày càng tần suất hơn

Mặc dù thời gian rollback lần này ngắn hơn (18 phút so với 1 giờ), nhưng vấn đề về tần suất bắt đầu xuất hiện. Từ tháng 9 đến tháng 1, Starknet đã trải qua hai sự cố gián đoạn trọng yếu trong chưa đầy nửa năm, và loại lỗi khác nhau, phản ánh rằng hệ thống có các rủi ro tiềm ẩn ở nhiều lớp khác nhau.

Phản ứng và cam kết của đội ngũ

Hành động ngay lập tức

Đội ngũ Starknet đã đưa ra một số cam kết khi công bố báo cáo phân tích hậu sự kiện:

• Tăng cường quy trình kiểm tra mã, đặc biệt là kiểm tra các điều kiện biên và kịch bản phức tạp
• Tăng cường cơ chế kiểm toán mã, ngăn chặn các vấn đề không đồng bộ trạng thái tương tự
• Theo thông tin liên quan, Starknet có kế hoạch phát hành phiên bản v0.14.1, bao gồm nâng cấp hàm băm và tạo khối nhanh hơn và các tối ưu hóa khác

Các biện pháp này cho thấy đội ngũ đang chủ động cải thiện tính ổn định của hệ thống, nhưng liệu chúng có thể ngăn chặn hiệu quả các lỗi trong tương lai vẫn cần thời gian để xác minh.

Đánh giá tác động đến hệ sinh thái

Cấp độ người dùng

Tác động thực tế của sự cố này tương đối hạn chế vì:

• Thời gian rollback ngắn (18 phút), số lượng giao dịch bị ảnh hưởng tương đối ít
• Giao dịch không nhận được xác nhận tính chất cuối cùng của L1, vì vậy không có quỹ thực sự bị mất
• Người dùng chủ yếu cần gửi lại giao dịch, thay vì phải đối mặt với mất tài sản

Cấp độ hệ sinh thái

Nhưng từ một góc độ rộng hơn, các sự cố gián đoạn thường xuyên tạo ra thách thức cho sự phát triển hệ sinh thái của Starknet:

• Giảm niềm tin của người dùng vào tính ổn định của mạng
• Có thể ảnh hưởng đến ý định triển khai ứng dụng DeFi
• Xếp hạng kém hơn trong cuộc cạnh tranh với các dự án L2 khác (như Arbitrum, Optimism)

Điều đáng lưu ý là, theo thông tin liên quan, Starknet đang tích cực mở rộng các kịch bản ứng dụng, chẳng hạn như hợp tác với Noon để phát hành Bitcoin Vault, hợp tác với AlchemyPay và các dự án khác. Liệu các nỗ lực xây dựng hệ sinh thái này có thể bù lại ảnh hưởng tiêu cực do vấn đề tính ổn định gây ra là trọng tâm cần quan sát tiếp theo.

Kết luận

Sự cố gián đoạn của Starknet lần này phản ánh những thách thức kỹ thuật của mạng L2 trong các kịch bản phức tạp. Không phải nói đây là một lỗ hổng bảo mật nghiêm trọng, không bằng nói đây là sự không đủ của hệ thống trong xử lý các điều kiện biên. Cơ chế “tự sửa chữa” của lớp chứng minh đã ngăn chặn hiệu quả mất quỹ, nhưng các vấn đề gián đoạn thường xuyên không thể bỏ qua.

Điều quan trọng là xem các biện pháp cải thiện của Starknet có thực sự hiệu quả không. Tăng cường kiểm tra và kiểm toán là cần thiết, nhưng liệu có thể giải quyết căn bản loại vấn đề này hay không, vẫn phải xem hiệu suất của các phiên bản tiếp theo. Đối với những người tham gia hệ sinh thái, trong khi tin tưởng vào Starknet, họ cũng cần chú ý đến tiến trình cải thiện tính ổn định của nó.