Quỹ Ethereum: Nút thắt kiểm toán AI đã chuyển từ phát hiện lỗ hổng sang xác minh lỗ hổng

robot
Đang tạo bản tóm tắt

Wu cho biết, nhóm bảo mật giao thức của Ethereum Foundation đã đăng bài viết tổng kết phương pháp và kinh nghiệm sử dụng tác nhân AI để kiểm toán mã giao thức Ethereum. Nhóm cho biết, tác nhân AI đã phát hiện các lỗ hổng bảo mật thực tế, bao gồm lỗ hổng kích hoạt từ xa của libp2p Gossipsub (CVE-2026-34219), nhưng nút thắt chính của kiểm toán bảo mật đã chuyển từ phát hiện lỗ hổng sang xác minh tính xác thực của lỗ hổng.

Bài viết cho rằng AI phù hợp hơn với vai trò công cụ tìm kiếm lỗ hổng thay vì người phán quyết cuối cùng. AI có thế mạnh trong việc kết hợp mã và đặc tả để phát hiện lỗ hổng tiềm năng, xác minh bất biến bảo mật và tạo mã tái hiện lỗ hổng, nhưng cũng dễ đánh giá nhầm các chuỗi gọi không thể truy cập là có thể truy cập, phóng đại mức độ nghiêm trọng của lỗ hổng, và hạn chế trong việc nhận diện lỗ hổng đòi hỏi nhiều bước hợp lệ theo một thứ tự cụ thể. Do đó, nhóm yêu cầu tất cả các lỗ hổng ứng viên phải có khả năng tái hiện độc lập trong mã thực, được xác minh và loại trùng lặp độc lập, cuối cùng do con người xác nhận xem lỗ hổng có hợp lệ không, có phải báo cáo trùng lặp không và thời điểm công bố.

ETH2,22%
Xem bản gốc
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
  • Phần thưởng
  • 3
  • 2
  • Retweed
Bình luận
Thêm một bình luận
Thêm một bình luận
GovernanceVotingTug-Of-WarKing
· 8giờ trước
Kiểm toán AI tìm lỗ hổng nhanh, nhưng khâu xác thực mới là kỹ năng thực sự.
Xem bản gốcTrả lời0
L2ArbitrageYoungster
· 8giờ trước
Việc con người kiểm soát cuối cùng thời điểm tiết lộ là rất quan trọng, nếu không thì việc tiết lộ gây hoảng loạn còn gây hại hơn cả bản thân lỗ hổng.
Xem bản gốcTrả lời0
SoftRugDetective
· 8giờ trước
CVE của libp2p khá thú vị, kích hoạt đa bước đúng là vấn đề nan giải cũ.
Xem bản gốcTrả lời0
  • Đã ghim