Kiểm toán hợp đồng thông minh

Hai cách kiểm toán

Cùng phương pháp, cùng nhà nghiên cứu. Nâng cao chứng minh lỗi trên trạng thái thật.

• Mã nguồn

  Mỗi dòng được 2 nhà nghiên cứu đọc.

  từ 1.000 US$

  • 2 nhà nghiên cứu cấp cao
  • Pentest AI bằng nonce-sc-1 trên từng dòng
  • 404 mục kiểm tra trên 10 mạng
  • Phân tích tĩnh và fuzzing trong sandbox
  • Mỗi phát hiện được xác nhận qua 3 lượt đánh giá
  • Bằng chứng offline cho mọi lỗi nghiêm trọng và cao
  • Bao gồm rà soát bản sửa
  • PDF, markdown cho agent, cổng thông tin
  Nhận báo giá

• Nâng cao

  Cho giao thức đã triển khai

  Khai thác được chứng minh trên trạng thái mainnet.

  từ 2.000 US$

  • Mọi thứ trong gói Mã nguồn
  • 3 nhà nghiên cứu cấp cao
  • nonce-sc-1 pentest các hợp đồng đã triển khai
  • Khai thác EVM được chứng minh trên fork mainnet
  • Mô phỏng tấn công oracle và thanh khoản
  • Fuzzing bất biến trên trạng thái mainnet
  • Rà soát script deploy và khóa admin
  • Đối chiếu mã đã deploy, đọc lại hằng ngày
  Nhận báo giá

Giá cuối cùng tính theo số dòng mã, chuỗi và thời hạn, gửi trong vòng 12 giờ.

Ba bước

1. 1

   Gửi repo

   Một email và một đường dẫn.

2. 2

   Nhận giá cố định

   Chưa đầy 12 giờ.

3. 3

   Sửa trên portal

   Chúng tôi xác minh mọi bản sửa.

Mạng lưới chúng tôi kiểm toán