İçeriğe geçBlockAssay

Arz ayrıcalığı kötüye kullanımı ve kısıtlı aktarımlar

P13-L04 · P13 · P13-M01

Gözlenmiş ayrıcalıklı değişimleri ve kalan belirsizliği belirleyin

ILLUSTRATIVE · needs_review

Ö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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Birincil kaynağı aç
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
Birincil kaynağı aç
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.

Gerekçeni sınama

P13-L04-Q1 · 1000 arz artı 200 hangi göreli artışı üretir?
P13-L04-Q2 · R üzerinde ayrıcalıklı P başarılı, W başarısız. Bu neyi kanıtlar?
P13-L04-Q3 · Kaynakta mint işlevi var. Gerçek basım iddiası için hâlâ ne gerekli?
P13-L04-Q4 · Yeterli bakiye/harcama izni varsayımları neden kaydedilmeli?
P13-L04-Q5 · Sonraki test neyi değiştirmeli?