DxDLabs

DXD Labs

Security Suite
|
Yêu Cầu Kiểm Toán
Yêu Cầu Kiểm Toán
+
+
[SYS_BLOCK: 0x4fc2..7a]
[PROVER_STATUS: VERIFYING]
DXD SKYNET — LIVE MONITORING

The Leading Smart Contract
Security Firm for Sui Move

Chúng tôi bảo vệ hệ sinh thái Sui thông qua các cuộc kiểm toán thủ công chuyên sâu, quét tĩnh tự động và đặc tả toán học kiểm chứng (Formal Verification).

Xem Dự Án Đã Audit →
CONTRACT_NODEVAULT_LOCKstruct TreasuryCap0x2::coin::mintCONTRACT_NODEFLASH_LOANHotPotato::Receiptpublic fun borrowCONTRACT_NODEORACLE_FEEDdynamic_field0x2::dynamic_objectCONTRACT_NODEAUTH_GUARDTxContext::senderpublic fun entrySYS_SCAN: ACTIVEGRID_SEC: OK

ĐƯỢC TIN CẬY BỞI CÁC PROTOCOL HÀNG ĐẦU TRÊN SUI

NP
NAVI Protocol
MA
Madurocoin
SC
Strain Coin
PU
Pepe Unchained
+
+
[LOC: SUI_MAINNET_1.64]
[STATS: ACTIVE]
SECURED
$2.4B+
TVL Được Bảo Mật
4
Protocols Đã Kiểm Toán
30+
Lỗ Hổng Đã Phân Loại
100%
Sui Move Native

QUY TRÌNH KIỂM TOÁN CHUẨN MỰC

01
01

01. Gửi Yêu Cầu

Chia sẻ mã nguồn GitHub repo hoặc các file .move cần kiểm duyệt.

02
02

02. Phân Tích Sâu

Kết hợp quét tĩnh tự động và kiểm duyệt thủ công từng dòng code.

03
03

03. Đánh Giá Lại

Cung cấp báo cáo nháp và hỗ trợ hướng dẫn nhà phát triển sửa lỗi.

04
04

04. Cấp Chứng Nhận

Bàn giao báo cáo PDF chính thức được chứng nhận bảo mật bởi DXD Labs.

Bộ Công Cụ Bảo Mật Lõi

Kết hợp giữa phân tích tự động, kiểm tra thủ công và chứng minh toán học chuyên sâu.

Scanner Console Preview

Sui Move Static Scanner

Quét tĩnh mã nguồn tự động dựa trên các rule-set bảo mật được tổng hợp từ thực tế.

module dxd_security::verify {
// Check flash loan repayment
spec borrow_flash_loan {
aborts_if !loan_returned;
}
}
Quét mã Move
BVSS Scoring System

BVSS Scorecard

Bộ tính điểm rủi ro bảo mật Move tùy chỉnh dựa trên mô hình BVSS chuyên sâu cho blockchain.

91.2
Tính điểm bảo mật
Vulnerability Registry

Sổ Tay Lỗ Hổng (Playbook)

Tra cứu danh sách hơn 30+ ca exploit thực tế (Cetus, NAVI, Scallop) kèm mã lỗi DXD-SUI chuẩn.

● DXD-SUI-001 [Critical]
● DXD-SUI-005 [High]
● DXD-SUI-012 [Medium]
Xem kho playbook
Markdown Report Compiler

Trình Tạo Báo Cáo (Report)

Biên dịch nhanh chóng kết quả đánh giá bảo mật thành báo cáo chuyên nghiệp chuẩn Markdown/PDF.

# DXD Security Audit Report
## 1. Executive Summary
Project Name: Cetus Pool Integration
Security Score: 94/100 (AAA SECURE)
Biên dịch báo cáoXem báo cáo mẫu

DANH MỤC DỰ ÁN ĐƯỢC KIỂM TOÁN

Các dự án và protocol đã được bảo mật trên mạng lưới Sui Mainnet.

#Dự ÁnĐiểm SốTrạng TháiThời GianBáo Cáo
1
NP
NAVI Protocol
91/100		AN TOÀNMar 2026Xem Report →
2
MA
Madurocoin
94/100		AN TOÀNJan 2026Xem Report →
3
SC
Strain Coin
88/100		AN TOÀNJan 2026Xem Report →
4
PU
Pepe Unchained
85/100		AN TOÀNJan 2026Xem Report →

Danh Mục Các Pattern Đã Được Xác Minh (Formal Proof)

Các pattern lõi đã được kiểm chứng toán học bằng Move Prover, loại bỏ hoàn toàn khả năng xảy ra lỗi logic.

ĐÃ XÁC MINH
Safe Transfer Proof (Không double-spend trong chuyển khoản)Đặc tả toán học chứng minh bằng Move Prover — Formal Proofs
ĐÃ XÁC MINH
Flash Loan Safe (Bắt buộc hoàn trả khoản vay nóng trong cùng TX)Đặc tả toán học chứng minh bằng Move Prover — Formal Proofs
ĐÃ XÁC MINH
Spend Limit Enforcer (Không cho phép chi tiêu vượt hạn mức)Đặc tả toán học chứng minh bằng Move Prover — Formal Proofs
ĐÃ XÁC MINH
Agent Tool Call Guard (Ngăn chặn gọi tool trái phép)Đặc tả toán học chứng minh bằng Move Prover — Formal Proofs
Được tin dùng bởi các dự án hàng đầu trên Sui Mainnet

Bảng Giá Dịch Vụ & Công Cụ

Phù hợp cho cả cá nhân phát triển độc lập lẫn các protocol DeFi cấp doanh nghiệp.

Freemium Toolkit

Miễn phí

Công cụ cơ bản dành cho lập trình viên cá nhân học tập và tự quét.

  • 30+ snippets an toàn và dễ bị tổn thương
  • Checklist bảo mật Move & DeFi cơ bản
  • Công cụ CLI Static Scanner cục bộ
  • Truy cập Cơ sở dữ liệu lỗ hổng công khai
Trải Nghiệm Scanner →
POPULAR

Premium Toolkit

$49/tháng
Early Bird: $29/tháng tới 31/01/2026

Nâng cao quy trình kiểm toán tự động của bạn với AI.

  • Full 60+ snippets nâng cao (Private registry)
  • Trình tạo báo cáo tự động bằng AI (AI-assisted compiler)
  • Tự động phát hiện lỗi logic nghiệp vụ & đề xuất code sửa
  • Tích hợp GitHub PR comments tự động
Bắt Đầu Ngay

Full Audit Service

Nhận Báo Giá

Dịch vụ audit thủ công chuyên sâu bởi chuyên gia DXD Labs.

  • Audit thủ công 100% dòng code bởi Senior Auditor
  • Viết đặc tả Move Prover riêng cho giao thức
  • Hỗ trợ Re-audit trọn đời sau khi dự án fix lỗi
  • Hỗ trợ kỹ thuật 24/7 trực tiếp qua Telegram/Slack