Công ty kiểm toán hợp đồng thông minh

Tư vấn khách hàng giới thiệu để thu thập yêu cầu

• Tham vấn sơ bộ với khách hàng trước khi bắt đầu quá trình kiểm toán.
• Hiểu các yêu cầu chức năng và logic kinh doanh.
• Xem qua Sách trắng và Sách vàng của dự án.
• Thu thập các mẫu thiết kế mã để biết hành vi mong muốn của các hợp đồng thông minh.

Phân tích mã tĩnh và động

Thực hiện nhiều quy trình phân tích khác nhau và thực hiện đánh giá mã bằng các công cụ tự động có hơn 150 trình phát hiện lỗ hổng để xác định:

• Lỗi tiềm ẩn
• Mã độc
• Các vấn đề biên soạn

Kiểm tra mã có điều kiện

• Triển khai và thử nghiệm hợp đồng thông minh trên môi trường sandbox cục bộ.
• Kiểm tra giới hạn gas và ngăn ngừa việc tiêu thụ gas không cần thiết.

Xác minh mã thủ công

Thực hiện kiểm tra từng dòng của hợp đồng thông minh để tìm ra các mối đe dọa như:

• Sự phụ thuộc dấu thời gian
• Cuộc gọi bên ngoài
• Sự từ chối của dịch vụ tấn công

Xác minh logic kinh doanh

Chúng tôi sử dụng các công cụ kiểm tra để xác minh xem hệ thống có được thiết kế theo logic nghiệp vụ hay không. Quy trình này bao gồm:

• Xác minh biểu đồ luồng hợp đồng thông minh theo logic kinh doanh (sử dụng các công cụ kiểm toán như Surya)
• Thực hiện các kịch bản kiểm tra/kết thúc chức năng theo yêu cầu kinh doanh
• Xác định sự tập trung hóa và nhiều rủi ro khác liên quan đến logic kinh doanh và đề xuất các giải pháp khả thi.

Nộp báo cáo kiểm toán ban đầu và sửa lỗi

• Chia sẻ bản thảo đầu tiên của báo cáo kiểm toán với khách hàng, nêu bật những rủi ro và các bước thực hiện trong suốt quá trình.
• Cung cấp các giải pháp khả thi để khắc phục các lỗi đã xác định.
• Ba lần kiểm tra miễn phí sau khi hoàn tất sửa lỗi từ phía khách hàng.

Tạo và cung cấp báo cáo kiểm toán cuối cùng

• Sau khi khách hàng đồng ý thực hiện tất cả các bản sửa lỗi, chúng tôi sẽ tạo báo cáo kiểm tra cuối cùng chi tiết bao gồm tất cả các rủi ro và lỗ hổng đã ghi lại cũng như trạng thái của chúng.
• Cung cấp báo cáo đầy đủ kèm theo hướng dẫn về lỗ hổng bảo mật và phương pháp xác minh liên tục.