DApps xử lý tài sản người dùng thông qua các giao dịch trên chuỗi, khiến cho các dự án có lỗ hổng trong các hợp đồng thông minh quản lý của họ dễ bị rủi ro quan trọng.
Ứng dụng phi tập trung (DApps) xử lý tài sản người dùng thông qua các giao dịch trên chuỗi, làm cho các dự án có lỗ hổng trong các hợp đồng thông minh quản lý của họ dễ gặp rủi ro quan trọng, như việc rút tài sản người dùng hoặc tài sản tổng cộng mà không được ủy quyền. Nhằm ngăn chặn, cuộc kiểm toán hợp đồng thông minh thực hiện. Tuy nhiên, người dùng của các công ty kiểm toán lớn hiện có phải đối mặt với một số thách thức:
Những thách thức này được quy cho việc kiểm toán được thực hiện bởi con người. Ví dụ, một phần đáng kể của chi phí cao mà các công ty kiểm toán thu phí dành cho những kiểm toán viên chuyên nghiệp. Hơn nữa, kiểm toán viên con người có thể bỏ quên chi tiết, và quy trình có thể mất thời gian. Như một giải pháp, các công ty kiểm toán được trang bị trí tuệ nhân tạo (AI) đã bắt đầu xuất hiện.
Công việc của các công ty kiểm toán có thể được phân loại chung thành hai phần:
Thường thì, con người xem xét mã nguồn hợp đồng thông minh để kiểm tra lỗ hổng. Tuy nhiên, kiến thức và khả năng phát hiện những mẫu lỗ hổng lỗ hổng khác nhau giữa các kiểm toán viên, dẫn đến khả năng lãng quên tiềm ẩn do sai sót của con người. Vì vậy, câu hỏi đặt ra: Làm thế nào AI có thể giải quyết những vấn đề này?
A: Tổng quan về quan điểm kiểm toán
Là một ví dụ tiêu biểu của các công ty kiểm toán dựa trên trí tuệ nhân tạo, Bunzz Audit mạnh dạn về một cơ sở dữ liệu bao gồm một loạt các mẫu lỗ hổng, áp dụng một phương pháp kiểm toán quét mã từ mọi khía cạnh có thể có. Phương pháp này cho phép tính toàn diện và độ chính xác trong việc chỉ ra các lỗ hổng mà mà con người sẽ không thể làm được.
Đội ngũ Bunzz tuyên bố:
"Kết quả nghiên cứu và phát triển của chúng tôi đã dẫn chúng tôi đến kết luận rằng một cơ sở dữ liệu cộng với tiếp cận AI phù hợp hơn để phát hiện những mẫu lỗ hổng hơn con người."
Bunzz Audit đã công bố một bản so sánh giữa kiểm toán dựa trên trí tuệ nhân tạo và kiểm toán con người.
Đây là một báo cáo dựa trên trí tuệ nhân tạo về việc kiểm toán của một giao thức mang tên Lockon, cho phép đầu tư tỷ trọng trong tiền điện tử. Báo cáo được tạo ra trong khoảng 48 giờ. Nhóm Lockon bất ngờ khi biết rằng đây là một báo cáo dựa trên trí tuệ nhân tạo vì họ thấy các điểm về lỗ hổng là chính xác.
B: Chi phí và thời gian của kiểm toán
Các công ty kiểm toán truyền thống sử dụng hàng chục kiểm toán viên chuyên nghiệp, trong khi các công ty kiểm toán dựa trên trí tuệ nhân tạo không có "kiểm toán viên" theo nghĩa truyền thống. Thay vào đó, một số ít chuyên gia về hợp đồng thông minh xem xét kết quả do AI sản xuất, giảm chi phí kiểm toán đến khoảng một phần mười so với các công ty truyền thống. Các công ty kiểm toán có thể hoàn thành kiểm toán trong khoảng 24 đến 48 giờ, so với khoảng hai tuần đối với các công ty truyền thống, từ đó nén thời kỳ kiểm toán theo hệ số mười.
Tuy nhiên, liệu kiểm toán dựa trên trí tuệ nhân tạo có phải là giải pháp tốt nhất không? Cũng có nhược điểm.
Trong các kiểm toán bao gồm việc trỏ ra các lỗ hổng logic cụ thể của dự án và các không đồng nhất vận hành liên quan đến ngữ cảnh của dự án. Ngữ cảnh này không được lập trình vào mã nguồn hợp đồng mà tồn tại trong thông tin ngoại chuỗi như bài trắng và tài liệu hướng dẫn.
Nếu không đưa thông tin này vào AI, kiểm tra về logic cụ thể của dự án không thể được tiến hành. Do đó, một số dịch vụ kiểm toán dựa trên trí tuệ nhân tạo chỉ giải quyết phần này thông qua kiểm toán viên con người, cung cấp một kiểm toán toàn diện hơn.
Mặc dù các cuộc kiểm toán dựa trên trí tuệ nhân tạo ch
Nguồn: Cointelegraph