Chuyển đến nội dung
nonce.

Kiểm toán boutique.AI hỗ trợ, con người kiểm chứng.

Mô hình riêng của chúng tôi đọc từng dòng trước. Nhà nghiên cứu cấp cao chứng minh và ký từng phát hiện. Giá cố định trong chưa đầy 12 giờ, báo cáo trong 3 ngày.

Nhận báo giá

Năm vụ khai thác có thật lần lượt phát lại: mỗi hợp đồng tự gõ ra, bản quét đánh dấu lỗ hổng, và một ghi chú cho biết thiệt hại và cách sửa.

  • The DAO, 2016-06-17: Bị rút 3,6 triệu ETH. splitDAO trả thưởng qua lệnh gọi bên ngoài trước khi đưa số dư về 0, nên kẻ tấn công vào lại và chia cùng số token hết lần này đến lần khác. Đưa số dư về 0 trước mọi lệnh gọi bên ngoài.
  • Parity Multisig, 2017-11-06: Đóng băng 513.774 ETH. Thư viện dùng chung chưa từng được khởi tạo, nên ai cũng có thể gọi initWallet, thành chủ sở hữu rồi hủy nó bằng kill. Mọi ví ủy quyền cho nó đều bị đóng băng. Khởi tạo thư viện khi triển khai và không cho nó tự hủy.
  • Wormhole, 2022-02-02: 120.000 wETH, ~325 triệu USD. verify_signatures đọc kết quả kiểm tra chữ ký từ một tài khoản do bên gọi chọn và không xác nhận đó là sysvar instructions. Một tài khoản giả đã lọt qua như sự phê duyệt đầy đủ của guardian. Dùng load_instruction_at_checked, hàm kiểm tra địa chỉ sysvar.
  • Nomad Bridge, 2022-08-01: Bị rút ~190 triệu USD. Một bản nâng cấp đặt root tin cậy thành 0x00. Tin nhắn chưa chứng minh cho ra 0x00, nên process chấp nhận mọi tin nhắn, và hàng trăm kẻ bắt chước đã lặp lại tin đầu tiên. Không bao giờ xác nhận root bằng 0 và từ chối tin nhắn chưa chứng minh.
  • Euler Finance, 2023-03-13: Bị rút ~197 triệu USD. donateToReserves đốt eToken mà không kiểm tra người quyên góp còn khả năng thanh toán. Kẻ tấn công quyên góp đến mức nợ xấu, rồi tự thanh lý mình với giá chiết khấu. Kiểm tra thanh khoản sau khi quyên góp, như với các lệnh rút khác.
cuộc kiểm toán
180
lỗi nghiêm trọng đã phát hiện
63
để có báo giá
12 giờ
để có báo cáo
3 ngày

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

EVM9

  • EthereumSolidity, Vyper
  • ArbitrumSolidity, Vyper
  • OptimismSolidity, Vyper
  • BaseSolidity, Vyper
  • PolygonSolidity, Vyper
  • BNB ChainSolidity, Vyper
  • AvalancheSolidity, Vyper
  • LineaSolidity, Vyper
  • ScrollSolidity, Vyper

Solana1

  • SolanaRust, Anchor

Move2

  • SuiMove
  • AptosMove

ZK3

  • zkSyncSolidity, Vyper
  • StarknetCairo
  • Polygon zkEVMSolidity, Vyper
  • MạchCircom, Noir

Chuỗi khác3

  • CosmosCosmWasm, Rust
  • StellarSoroban, Rust
  • TONTact, FunC, Tolk

Chúng tôi kiểm toán gì

  • 19 // Burn DAO Tokens
    20 Transfer(msg.sender, 0, balances[msg.sender]);
    21 withdrawRewardFor(msg.sender); // be nice, and get his rewards
    22 totalSupply -= balances[msg.sender];
    23 balances[msg.sender] = 0;
    24 paidOut[msg.sender] = 0;
    25 return true;
    CaoH-01Số dư được ghi sau lệnh gọi bên ngoài
  • EVM1-3 ngày
  • Solana2-3 ngày
  • Move1-3 ngày
  • Ứng cứu sự cốTrong vòng 2 giờ

Mô hình của riêng chúng tôi

nonce-sc-1

Chúng tôi tinh chỉnh DeepSeek-V4.1 trên 2.140 vụ khai thác thật và 380 bài pentest của chính mình. Mô hình đọc từng dòng trước nhà nghiên cứu; mọi phát hiện nó nêu ra đều được nhà nghiên cứu chứng minh và ký.

Mô hình gốc
DeepSeek-V4.1
Huấn luyện trên
2.140 vụ khai thác và 380 bài pentest
Trong một cuộc kiểm toán
Mô hình đọc trước, rồi đến người

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.

Kiểm toán của bạn trong cổng thông tin

Thấy lỗi nào, báo ngay lỗi đó.
Sửa xong lỗi nào, cập nhật ngay.

Đăng nhập

Nhận giá cố định trong chưa đầy 12 giờ

Nhận báo giá