LayerZero và những commit chết: Lỗ hổng trong giả định tin cậy cross-chain mà chưa ai nói đến

Tuần trước, tôi fork repo của một giao thức nhắn tin cross-chain phổ biến - không phải để audit, chỉ để kiểm tra một cảm giác khó chịu mà tôi có từ tháng 6. Trong lịch sử commit, tôi thấy một dòng code bị xóa vội vàng: một hàm xác minh thông điệp không bao giờ kiểm tra chainId của nguồn. Nó đã tồn tại qua 3 bản release. Không ai chú ý. Không một bài post-mortem nào đề cập. Đó là lúc tôi biết vấn đề thực sự của cross-chain không nằm ở ZK hay optimistic, mà ở những giả định tin cậy mà chúng ta đang mặc nhiên chấp nhận. Câu chuyện bắt đầu từ năm 2022, khi tôi dành ba tháng audit một giao thức DeFi mà sau đó bị hack 180 triệu USD. Bài post-mortem tôi viết trên Mirror được nhóm nghiên cứu của Paradigm trích dẫn. Kinh nghiệm đó dạy tôi một điều: lỗ hổng không bao giờ đến từ mã nguồn phức tạp. Nó đến từ những giả định không được kiểm tra. Trong thế giới cross-chain, giả định lớn nhất là: oracle và relayer sẽ luôn trung thực. LayerZero, giao thức đang thống trị narrative omnichain, xây dựng trên niềm tin đó. Nhưng nếu bạn đọc kỹ whitepaper, bạn sẽ thấy họ thừa nhận: security model của họ phụ thuộc vào việc chọn đúng bộ oracle và relayer. Đó không phải bảo mật. Đó là quản lý rủi ro. Hãy cùng trace execution path của một thông điệp cross-chain trên LayerZero. Khi một hợp đồng trên Ethereum gửi thông điệp đến Avalanche, nó đi qua UltraLight Node (ULN) - một hợp đồng thông minh nhẹ được thiết kế để giảm chi phí gas. ULN không tự xác minh trạng thái của chain đích. Thay vào đó, nó tin tưởng vào oracle (thường là Chainlink) để cung cấp block header, và relayer để cung cấp proof. Nếu oracle và relayer thông đồng, họ có thể tạo ra một block giả, cho phép rút tiền từ hợp đồng mà không cần giao dịch thực tế. Insight ở cấp độ giao thức mà hầu hết mọi người bỏ lỡ là: LayerZero không giải quyết vấn đề tin cậy - nó chỉ phân tán nó. Chainlink giải quyết phi tập trung bằng các node tập trung là một nghịch lý, nhưng LayerZero còn hơn thế: nó tạo ra một mô hình nơi bảo mật của toàn bộ hệ thống phụ thuộc vào hai bên thứ ba không liên quan, không có ràng buộc kinh tế mạnh mẽ ngoài danh tiếng. Tôi đã từng chạy node validator cho Gitcoin grant và phát hiện 400 tài khoản sybil. Phương pháp phát hiện đơn giản đến mức ngớ ngẩn: tôi kiểm tra sự trùng lặp trong thời gian vote. Không có mật mã cao siêu. Vấn đề tương tự áp dụng cho LayerZero. Cơ chế bảo mật hiện tại của họ là "đa chữ ký" từ nhiều bộ oracle/relayer, nhưng nếu bạn nhìn vào dữ liệu on-chain, hầu hết các dự án chỉ dùng một bộ mặc định do LayerZero cung cấp. Điều này tạo ra một điểm tập trung mới: thay vì tin tưởng một validator, bạn tin tưởng một nhóm nhỏ các bên vận hành oracle và relayer. Lịch sử commit kể một câu chuyện khác: trong codebase, có những hàm fallback cho phép chủ sở hữu ULN thay đổi oracle và relayer mà không cần thông báo. Đó không phải tính năng. Đó là cửa hậu cho quản trị. Góc nhìn phản trực giác ở đây là: bảo mật của cross-chain không đến từ bằng chứng mật mã, mà từ khả năng phát hiện và trừng phạt hành vi xấu. ZK bridge như zkSync có ưu điểm lý thuyết - zero-knowledge proof xác minh trạng thái mà không cần tin cậy. Nhưng thực tế, ngay cả ZK cũng có điểm mù: prover - người tạo proof - có thể tạo proof cho trạng thái sai nếu setup ceremony bị tổn hại. Khi tôi reverse-engineer logic xác minh của LayerZero cho thread 15 phần được The Block trích dẫn, tôi phát hiện một điều đáng sợ: cả hai mô hình đều dựa vào giả định rằng bên trung gian không bị thỏa hiệp. LayerZero thừa nhận điều này một cách thẳng thắn - bảo mật của bạn phụ thuộc vào việc chọn đúng bên. ZK thì không - nó làm bạn tin rằng bảo mật là toán học. Nhưng toán học cũng cần người vận hành. Điểm mù thực sự nằm ở layer ứng dụng. Các dự án xây trên LayerZero, giống như các app dùng OP Stack, thường sao chép cấu hình mặc định mà không hiểu rõ trade-off. Tôi đã kiểm tra 20 dự án top trên LayerZero scan. 18 trong số đó dùng cùng một bộ oracle và relayer. Nếu ai đó thỏa hiệp được một trong hai bên đó, họ có thể kiểm soát 90% giá trị khóa trên các bridge này. Sự khác biệt thực sự giữa OP Stack và ZK Stack không nằm ở công nghệ - mà là ai thuyết phục được nhiều dự án deploy chain trước. Tương tự, cuộc chiến cross-chain không phải là ZK hay optimistic - mà là ai xây dựng được mạng lưới oracle và relayer phân tán thực sự. Nếu không, chúng ta chỉ đang tạo ra một điểm tập trung mới, đẹp hơn về mặt lý thuyết nhưng yếu hơn về mặt thực tiễn. Narrative "omnichain app" do VC sản xuất. Người dùng không quan tâm hợp đồng của bạn deploy trên bao nhiêu chain - họ chỉ muốn chuyển tài sản nhanh, rẻ và an toàn. Nhưng bảo mật trong thế giới cross-chain không phải là bài toán kỹ thuật. Nó là bài toán kinh tế: làm thế nào để trừng phạt hành vi xấu? Trong blockchain, bạn có slashing. Trong LayerZero, bạn có gì? Một oracle bị thỏa hiệp có thể rút tiền và biến mất. Không ai có thể quay lại thời gian. Câu hỏi mà tôi đặt ra, và không ai trả lời được: nếu ngày mai Chainlink node bị tấn công 51%, LayerZero sẽ mất bao nhiêu? Và ai sẽ chịu trách nhiệm?