P13-L04 · P13 · P13-M01
Gözlenmiş ayrıcalıklı değişimleri ve kalan belirsizliği belirleyin
Ön koşullar: P13-L03
Öğrenme hedefleri
- Gözlenmiş ayrıcalıklı değişimleri ve kalan belirsizliği belirleyin
- Ayrıcalıklı durum değişimini belirleyin ve seçici aktarım sonuçlarını test edilmiş senaryoyla sınırlayın.
Neden önemli
Basım veya kısıt kullanıcı yeteneklerini önemli ölçüde değiştirebilir; kod varlığı veya tek başarısız aktarım her cüzdanda kötüye kullanımı bağımsız kanıtlamaz.
Açıklama
Erişilebilir yeteneği, gözlenmiş çağrıyı, durum etkisini ve atfedilmiş niyeti ayırın. Mint adlı işlev yetmez: uygulamasını, yetkilendirmesini ve alternatif yolları inceleyin. Gözlenmiş ayrıcalıklı basım kesin token kimliği, olay/durum uzlaştırması, blok ve miktar gerektirir. Tavan sloganı yükseltmeler veya alternatif rollerle sınırlanabilir. Kısıt işlevinin meşru belirtilmiş amaçları olabilir; gerçek etkileri tanımlanmış durumda test edilmelidir.
Seçici aktarımlarda gönderen sınıfını, alıcıyı, rotayı, miktarı, bloğu ve yürütme yöntemini belirtin. Başarılı ayrıcalıklı gönderen sıradan kullanıcıların çıkabileceğini kanıtlamaz; başarısız sıradan senaryo evrensel başarısızlığı kanıtlamaz. Geri dönüşler bakiye, harcama izni, rota, son süre, durum veya politikadan doğabilir. Ekonomik çıktı kaybı da nominal ücretlerden farklıdır. Rakip açıklamaları ve çözümlenmemiş bağımlılıkları görünür tutun.
Örnek canlı simülasyon veya işlem değil, kâğıt yürütme satırları kullanır. Müfredat Radar bağlamını belirtir ama burada gerçek çıktı üretmez. Her teknik değişimi belirtilen kapsamda raporlayın ve bağımsız kanıt olmadan insan/niyet atfını reddedin.
Terimler
Yetenek: erişilebilir ayrıcalıklı davranış.
Çağrı: davranışın kaydedilmiş kullanımı.
Seçici kısıt: belirtilen gönderen/rota koşullarında farklı sonuçlar.
Test kapsamı: yürütme gözlemi için kesin durum ve parametreler.
Tarihsel örnek
ILLUSTRATIVE B bloğunda: M rolünün belirtilen basımı 1000 arza 200 ekleyip 1200 üretir. B+1 içinde sıradan gönderen W, R rotasında 10 birim aktarımda POLICY nedeniyle başarısız; ayrıcalıklı gönderen P aynı belirtilen miktar/rotada başarılıdır. Bakiyeler ve harcama izinleri yeterli varsayılır. Uygulama ve daha geniş rota kapsamı yoktur.
Görsel özellikler
M basım ve W/P aktarım satırları, kesin kâğıt parametreleri ve sonuçlarıyla sözleşme izinleri matrisi. Evrensel honeypot rozeti yerine test edilmemiş rota/miktar boşlukları ekleyin.
Başlık: Kurgusal ayrıcalıklı değişim ve seçici sonuçlar; evrensel çıkış veya niyet sonucu yok.
SPECIFICATION_ONLY — görsel henüz üretilmemiş veya bağımsız olarak incelenmemiştir.
Kanıtın gösterdikleri
Kurgu içinde arz aritmetiği 20% artar ve iki gönderen senaryosunun politika sonuçları farklıdır. Bunlar sınırları belirli kâğıt gözlemleridir.
Kanıtın göstermedikleri
Gerçek basım, kod dağıtımı, evrensel aktarım başarısızlığı, zararlı niyet, kontrolcü kimliği veya bağımsız Radar sonucu kanıtlanmamıştır. Tek rota ve miktar her çıkış yolunu kapsamaz.
Yaygın hatalar
Kod varlığına gözlenmiş çağrı demek; ayrıcalıklı başarıyı kamusal çıkış kanıtı saymak; tek rotayı tüm aktarımlara genellemek; kısıtı otomatik dolandırıcılık saymak.
Uygulamalı alıştırma
Arz değişimini hesaplayın, senaryo tablosu yazın ve “herkes çıkabilir”, “kimse aktaramaz” ve “politika gönderene göre farklıdır” ifadelerini sınıflandırın. İki eksik testi belirtin.
Açıklamalı düzeltmeyi göster
Arz=1000+200=1200; göreli artış 200/1000=20%. Satırlar:W/10/R/B+1/başarısız POLICY;P/10/R/B+1/başarılı. Belirtilen fark bu satırlarda desteklenir. İki evrensel ifade de kanıtlanmamıştır. Eksik testler sıradan gönderenlerle başka miktar ve başka rota/durumu içerir; verilen nedenin ötesinde mekanizma atfetmeden uygulama ve yetkilendirmeyi inceleyin. Niyet ve kimlik için kanıt yetersiz kalır.
Kontrol listesi
- Yeteneği, çağrıyı ve etkiyi ayırın.
- Uyumlu ham birimlerle arzı uzlaştırın.
- Gönderen/miktar/rota/durum sınırlarını belirtin.
- Alternatif açıklamaları ve bilinmeyen niyeti koruyun.
Özet
Gözlenmiş ayrıcalıklı etkiler ve sınırlı yürütme farkları belirli kayıtlar gerektirir; evrensel veya suç iddialarına dönüşmemelidir.
Özet
- Erişilebilir işlev kullanıldığının kanıtı değildir.
- Ayrıcalıklı başarı sıradan kullanıcı çıkışını kanıtlamaz.
- Tek test edilmiş senaryo tüm yürütme yollarını çözemez.
Sonraki ders
P13-L05
Araçlar
Adı belirtilen BlockAssay aracını yalnızca kanıt okuma bağlamı olarak kullanın. Bu ders araç çıktısı, hesap oturumu veya erişim hakkı oluşturmaz. Çevrimdışı alıştırmadır; hiçbir şeyi imzalamayın, dağıtmayın, onaylamayın veya fonlamayın.
Kaynaklar ve iddia sınırları
- ERC20: ERC-20 standardı — Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- PROXY: ERC-1967 proxy depolama yuvaları — Standartlaştırılmış uygulama/yönetici yuvaları; tek rolden vazgeçmek tüm yükseltme yollarının devre dışı olduğunu kanıtlamaz. Sınır: Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
Kanıt sınıfları
ILLUSTRATIVE — tamamen kurgusal çevrimdışı girdiler; güncel gözlem yok.
Gözlem tarihi
null — gerçek gözlem yok
İçerik sürümü
1
İnceleme tarihi
null
İnceleme durumu
needs_review
Görsel özellikler
P13-L04-V01
Gözlenmiş ayrıcalıklı değişimleri ve kalan belirsizliği belirleyin
Kurgusal ayrıcalıklı değişim ve seçici sonuçlar; evrensel çıkış veya niyet sonucu yok.
M basım ve W/P aktarım satırları, kesin kâğıt parametreleri ve sonuçlarıyla sözleşme izinleri matrisi. Evrensel honeypot rozeti yerine test edilmemiş rota/miktar boşlukları ekleyin.
M basım ve W/P aktarım satırları, kesin kâğıt parametreleri ve sonuçlarıyla sözleşme izinleri matrisi. Evrensel honeypot rozeti yerine test edilmemiş rota/miktar boşlukları ekleyin.
390 px boyutunda gözlemleri, varsayımları, boşlukları ve sonucu üst üste yerleştirin; tam kimlikleri ve eksiksiz metin karşılığını koruyun. Geniş tablolar kendi alanında kaydırılır.
Düzyazı RTL yönünü izleyebilir; kimlikler, miktarlar ve zaman eksenleri LTR kalır. Bağımlılık yönünü koruyun.
P13-L04-ILLUSTRATIVE-v1
Kaynaklar ve iddia sınırları
ERC20 · PRIMARY_DOCUMENTATION
ERC-20 standardı
- Desteklenen iddia
- Token arayüzü ve harcama izni anlamı; standart ihraççı kimliğini veya güvenli izinleri kanıtlamaz.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
PROXY · PRIMARY_DOCUMENTATION
ERC-1967 proxy depolama yuvaları
- Desteklenen iddia
- Standartlaştırılmış uygulama/yönetici yuvaları; tek rolden vazgeçmek tüm yükseltme yollarının devre dışı olduğunu kanıtlamaz.
- Doğrulama sınırı
- Yalnızca mekanizma belgeleri; özgün örnek değerler belirtilmiş varsayımlardır, gözlem değildir. Tarihsel kayıtların ayrı sabitlenmiş kaynak geçmişi ve açık veri toplama boşlukları vardır.
- Kontrol tarihi
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-1967
Veri kaynağı
id: P13-L04-ILLUSTRATIVE-v1
dataStatus: ILLUSTRATIVE
observedAt: null
source: Original offline scenario in realOrHistoricalExample
scope: Fictional stipulated labels and values. No wallet, deployment, transaction, token launch or production observation.