P13-L02 · P13 · P13-M01
Arındırılmış kötü amaçlı onay dizisini yeniden kurun
Ön koşullar: P13-L01
Öğrenme hedefleri
- Arındırılmış kötü amaçlı onay dizisini yeniden kurun
- Yetkilendirme, hareket ve aldatma iddialarını ayırarak arındırılmış onay ve harcama dizisini yeniden kurun.
Neden önemli
Onay kendisi fon taşımadan harcayanı yetkilendirebilir. Onayı kayıpla karıştırmak gerçek varlık aktarımını hangi sonraki kaydın kanıtlayacağını gizler.
Açıklama
Önerilen diziyi kayıtlara ayırın: kullanıcıya gösterilen ifade, yetkilendirme değişimi, harcama denemesi ve gözlenmiş hareket. ERC-20 allowance teknik harcama iznidir; onay olayı tek başına tamamlanmış aktarımı göstermez. Başarılı transferFrom tarzı hareket ilgili yürütme/makbuz ve durum uzlaştırması gerektirir. İmzaya dayalı yetkilendirmenin kendi şeması ve kapsamı vardır; sıradan approve anlamını her imzalı mesaja genellemeyin.
Gerçek durumda kesin varlığı, sahibi, harcayanı, miktarı, ağı ve zaman temelini koruyun. Burada yalnızca yürütülemez kâğıt etiketleri kullanın. Gösterilen sayfa bir eylem vaat ederken belirtilen yetkilendirme başka eyleme izin veriyorsa tutarsızlığı raporlayın. Aldatma veya zorlama iddiaları ifade ve bağlam hakkında kabul edilebilir kanıt gerektirir; geniş harcama izni kontrol maruziyetidir, otomatik suç niyeti değildir.
Mekanizmayı göstermek için öğrenciden asla cüzdan bağlamasını, imza atmasını, onay vermesini, fon göndermesini veya kurtarma ifadesi/özel anahtar sağlamasını istemeyin. Arındırılmış kayıtlardan çalışın. Gerçek olay müdahalesi bağlama özgü uzmanlık gerektirebilir; bu ders işlem prosedürü değil, kanıt okuma alıştırmasıdır.
Terimler
Allowance: harcayan için teknik harcama yetkisi.
Onay: gerçek hareketten farklı izin güncellemesi.
Harcama olayı: varlıkların yetenek altında taşındığına ilişkin yürütme kanıtı.
İfade çelişkisi: vaat edilen eylem verilen kontrolden farklıdır.
Tarihsel örnek
ILLUSTRATIVE: kâğıt sayfa P “10 birim talep edin” vaat eder. R1 kaydı W sahibinin S harcayana T varlığı için 1000 harcama izni verdiğini belirtir. R2 kaydı S’nin W’den D’ye 400 T başarıyla taşıdığını belirtir; R2 makbuzu yalnızca uydurulmuş alıştırma satırıdır. Sayfa kaydı insan işletmeciyi tanımlamaz.
Görsel özellikler
Ayrı 10/1000/400 miktarları ve bilinmeyen kimlik alanıyla P→R1 yetkilendirme→R2 hareket sözleşme izinleri zaman çizelgesi. Etkin URL veya yürütülebilir onay talimatı yok.
Başlık: Kurgusal arındırılmış onay dizisi; yetkilendirme ve tamamlanmış hareket ayrı kayıtlardır.
SPECIFICATION_ONLY — görsel henüz üretilmemiş veya bağımsız olarak incelenmemiştir.
Kanıtın gösterdikleri
Örnekte R1 izni değiştirir ve R2 400 birim hareket kaydeder. 10 birim talep metni 1000 birim izin kapsamıyla çelişir.
Kanıtın göstermedikleri
Gerçek kimlik avı sitesini, canlı imzayı, gerçek cüzdan kaybını, işletmeci kimliğini veya suç niyetini kanıtlamaz. Tek başına R1 hareket kanıtlamaz; sonraki yetki kaldırma R2’yi geri almaz.
Yaygın hatalar
Onayın kendisine aktarım demek; sınırsız izin etiketini dolandırıcılık kanıtı kullanmak; eksik makbuz uydurmak; senaryoyu test etmek için öğrenciden imza istemek.
Uygulamalı alıştırma
P,R1,R2 ve kimlik için dört sütunlu dizi oluşturun. Alıştırmanın basit azalma varsayımında kalan belirtilmiş harcama iznini hesaplayın; R2 yoksa sonucun nasıl değiştiğini belirtin.
Açıklamalı düzeltmeyi göster
P: kaynağı belirtilmiş kurgusal 10 birim talep ifadesi. R1: S’ye kurgusal 1000 T izin. R2: D’ye kurgusal başarılı 400 T hareket. Kimlik:bilinmiyor. Belirtilen sıradan harcama izni azaltma varsayımında kalan=1000−400=600; gerçek uygulamalar farklı olabilir ve inceleme gerektirir. R2 olmadan yalnızca yetkilendirme maruziyeti ve ifade uyuşmazlığı desteklenir, tamamlanmış kayıp değil. R2 olsa bile teknik hareket işletmeciyi tanımlamaz veya niyeti bağımsız kanıtlamaz. Cüzdan etkileşimi gerekmez.
Kontrol listesi
- İfadeyi, onayı ve hareketi ayırın.
- Her satırı varlık/sahip/harcayan/ağa bağlayın.
- Eksik yürütme kayıtları uydurmayın.
- İmza veya fon olmadan arındırılmış çevrimdışı girdiler kullanın.
Özet
Onay kötüye kullanım analizi izin kaydını ve hareket kanıtını birlikte gerektirir; ifade ve kimlik iddiaları ayrı değerlendirilir.
Özet
- Onay aktarım değildir.
- Sonraki harcama kaydı kendi kapsamında hareketi kanıtlayabilir.
- Teknik yetkilendirme insanı tanımlamaz veya niyeti kanıtlamaz.
Sonraki ders
P13-L03
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.
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-L02-V01
Arındırılmış kötü amaçlı onay dizisini yeniden kurun
Kurgusal arındırılmış onay dizisi; yetkilendirme ve tamamlanmış hareket ayrı kayıtlardır.
Ayrı 10/1000/400 miktarları ve bilinmeyen kimlik alanıyla P→R1 yetkilendirme→R2 hareket sözleşme izinleri zaman çizelgesi. Etkin URL veya yürütülebilir onay talimatı yok.
Ayrı 10/1000/400 miktarları ve bilinmeyen kimlik alanıyla P→R1 yetkilendirme→R2 hareket sözleşme izinleri zaman çizelgesi. Etkin URL veya yürütülebilir onay talimatı yok.
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-L02-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
Veri kaynağı
id: P13-L02-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.