Parayı gerçekten kımıldatan hatayı bulun.
Scorpio herkese açık Solidity depolarını analiz eder, değerin nasıl hareket ettiğini yeniden kurar ve hata ödül programına ya da canlıya ulaşmadan önce yeniden üretilebilir kanıt verir.
Depodan, kontrol edilebilir bir kanıta.
Scorpio her analizi teknik bir gözetim zinciri gibi ele alır. Önce deponun kapsama girip girmediğine karar verir, sonra derler, modeller ve sonucu mühürler.
Kabul
Herkese açık URL'yi, commit'i ve kendi kodun gerçek boyutunu kontrol eder.
Ücretsiz · yükümlülük yokDerleme
Foundry projesini çözer ve kendi kodu bağımlılıklardan ayırır.
Yalıtılmış ortamEkonomik harita
Durumları, yetkileri ve değerin hareket edebileceği yolları izler.
Sözleşmeler arası bağlamTaramalar
Uygun aileleri çalıştırır ve ekonomik etkisi olan sinyalleri öne alır.
Belirlenimci motorTeslim
Bulguları önceliğe göre sıralayan raporu yazar ve analiz edilen tam commit ile birlikte geri verir.
Yeniden üretilebilir sonuçDeponuzun kapsama girip girmediğine bakın.
Ön kontrol, herhangi bir ödeme açılmadan önce kendi Solidity kodunuzu ve üçüncü tarafınkini ayrı ayrı sayar; bunu da gerçek hizmet yapar: depoyu klonlar ve ağacını okur, derlemez ve içinden hiçbir şey çalıştırmaz. Ücretsizdir, kota ile gelir ve kapsama girmeyen bir depo burada reddedilir; parası alınıp sonra başarısız olmaz.
- ✓ URL ve commit belirlendi
- ✓ Kendi kod üçüncü taraftan ayrıldı
- ✓ Ödeme onaylanmadan önce fiyat kesinleşti
Bir teklif açık. Diğerleri, gidişat görünsün diye listede.
Site, bugün satın alınabilenleri hâlâ hazırlanmakta olan ürünlerden ayırır.
Tam denetim
kesin fiyat
Herkese açık Foundry depoları üzerinde on ekonomik ailenin otomatik incelemesi; en fazla 1.200 kendi Solidity dosyası.
Depoyu kontrol et ↗Neler var
- 10 ekonomik analiz ailesi
- kataloglanmış 49 statik tarama
- en fazla 1.200 kendi dosyanız
- SHA-256 rapor mührü ve denetlenen commit
Açık olan ürün deponun kodunu analiz eder. Zincirin güncel durumunu okumaz.
Hazırlanan katalog
İçeride tasarlandı ve tanımlandı. Henüz ödemeye açık değil.
Quick Scan
Etkileşime girmeden önce ajanlar ve otomasyonlar için ilk sinyal.
- En fazla 25 dosya
- Aynı 10 aile
- JSON teslimi
Deep Economic
Daha yüksek değerli otomatik kararlar için genişletilmiş ekonomik analiz.
- En fazla 150 dosya
- 10 aile + zincirin gerçek durumu
- Mühürlü teslim
Large Repository
Büyük depolar ve monorepo'lar için boyuta göre ayarlanan fiyat.
- En fazla 1.200 dosya
- Zincirin gerçek durumu dâhil
- Kapsama göre fiyatlandırma
Scorpio Developer
Geliştiriciler için web deneyimi; Web3 veya kartla ödeme.
- En fazla 150 dosya
- Görsel rapor
- Web3 veya kart
Protocol Release
Büyük depo; yönetici raporu ve yeni commit'ler üzerinde tekrar çalıştırma.
- En fazla 1.200 dosya
- Zincirin gerçek durumu dâhil
- Tekrarlar oturduktan sonra
Beşi de hizmetin kataloğunda yazılı ve bir anahtarla kapalı duruyor. Hiçbirinin fiyatı “kaç dedektör çalışıyor” diye ayrılmıyor: değişen şey kabul edilen boyut ÜST SINIRI, teslim edilenler ve zincirin durumunun okunup okunmadığı — işi gerçekten pahalılaştıran tek şey de bu sonuncusu.
Yayımlanan ilk kıyaslamada uyarı başına daha çok işe yarar sinyal.
CodeHawks'ın beş resmî vakasında Scorpio, resmî listedeki 12 bulguyu eşleştirdi; Slither 5 eşleştirdi. Toplam uyarı sayısı Scorpio'da 26, Slither'da 63 oldu.
2026MOTOR 890777…
Bu, beş yarışmadan oluşan küçük bir örneklem; genel üstünlüğün kanıtı değil. Scorpio sütunu 9 Eylül 2026'da 890777033a8fc952… motoruyla, üç özdeş tekrarda ölçüldü. Yayında olan motorun parmak izi bu sayfanın üst kısmında gösterilir: eşleşmiyorsa ölçüm daha eski bir motora ait ve bugünkü motorla yinelenmedi. Slither sütunu 0.11.5 sürümüne ait, aynı dondurulmuş vakalar üzerinde 6 Eylül'de ölçüldü; iki tarih arasında Slither değişmedi.
Eşleşmeyen 14 tanesi ne — onlara “yanlış” demek doğru olmazdı: dördü bilgilendirici önemde: üçü olayı olmayan sözleşme uyarısı, biri token varsayımlarına dair not; bunlar motorun bilerek verdiği bağlam ve bir güvenlik açığı listesinde yarışmıyor. Üçü kod hakkında doğru bir şey söylüyor — ERC-20 transferinin dönüş değerinin kontrol edilmediğini — ama yarışma bunu bulgu olarak kabul etmedi. Biri ise tek yönlü bir anahtar; motor onu şüphe olarak işaretliyor, çünkü bunun kasıtlı olup olmadığına bir insan karar verir.
Kalan altıdan beşi, resmî listedeki bir kayıtla aynı hatadır; sadece adı başkadır. Karşılaştırıcı ancak dedektörün adı etiketin ailesiyle aynıysa eşleştirir; dolayısıyla motor hatayı bulup onu etkisine göre değil nedenine göre adlandırdığında, sayım onu iki kez cezalandırır: etiket bulunamadı, bulgu ise yanlış sayılır. Beş çift tek tek doğrulandı; aynı sözleşme üzerinde ve dördünde aynı işlevde: refund içinde hiç kapanmayan kilit CH-05'in yeniden girişidir; yeniden yazılabilen süre CH-07'dir; claimants üzerindeki üst sınırsız dolaşma MC-08'dir; uygulamayı bağlamayan imza SP-01'dir; typehash'siz özet ise SP-02'dir. Altıncısı, listede yer almayan doğru bir şey söylüyor.
Bu eşleştirme elle ve taraflı yapıldı: yapan, motor üzerinde çalışan kişinin ta kendisi. Bu yüzden bu sayfada geçerli olan sayılar makinenin saydıklarıdır. Kabul edilen beş çift sayılsaydı 17 eşleşen ve 9 eşleşmeyen çıkardı; yani %65,4 kesinlik ve %35,4 kapsam. Bu, farkın nereden geldiği görülsün diye yazıldı, hanesine yazılsın diye değil.
Scorpio52,6%Kendini ölçen bir motor.
Her dedektörün önünde iki sözleşme durur: biri tetiklensin diye yazılmıştır, neredeyse aynısı olan öbürü tetiklenmesin diye. İkisinden birini bozan herhangi bir değişiklik test tezgâhını kırmızıya çevirir; tezgâh yeşil değilse siparişleri karşılayan imaj derlenmez.
Mutasyon puanı, motorun bir satırını bilerek değiştirir ve tezgâhın bunu fark ettiğini doğrular. Fark edilmeyenler tek tek, gerekçesiyle yazılır: o satırın sonucu neden değiştiremeyeceği ya da bunu tetiklemek için nasıl bir vakanın gerektiği. Bugün okunmamış tek bir tane bile kalmadı.
Ekonomik riski izlemek için on aile.
Her aile, değişmezleri kırmanın, yetki ele geçirmenin ya da değeri başka yöne çevirmenin belirli bir yolunu arayan taramaları bir araya getirir.
Muhasebe
Bakiyeler, yuvarlamalar, ücretler ve değerin korunması.
6 taramaKâhinler
Fiyatlar, tazelik, ölçekler ve manipüle edilebilir bağımlılıklar.
4 taramaİmzalar
Tekrar saldırıları, alan ayrımı, nonce'lar ve kriptografik yetkilendirmeler.
8 taramaYetkiler
Roller, setter'lar, ilklendirme ve kontrolün yükseltilmesi.
7 taramaYeniden giriş
Dış çağrılar ve güvensiz durum değişiklikleri.
4 taramaDepolama
Çakışmalar, yerleşim ve yükseltmeden sonra bozulma.
4 taramaDurumlar
İmkânsız geçişler, kilitlenmeler ve aşama atlamaları.
6 taramaKilitli kalan fonlar
Çıkış yolunun hiç olmaması ya da sonsuza dek koşula bağlanması.
4 taramaKodlama
Seçici çakışmaları, calldata ve serileştirme varsayımları.
5 taramaRastgelelik
Ekonomik sonucu etkileyen öngörülebilir kaynaklar.
1 taramaİz bırakan bir teslim.
Rapor her sinyali koddaki yerine bağlar ve üretildiği tam commit ile birlikte gelir.
Değer değişmezi savunmasız
Önceliklendirilmiş bulgular
Önem, güven, konum ve beklenen ekonomik etki.
Teknik kanıt
Kod yolları ve sinyali yeniden üretmeye yetecek bağlam.
Köken
Analiz edilen klonun tam commit'i ve ağacı, raporla birlikte geri verilir.
Ölçülemeyenler
Herhangi bir tarama tamamlanamadıysa sipariş INCOMPLETE olarak işaretlenir ve rapor bunu söyler. Sessizlik, “hiçbir şey yok” diye sunulmaz.
Scorpio neyi iddia eder.
Ve neyi etmez.
✓ Verdiği
- Otomatik ve tekrarlanabilir analiz
- Ekonomik etkiye göre önceliklendirme
- Analiz edilen koda bağlı kanıt
- Tam commit ve raporun mührü
- Çalıştırmanın açıkça belirtilen durumu
× Söz vermediği
- Sıfır yanlış alarm
- Tüm güvenlik açıklarının kapsanması
- Her seferinde bir hata bulmak
- İnsan denetimiyle eşdeğerlik
- Ödüllere otomatik hak kazanma
Bir analizi başlatmadan önce.
En önemli teknik ve ticari koşullar, küçük punto olmadan anlatıldı.
Koşulların tamamını oku ↗Scorpio insan denetiminin yerini tutar mı?
Hayır. Arama alanını daraltır ve tekrarlanabilir kanıt sunar, ama sözleşmenin güvenli olduğunu belgelemez ve insan incelemesinin bütün muhakemesini kapsamaz.
Bugün neyi analiz edebilirim?
Foundry ile uyumlu, ön kontrolden geçen ve en fazla 1.200 kendi Solidity dosyası olan herkese açık depoları. Açık olan ürün zincirin durumunu okumaz.
Ödeme ne zaman alınır?
Önce ücretsiz ön kontrol çalışır. Depo kapsama giriyorsa Scorpio kesin teklifi döner. Analiz, x402 ödemesi doğrulandığında başlar.
Motor başarısız olursa ne olur?
Sipariş FAILED durumunda kalır ve hizmet bedeli koşullara göre iade edilir. Scorpio'ya ait olmayan ağ ücretleri bu iadeye dâhil değildir.
Ne kadar sürer?
Katalog, açık olan ürün için yaklaşık beş dakikalık bir çalışma süresi öngörür. Bu teknik bir tahmindir, hizmet düzeyi taahhüdü değil: boyut, derleme ve sıra toplam süreyi değiştirebilir.
DONE ve INCOMPLETE ne demek?
DONE, öngörülen teslimin tamamlandığını gösterir. INCOMPLETE, sınırları belgelenmiş kısmi bir teslim olduğu anlamına gelir. PENDING ve FAILED, sürmekte olan ya da başarısız olmuş bir çalıştırmayı anlatır. EXPIRED ise 30 günlük saklama süresi dolup teslim silindiğinde görünür.
Özel bir depo gönderebilir miyim?
Mevcut üründe hayır. Kimlik bilgisi, token ya da özel URL göndermeyin. Bu herkese açık teklif, kimlik doğrulaması olmadan erişilebilen depolar için tasarlandı.
Sonuç nasıl doğrulanır?
Her sipariş, analiz edilen klonun tam commit'ini ve ağacını döner; böylece herhangi bir bulgu belirli bir sürüm üzerinde gösterilebilir ve sonradan yeniden bakılabilir. O an çalışan motor sürümü, içerik parmak iziyle birlikte /health adresinde herkese açıktır.
Değeri emanet etmeden önce,
kodu kontrol edin.
Ön kontrol ücretsizdir ve ödeme isteği oluşturulmadan önce kapsamı doğrular.
Depoyu kontrol et ↗