Akıllı sözleşme denetimi

İ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.

Denetlediğimiz ağlar