Bảo đảm tính toàn vẹn của giao thức blockchain thông qua các nguyên thủy mã nguồn mở và chương trình thưởng lỗi @immunefi, @commonwarexyz, @arbitrum Tính toàn vẹn của giao thức blockchain không phải là một đặc tính có thể hoàn tất thông qua một lần kiểm tra hay đánh giá tại một thời điểm cụ thể, mà thay vào đó là một đặc tính cần được duy trì và kiểm tra liên tục theo thời gian. Các hệ thống blockchain hiện đại có cấu trúc gồm nhiều thành phần kết nối với nhau, đặc biệt là trong các giải pháp mở rộng như rollup, nơi môi trường thực thi, cầu nối, sequencer, và cơ chế xác minh được liên kết chặt chẽ với nhau. Trong môi trường này, ngay cả khi mã được viết một cách tinh vi, các lỗ hổng mới có thể xuất hiện do các bản cập nhật, thay đổi cấu hình, hoặc thay đổi trong cấu trúc động lực kinh tế. Vì vậy, các cuộc kiểm toán một lần có ý nghĩa trong việc kiểm tra trạng thái mã tại một thời điểm cụ thể, nhưng rõ ràng có giới hạn khi nói đến việc đảm bảo tính toàn vẹn của giao thức trong thời gian dài. Ví dụ thực tế từ hoạt động của Arbitrum minh họa rõ đặc điểm này. Stack sản phẩm của Arbitrum bao gồm môi trường thực thi Nitro, hợp đồng một bước chứng minh (onestep prover), cơ sở hạ tầng cầu nối đảm nhận việc di chuyển tài sản giữa các lớp, logic sequencer xác định thứ tự giao dịch, và cơ chế chứng minh gian lận. Các yếu tố này không tồn tại riêng lẻ mà tương tác với nhau để tạo thành một hệ thống thống nhất. Bản cập nhật ArbOS 31 Bianca vào tháng 3 năm 2024 đã ảnh hưởng đồng thời đến Arbitrum One và Arbitrum Nova, cho thấy một bản cập nhật đơn lẻ có thể gây ra những thay đổi dây chuyền trên nhiều thành phần mạng. Thêm vào đó, Arbitrum đã thực hiện sáu bản cập nhật lớn ArbOS từ năm 2024 đến 2026, duy trì chu kỳ phát triển nhanh với việc triển khai trên mainnet trong khoảng thời gian tương đối ngắn sau khi phát hành trên testnet. Tốc độ này tạo ra một môi trường mà các quy trình kiểm toán truyền thống khó có thể theo kịp, dẫn đến việc mã chưa được kiểm toán có thể được sử dụng trong môi trường vận hành thực tế. Ngoài ra, việc chỉ dựa vào việc xem xét mã nguồn không đủ để dự đoán đầy đủ các cuộc tấn công có thể xảy ra trên mạng thực tế, điều này đã được chứng minh qua nhiều trường hợp. Vụ hack cầu nối Wormhole vào tháng 2 năm 2022 và lỗ hổng cầu nối Polygon Plasma vào tháng 12 năm 2021 đều xảy ra trên mã đã được kiểm toán, và các hacker đã tìm ra các con đường tấn công động dựa trên động lực kinh tế thay vì các lỗi trong mã. Điều này rõ ràng cho thấy tính toàn vẹn của giao thức không chỉ giới hạn ở tính chính xác về mặt cú pháp của mã, mà còn là một khái niệm đa chiều bao gồm cấu trúc kinh tế, cách vận hành, và quy trình quản trị. Trong bối cảnh này, việc tái sử dụng các nguyên thủy blockchain mã nguồn mở đã trở thành một phần quan trọng trong chiến lược an ninh. Cách tiếp cận "khung chống" (anti-framework) do Commonware đề xuất không xây dựng một stack khổng lồ duy nhất, mà thay vào đó tách các chức năng cơ bản như mạng, đồng thuận, mật mã, lưu trữ, và kiểm thử thành các nguyên thủy mô-đun. Các nguyên thủy này được triển khai dưới dạng thư viện dựa trên Rust, bao gồm giao tiếp P2P đã được xác thực, thuật toán đồng thuận chịu lỗi Byzantine, chữ ký ngưỡng và tạo số ngẫu nhiên, giao diện lưu trữ trừu tượng, và các thành phần runtime hỗ trợ mô phỏng xác định. Mỗi nguyên thủy được phân loại theo mức độ ổn định thành các cấp độ Alpha, Beta, Gamma, Delta, và Epsilon, dựa trên phạm vi kiểm thử và kinh nghiệm sử dụng thực tế. Lợi ích lớn nhất của việc tái sử dụng nguyên thủy là giảm rủi ro trong việc triển khai. Ví dụ, thay vì triển khai trực tiếp cơ chế đồng thuận chịu lỗi Byzantine, việc sử dụng một nguyên thủy đồng thuận đã được xác minh về đặc tính toán học có thể giảm thiểu các lỗi triển khai lặp lại. Ngoài ra, các nguyên thủy có mức độ ổn định cao có mục tiêu kiểm toán và chương trình thưởng lỗi được xác định rõ ràng, giúp tập trung nguồn lực an ninh vào các logic cốt lõi. Môi trường mô phỏng xác định do runtime Commonware cung cấp cho phép tái tạo điều kiện mạng và thực hiện kiểm thử hồi quy giữa các phiên bản, đóng vai trò quan trọng trong việc duy trì tính toàn vẹn trong quá trình cập nhật. Tuy nhiên, cách tiếp cận này cũng đi kèm với rủi ro khác. Khi nhiều giao thức sử dụng cùng một nguyên thủy, việc một lỗ hổng xuất hiện có thể ảnh hưởng đến toàn bộ hệ sinh thái, tạo ra rủi ro đồng nhất hóa cấu trúc. Để giảm thiểu điều này, Commonware đã giới thiệu hệ thống cấp độ ổn định, tách biệt rõ ràng các giao diện, và khuyến khích các triển khai cạnh tranh cho cùng một giao diện.Không thể chối bỏ thực tế là rủi ro có thể tập trung ở cấp độ thiết kế, điều này khiến việc phát hiện liên tục các lỗ hổng trở thành yếu tố thiết yếu. Trong môi trường rollup, bề mặt yêu cầu tính toàn vẹn của giao thức là rất rộng. Trong trường hợp của Arbitrum, hợp đồng Nitro Prover có thể ẩn chứa lỗi toán học hoặc vấn đề tính toán gas, trong khi hợp đồng cầu nối kết nối L1 và L2 mang theo rủi ro nghiêm trọng như đánh cắp tiền hoặc chặn việc rút tiền. Lập trình sequencer tiềm ẩn khả năng lợi dụng bất hợp pháp thông qua kiểm duyệt hoặc sắp xếp lại giao dịch, và cơ chế quản trị cũng có thể bị tấn công thông qua việc thao túng đề xuất hoặc né tránh giới hạn thời gian. Thêm vào đó, về mặt vận hành, các yếu tố như sự gián đoạn của sequencer, thất bại trong quản lý khóa, và thiếu giám sát trực tiếp ảnh hưởng đến tính toàn vẹn. Để phát hiện liên tục các rủi ro đa dạng như vậy, chương trình thưởng lỗi (bug bounty) đóng vai trò quan trọng. Chương trình thưởng lỗi do Immunefi điều hành phân loại mức độ nghiêm trọng theo mức độ ảnh hưởng, và cung cấp phần thưởng bằng một tỷ lệ nhất định của tài sản rủi ro cho các lỗ hổng nghiêm trọng như đánh cắp tiền hoặc ngừng mạng. Cách tiếp cận này được thiết kế sao cho phần thưởng tăng theo quy mô mạng, từ đó định hướng dài hạn sự tương tác giữa các nhà nghiên cứu và giao thức. Ngoài ra, thông qua quy trình tiết lộ có trách nhiệm điều chỉnh thời điểm công bố, các lỗ hổng chỉ được công bố sau khi đã được sửa chữa, nhằm giảm thiểu thiệt hại cho người dùng. Tuy nhiên, chương trình thưởng lỗi không bao quát tất cả các rủi ro. Các cuộc tấn công kinh tế như khai thác MEV hoặc lỗi thiết kế động lực, các kịch bản lạm dụng quy trình quản trị, và các sai sót vận hành thường nằm ngoài phạm vi. Thực tế, sự kiện Wormhole cho thấy rằng ngay cả khi có khoản thưởng lớn được trao, sự cố vẫn không thể ngăn chặn hoàn toàn. Điều này cho thấy chương trình thưởng lỗi là một nguyên tố bảo mật quan trọng nhưng không phải là giải pháp hoàn chỉnh khi đứng một mình. Việc kết hợp các nguyên tố mã nguồn mở và chương trình thưởng lỗi tạo thành một hệ thống vòng đời duy trì tính toàn vẹn. Các nguyên tố này giảm thiểu khả năng lỗi trong giai đoạn triển khai và khi mức độ ổn định tăng lên, chúng trở thành mục tiêu cho việc xác minh bên ngoài và đánh giá có thưởng. Phạm vi chương trình thưởng lỗi của Arbitrum hiện giới hạn ở phiên bản triển khai đang hoạt động, điều này khuyến khích các nhà nghiên cứu tập trung vào mã thực sự có rủi ro. Khi phát hiện lỗ hổng, các trường hợp này được phản ánh vào các bài kiểm tra mô phỏng để đảm bảo rằng vấn đề tương tự không tái diễn ở các phiên bản sau. Trong quá trình này, cần nhận thức rõ ranh giới trách nhiệm. Người quản lý nguyên tố phải đảm bảo tính chính xác và tương thích trong phạm vi giao diện, trong khi người tích hợp có trách nhiệm kết hợp và vận hành chúng một cách an toàn trong môi trường thực tế. Dù giấy phép mã nguồn mở giới hạn trách nhiệm pháp lý, việc đảm bảo tính toàn vẹn thực chất phụ thuộc vào sự phân chia vai trò và hợp tác này. Quy trình điều phối thời điểm công bố lỗ hổng và phân phối bản vá cũng yêu cầu sự hợp tác giữa nhiều dự án. Quy trình quản trị và nâng cấp cũng là yếu tố cốt lõi trong việc duy trì tính toàn vẹn. Arbitrum quản lý rủi ro nâng cấp thông qua các biện pháp như giới hạn thời gian cho các đề xuất hiến pháp, thời gian thách thức tin nhắn L1, quyền khẩn cấp của hội đồng an ninh, và quy trình triển khai từng bước thông qua mạng thử nghiệm. Các quy trình này có thể được xem là nỗ lực cân bằng giữa phản ứng nhanh chóng và tính phân quyền. Cuối cùng, các nguyên tố blockchain mã nguồn mở và chương trình thưởng lỗi liên tục cho phép tiếp cận tính toàn vẹn giao thức như một quá trình liên tục thay vì một lần xác nhận. Các nguyên tố giúp giảm thiểu lỗi lặp lại, trong khi chương trình thưởng lỗi khuyến khích kiểm tra liên tục từ bên ngoài thông qua các động lực kinh tế. Ví dụ vận hành của Arbitrum cho thấy cách kết hợp này hoạt động như thế nào trong một mạng quy mô lớn, rõ ràng thể hiện rằng tính toàn vẹn không phải là trạng thái cố định mà là một thuộc tính cần được kiểm tra và duy trì liên tục. $ARB $ETH $XRP $POL