Quỹ Arbitrum sẽ bắt đầu triển khai chương trình hỗ trợ chi phí kiểm toán hợp đồng thông minh cho các dự án trong hệ sinh thái từ ngày 1/10/2026. Chương trình dự kiến hoạt động trong một năm, với điều kiện ngân sách chưa được sử dụng hết.
Trong đề xuất chính thức, Quỹ Arbitrum cho biết chương trình hỗ trợ kiểm toán hiện có sẽ được mở rộng để bao gồm kiểm tra sơ bộ bằng AI, kiểm toán chuyên sâu, chương trình săn lỗi và hỗ trợ Ủy ban Bảo mật ArbitrumDAO. Chương trình sẽ sử dụng ngân sách còn lại của chương trình kiểm toán hiện tại mà không yêu cầu khoản ngân sách mới.
Các dự án đang phát triển trên nền tảng Arbitrum(ARB) có thể đăng ký hỗ trợ. Đối tượng bao gồm ứng dụng trên testnet, dự án trên mainnet, dự án chuyển từ blockchain khác sang Arbitrum và các đội ngũ xây dựng blockchain chuyên biệt trên Arbitrum.
Đối tượng kiểm toán là mã hợp đồng thông minh. Mã mới hoặc mã được sửa đổi đáng kể sẽ được ưu tiên, còn việc hỗ trợ sẽ được quyết định sau quá trình đăng ký và đánh giá.
Chương trình trước đây tập trung giảm gánh nặng chi phí kiểm toán bên ngoài cho các dự án giai đoạn đầu. Quỹ Arbitrum giải thích rằng hợp đồng thông minh khó sửa đổi sau khi phát hành, trong khi lỗi mã có thể dẫn đến thất thoát tài sản, nên việc kiểm tra trước khi triển khai là cần thiết.
Chương trình kiểm toán hiện có đã hoàn tất 18 cuộc kiểm toán và rà soát 71.366 dòng mã, qua đó phát hiện 385 lỗ hổng. Trong số này có 13 lỗ hổng nghiêm trọng và 40 lỗ hổng rủi ro cao. Quỹ cho biết các lỗ hổng này đã được khắc phục trước khi triển khai trên mainnet.
Điểm đáng chú ý của lần cải tổ này là hợp nhất các quy trình bảo mật trước và sau kiểm toán vào một chương trình duy nhất. Tất cả dự án được hỗ trợ sẽ được kiểm tra bảo mật bằng AI trước khi tiến hành kiểm toán chính thức.
Đối với các đội ngũ ở giai đoạn đầu, chương trình cũng sẽ thúc đẩy phương án chỉ cung cấp kiểm tra bằng AI với chi phí tương đối thấp. Quỹ dự kiến thử nghiệm song song 5 công cụ AI và so sánh kết quả.
Chương trình cũng bao gồm hoạt động săn lỗi dành cho các hợp đồng thông minh của Arbitrum One và Arbitrum Nova. Săn lỗi là cơ chế trao thưởng cho những người phát hiện và báo cáo lỗ hổng bảo mật.
Quy trình hỗ trợ mã của các dự án trong hệ sinh thái được tách biệt với quy trình hỗ trợ giao thức cốt lõi Arbitrum. Mã dự án sẽ được xử lý thông qua kiểm tra bằng AI và kiểm toán chuyên sâu, trong khi giao thức cốt lõi tiếp nhận báo cáo lỗ hổng thông qua chương trình săn lỗi.
Hỗ trợ Ủy ban Bảo mật ArbitrumDAO cũng được đưa vào chương trình. Đây là cơ quan do DAO bầu ra, có nhiệm vụ ứng phó khi xảy ra tình huống khẩn cấp tại các giao thức đang vận hành.
Quỹ Arbitrum hướng tới xây dựng cơ cấu quản lý không chỉ mã của từng dự án mà còn cả hệ thống bảo mật cốt lõi mà toàn bộ hệ sinh thái phụ thuộc. Tuy nhiên, phương thức hỗ trợ sẽ khác nhau tùy theo đặc điểm của từng dự án và giao thức cốt lõi.
Chương trình sẽ được vận hành bằng ngân sách còn lại của chương trình kiểm toán hiện tại mà không yêu cầu khoản ngân sách mới. Do đó, phạm vi hỗ trợ sẽ được quyết định dựa trên mã nguồn của dự án đăng ký và kết quả đánh giá.
Việc đăng ký sẽ được tiếp nhận liên tục từ ngày 1/10. Quỹ Arbitrum dự kiến trình ArbitrumDAO các báo cáo minh bạch theo quý và báo cáo cuối kỳ.
Phạm vi mở rộng thực tế của chương trình mới, bao gồm kiểm tra sơ bộ bằng AI, kiểm toán chuyên sâu và săn lỗi, sẽ được xác định thông qua quá trình tiếp nhận hồ sơ và các báo cáo theo quý.
Bình luận 0