Tam sözleşme ve mint doğrulaması

EN kaynak ana metni · P08-L01 · tahmini 45 dakika · needs_review

Sonraki bütün hesaplar amaçlanan varlığı incelemeye bağlıdır. Yanlış sözleşmenin doğru izin denetimi yine başarısız incelemedir. Adlar, semboller ve simgeler gezinmeye yardımcı olur; birincil anahtar değildir. Ders tam mint tanımayı, hesap rolüyle onu yöneten mantığı ayıran yeniden üretilebilir kimlik kaydına genişletir.

Beyan edilen hedefi sağlanan kayıtlarla eşleştirecek, eksik uygulama kanıtını belirleyecek ve başka analistin tekrarlayabileceği sonuç yazacaksınız. İmza, onay veya satın alma yapmayacaksınız.

Kimlik demetini oluşturun

Ağ, tam adres ve nesne türüyle başlayın. Ana ağı test ortamından, farklı EVM zincirlerini birbirinden ayırın. Adres biçimli dize tek başına eksiktir. Gezgin URL'si tanıdık adres gösterirken başka ağı seçebilir. Arama daha popüler benzeri döndürdüğünde istenen ağı koruyun.

Kısaltılmış önek yerine tam tanımlayıcıyı yazın. Gerçek incelemede kodlamayı doğrulayın; çözümlenen adres baytlarını güvenilir araçla karşılaştırın. EVM sağlama toplamı harf düzeni ve Solana base58 farklı işlem gerektirir. Veri kümesinin geçersiz etiketleri yanlışlıkla işlem yapılmasını önler; karşılaştırmalar eğitsel dize karşılaştırmalarıdır.

Tanımlayıcının hangi nesneyi adlandırdığını sorun. Solana mint'i birim tutan token hesabından ve talimat mantığını içeren Token Program'dan ayrıdır [S08-TOKENS]. Proxy arkasındaki EVM uygulaması otomatik olarak kullanıcıya görünen bakiye adresi değildir. Değerleri kullanmadan rolü tanımlayın.

Varlığı, mantığı ve ilişkiyi ayırın

Kaynağın hesap döndürmesi belirli bağlamdaki nesne kanıtıdır; marka onayı değildir. Gezgin kaynak kodu doğrulaması kaynakla dağıtılmış kodun eşleşmesiyle ilgilidir; resmi ilişki veya denetim bütünlüğü sertifikası değildir. Bunlar ayrı kayıt gerektirir [S08-CODE]. Etherscan tam ve benzer eşleşmeleri ayırır; benzer eşleşmede constructor veya başlangıç ayarı farkları kalabilir. Her rozeti aynı bulgu saymak yerine belirtilen eşleşme türünü inceleyin.

Ayrı sonuçlar kullanın: tam nesne eşleşti, uygulama çözümlenmedi, ilişki desteklenmedi. Olumlu kimlik eşleşmesi diğer ikisini çözmez. Kod eşleşmesi sağlanmışsa onu “güvenli” diye aktarmak yerine derleyiciyi, yapılandırmayı ve dağıtım kapsamını koruyun.

ERC-20 arayüz tanımlar; ad ve sembol isteğe bağlı meta veridir, uyumluluk projeyi sertifikalandırmaz [S08-ERC20]. Beklenen sembolü almak ilişkiyi çözemez. Uygulama tanıdık yöntemlerle birlikte temel arayüzde anlatılmayan ek kontroller sunabilir.

Mantık sınırını izleyin

Solana mint'inde veri hesabının sahibi Token Program'ı kaydedin. Temel program-owner alanını varlık tutmada kullanılan token-account owner alanıyla karıştırmayın. Uzantılı mint uzantı farkındalığı olan çözücü gerektirir. Ek durumu görmezden gelen temel ayrıştırıcı ek davranış olmadığını belirleyemez.

Proxy'de istenen token adresi sabit kalırken devredilen mantık değişebilir. ERC-1967 uygulama veya beacon bağlantısını ve isteğe bağlı admin slotunu tanımlar [S08-PROXY]. Uygulanabilirliği gerçek dağıtım belirler; boş standart slotlar bütün olası yükseltme mekanizmalarının yokluğunu belirlemez.

Proxy adresini, uygulamayı ve bağlamı birlikte tutun. Bir bağlamdaki kod ve diğerindeki durum karışık kayıt oluşturur. Bağlantı yoksa kullanıcıya görünen nesneyi belirleyip mantık çözümünü eksik işaretleyin. Arayüzün “uygulama” dediği herhangi bir sözleşmeyle boşluğu doldurmayın.

Alma kökenini koruyun

Kaynağı, alma zamanını, dönen blok/slot bağlamını, commitment/finality düzeyini ve çözücü varsayımlarını kaydedin. Zaman aşımı veri mevcut değil demektir. Yanlış ağ yanıtı amaçlanan ağda yokluk değil, uyuşmazlıktır. Sessizce farklı zincirde tekrar deneyip değerleri birleştirmeyin.

İki arayüz aynı indeksleyiciyi paylaşabilir. Uyum yararlıdır ama otomatik iki bağımsız gözlem değildir. Görünüyorsa temel kaynağı kaydedin; değilse bağımsızlığın bilinmediğini söyleyin. Ham kayıt ve çözümü tam tanımlayıcısız kırpılmış görselden daha yeniden üretilebilirdir.

Beyan edilen ve desteklenen hedefleri ayırın. Resmi adres iddia eden ekran görüntüsü beyandır. Eşleştirme yalnızca adlandırdığı nesneyi incelediğinizi kanıtlar. İlişki yakalama bağlamıyla uygun şekilde doğrulanmış ihraççı kaynakları gerektirir; desteklenen ilişki bile güvenliği kanıtlamaz.

Durma kuralı kullanın

Demet uyuşmadığında veya nesne rolü çözümlenmediğinde kimliğe bağlı sonuçları durdurun. Boşluğu belgeleyebilirsiniz; başka varlığın arz veya izinlerini hedefe bağlayamazsınız. Genel arama sonucu eşleşmesi yerine geçmez.

Kısa bulgu: “İstenen ağ/adres sağlanan S0'da mint olarak çözümlenir. Uzantı envanteri ve ihraççı ilişkisi sağlanmamıştır.” Olumlu bulguyu ve sınırlarını korur. Tam kayıt sonraki adımı mümkün kılacak ek kanıtı da belirtmelidir.

Bağımsız inceleyen ağ sekmesini veya kısaltılmış adresi tahmin etmeden demetinizden başlayabilmelidir. Salt okunur doğrulama iş akışını korur: nesne kimliği için cüzdan onayı gerekmez; hiçbir alıştırma kimlik bilgisi gerektirmez.

• Kimlik demeti: ağ, tam adres ve nesne rolü.
• Mint: token'ı temsil eden Solana hesabı.
• Token hesabı: mint birimlerini tutan ayrı hesap.
• Uygulama: devredilen sözleşmenin kullandığı mantık.
• Köken: kaydı destekleyen kaynak ve bağlam.
• İlişki: ihraççı veya markayla iddia edilen bağ.

ILLUSTRATIVE — FIX-P08-01. S0 kurgusaldır, gerçek blok değildir. D1 beyanı SIM-SOL-A / MINT-ALPHA nesnesini mint olarak ister; ihraççı atfının gerçekliği doğrulanmamıştır.

I1 temel alanlar içerir, uzantı envanteri içermez. I5 bağlantı içerir, kaynak/derleme eşleşmesi içermez.

OBSERVED veri kümesinde: I1 D1 demetiyle eşleşir; I3 mint'ine referans verir, ancak rolü farklıdır.

INFERRED: I1 temel inceleme için doğru başlangıç kaydıdır. I5/I6 ayrı sağlanan proxy bağlantısını tanımlar.

UNKNOWN: İlişki, atlanan uzantı durumu ve I5 kod/derleme eşleşmesi.

INSUFFICIENT EVIDENCE: Eşit semboller I2/I4'ü hedef yapamaz. Mantık içeren I6 kullanıcıya görünen I5'in yerini alamaz.

Yalnız sembolle eşleştirmek, ağı unutmak, tutma hesabını mint yerine koymak, uygulama bakiyelerini incelemek ve kaynak görünürlüğünü güvenlik sertifikası saymak.

D1 eşleşmesini seçin; I2–I4'ü ayrı gerekçelerle reddedin. Ayrı I5 kimlik notu yazın. I1'in tam davranış incelemesinden önce üç kanıt boşluğu listeleyin.

• Ağı ve tam tanımlayıcıyı koruyun.
• Rolü ve program/mantık bağlantısını doğrulayın.
• Kanıt birleştirmeden bağlamları eşleştirin.
• İlişkiyi kod incelemesinden ayırın.
• Kimliğe bağlı girdiler uyuşmadığında durun.

Kimlik doğrulaması sınırlı nesne kaydı üretir. Doğru ağ ve rol sonraki ölçümlerin ön koşuludur.

Sembol etikettir. Mint, tutma hesabı ve uygulama ayrı nesnelerdir. Eksik bağlantı veya ilişki kanıtı görünür kalır.

D1 ile I1–I4'ü karşılaştırıp ağ/adres/rol farklarını açıklayın. I5→I6'yı ayrı S0 mantık paneline yerleştirin; derleme eşleşmesini bilinmeyen işaretleyin. Güvenlik rozeti kullanmayın.

Örnekleyici kimlik eşleşmesi; ihraççı destekleyici doğrulaması yoktur.

Metin alternatifleri bulunan deterministik SVG/HTML veya grafikler, koyu lacivert/siyah ve ölçülü camgöbeği, elektrik mavisi ve mor kullanın. Her miktarı ve belirsizliği etiketleyin. 390px genişlikte panelleri alt alta yerleştirin; 768px/masaüstü ve Arapça RTL doğrulaması gelecekteki varlık çalışması olarak kalır. Tanımlayıcıları LTR tutun ve olgusal eksenleri/kenar yönlerini değiştirmeyin. Marka eklenirse yalnızca sağlanan resmi BlockAssay işaretini kullanın. İki kayıt da teslim edilmiş varlıklar değil, spesifikasyonlardır.

RADAR’ı dersin sınırlı eğitsel amacı için yalnızca ağ desteği, tam kimlik, alanlar ve veri kökeni doğrulanırsa kullanın. Bu içerik herhangi bir runtime endpoint veya sağlayıcı kabiliyeti iddia etmez. Gömülü çevrimdışı veri kümesini ücretli erişim olmadan kullanın. Eksik veri bilinmeyen olarak kalır; cüzdan bağlantısı, işlem imzası, token lansmanı veya canlı trade gerekmez. Academy ilerlemesi, ödemeler ve yönlendirmeler Radar kanıtını asla değiştirmez. Bir Tanı Pasaportu, fiyat tahmini veya güvenlik sertifikası değil, gözlemleri ve sınırları korur.

• Etherscan Sözleşme Kodu Sekmesi — Tam ve benzer bytecode eşleşme etiketleri ve ayrı derleyici/constructor/denetim bilgileri. Kontrol tarihi 2026-09-30.
• Solana Varlıkları — Mint/hesap/program kimliği ve ondalıklar; hesap sahipliği alanlarını ayırt etmek. Kontrol tarihi 2026-09-30.
• ERC-20 Token Standardı — Standart arayüz; isteğe bağlı name, symbol ve decimals; ayrıcalık veya kimlik sertifikasyonu değil. Kontrol tarihi 2026-09-30.
• ERC-1967 Proxy Depolama Slotları — Uygulama, beacon ve isteğe bağlı yönetici slotları; mekanizmaya özgü inceleme. Kontrol tarihi 2026-09-30.

Dokümantasyon, hayali veri kümesi değerlerini değil mekanizmaları destekler. Tüm örnekler ve alıştırma kayıtları, bu dosyada dondurulmuş özgün ILLUSTRATIVE materyaldir. S0/S1 sentetik bağlam etiketleridir; canlı veya tarihsel bir zincir kaydı ölçümü toplanmadığından observedAt null’dır. Herhangi bir yayın veya entegrasyondan önce dokümantasyonu ve fiilen konuşlandırılmış davranışı yeniden inceleyin.

P08-L02 çözümlü alıştırma ve quiz incelemesinden sonra.