İçeriğe geç
nonce.

Butik denetimler.Yapay zeka destekli, insan doğrulamalı.

Her satırı önce kendi modelimiz okur. Kıdemli araştırmacılar her bulguyu kanıtlar ve imzalar. 12 saat içinde sabit fiyat, 3 gün içinde rapor.

Teklif alın

Beş gerçek exploit sırayla oynar: her kontrat kendini yazar, tarama açığı işaretler ve bir not neye mal olduğunu ve nasıl düzeltildiğini söyler.

  • The DAO, 2016-06-17: 3,6 milyon ETH çekildi. splitDAO ödülü bakiyeyi sıfırlamadan önce bir dış çağrıyla ödüyordu; saldırgan tekrar girip aynı tokenları defalarca böldü. Her dış çağrıdan önce bakiyeyi sıfırlayın.
  • Parity Multisig, 2017-11-06: 513.774 ETH donduruldu. Ortak kütüphane hiç başlatılmamıştı; herkes initWallet çağırıp sahibi olabilir ve kill ile yok edebilirdi. Ona yetki devreden her cüzdan dondu. Kütüphaneyi dağıtımda başlatın ve kendini imha yetkisi vermeyin.
  • Wormhole, 2022-02-02: 120.000 wETH, ~325 milyon $. verify_signatures imza kontrolünü çağıranın seçtiği bir hesaptan okuyor ve bunun instructions sysvar olduğunu hiç doğrulamıyordu. Sahte bir hesap tam guardian onayı gibi geçti. Sysvar adresini doğrulayan load_instruction_at_checked kullanın.
  • Nomad Bridge, 2022-08-01: ~190 milyon $ çekildi. Bir yükseltme güvenilen kökü 0x00 yaptı. Kanıtlanmamış bir mesaj 0x00 verir; process her mesajı kabul etti ve yüzlerce taklitçi ilkini tekrarladı. Sıfır kökü asla onaylamayın ve kanıtlanmamış mesajları reddedin.
  • Euler Finance, 2023-03-13: ~197 milyon $ çekildi. donateToReserves, bağışçının ödeme gücünü korumasını kontrol etmeden eToken yaktı. Saldırgan bağışla kötü borca girdi, sonra kendini indirimle tasfiye etti. Diğer çekimlerde olduğu gibi bağıştan sonra likiditeyi kontrol edin.
denetim
180
kritik bulgu
63
içinde teklif
12 saat
içinde rapor
3 gün

Denetlediğimiz ağlar

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
  • DevrelerCircom, Noir

Diğer zincirler3

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

Neleri denetliyoruz

  • 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;
    YüksekH-01Bakiye dış çağrıdan sonra yazılıyor
  • EVM1-3 gün
  • Solana2-3 gün
  • Move1-3 gün
  • Olay müdahalesi2 saat içinde

Kendi modelimiz

nonce-sc-1

DeepSeek-V4.1 modelini 2.140 gerçek exploit ve 380 kendi pentestimiz üzerinde ince ayarladık. Her satırı bir araştırmacıdan önce okur; bulduğu her bulguyu bir araştırmacı kanıtlar ve imzalar.

Temel model
DeepSeek-V4.1
Eğitim verisi
2.140 exploit ve 380 pentest
Denetimdeki rolü
Önce model, sonra insan

İki denetim yolu

Aynı yöntem, aynı araştırmacılar. Gelişmiş, açıkları canlı durum üzerinde kanıtlar.

  • Kaynak kod

    Her satırı 2 araştırmacı okur.

    başlangıç $1.000

    • 2 kıdemli araştırmacı
    • Her satırda nonce-sc-1 ile yapay zeka pentesti
    • 10 ağ genelinde 404 kontrol maddesi
    • Sandbox içinde statik analiz ve fuzzing
    • Her bulgu 3 incelemeyle doğrulanır
    • Her kritik ve yüksek bulgu için çevrimdışı kanıt
    • Düzeltme incelemesi dahil
    • PDF, ajanlara hazır markdown, portal
    Teklif alın

  • Gelişmiş

    Dağıtılmış protokoller için

    Mainnet durumunda kanıtlanmış exploitler.

    başlangıç $2.000

    • Kaynak koddaki her şey
    • 3 kıdemli araştırmacı
    • nonce-sc-1 dağıtılmış sözleşmeleri pentest eder
    • EVM exploitleri mainnet fork üzerinde kanıtlanır
    • Oracle ve likidite saldırıları simüle edilir
    • Mainnet durumunda invariant fuzzing
    • Deploy betikleri ve admin anahtarları incelenir
    • Deploy edilen kod eşleştirilir, her gün yeniden okunur
    Teklif alın

Nihai fiyat kod satırı, zincirler ve son tarihe göre belirlenir ve 12 saat içinde gönderilir.

Üç adım

  1. 1

    Repoyu gönderin

    Bir e-posta ve bir bağlantı.

  2. 2

    Sabit fiyat alın

    12 saat içinde.

  3. 3

    Portalda düzeltin

    Her düzeltmeyi doğrularız.

Denetiminiz portalda

Bulgular, bulduğumuz anda.
Düzeltmeler, yayınladığınız anda.

Giriş yap

12 saat içinde sabit fiyat alın

Teklif alın