Onaylar, harcama izinleri ve iptal

EN kaynak master · P03-L04 · needs_review

Yalnızca çevrimdışı/salt okunur çalışma. Gizli bilgiler, parolalar veya kimlik doğrulama kodları vermeyin. Cüzdan bağlantısı, gerçek onay, canlı yetki iptali, işlem imzası, transfer, fon veya alım satım yoktur. Görseller yalnızca spesifikasyondur.

İzinler varlığa/harcayıcıya/bağlama özgüdür. Diğer tokenlar ve imzalı yetkilendirmeler çözümlenmemiş kalırken sıfır harcama izni yararlı bulguyu destekleyebilir.

Tam tuple'ı adlandırın

ERC-20, allowance, approve ve transferFrom anlamlarını tanımlar [ERC20]. İzin satırı ağ, token, owner, spender ve gözlem bağlamı gerektirir. Görüntülenen harcayıcı aynı olsa bile farklı token farklı izindir.

Oturum etiketleri yerine durumu okuyun

R1/R3 aynı tuple'ı verilen iki bağlamda gösterir. R2 arayüz bağlantısının kesildiğini gösterir; token sözleşmesi durum değişikliğini anlatmaz. İstenen iptal, gönderilmiş eylem ve sonuç durum ayrı kanıt aşamaları olurdu. R3 çevrimdışı verilmiştir; öğrenci canlı iptal göndermemelidir.

R4 TOKEN-B ile ilgilidir ve TOKEN-A satırına birleştirilemez. Diğer satırı atlayıp yalnızca rahatlatıcı sıfırı raporlamak önemli kapsamı kaybettirir. İki değeri koruyun ve her birinin hangi soruyu yanıtladığını açıklayın.

Gerektiğinde imzalı yetkilendirmeleri çözümlenmemiş tutun

Permit, uygulanabilir sözleşme kuralları altında ayrı imza/nonce/deadline anlamlarına sahiptir [PERMIT]. R5 güncel nonce/kullanım durumuyla ilişkisini bilerek atlar. Tek sıfır harcama izni, mevcut tüm imzaların geçersizleştirildiğini ortaya koymaz. Gereken takip başka canlı sınıf işlemi değil, uygulanabilir kurallar ve ilgili durumdur.

Harcama izni durumu önceki transferi geri çevirmez veya sahibin kurtarma malzemesini hiç açığa çıkarmadığını ortaya koymaz. İzin envanteri ve imzalama yeteneğinin maruziyeti ayrı araştırma sorularıdır.

Dar sonuçlar belirtin

OBSERVED: öğretim verisi değerleri ve oturum durumu. INFERRED: seçilen tuple'ın 100'den sıfıra değişimi. UNKNOWN: eksiksiz izin envanteri ve R5'in kullanılabilirliği. INSUFFICIENT EVIDENCE: ‘tüm varlıklar güvenli’. Sınırları belirli sonuç H12 anındaki seçilen tuple'ı adlandırır ve ayrı satırları çözümlenmemiş bırakır.

• Harcama izni: kapsamı belirli izin değeri.
• Harcayıcı: uygulanabilir yetkilendirme rolü.
• İptal kanıtı: bağlamdaki sonuç izin durumu.
• Kapsam: gerçekten sunulan izin satırları.

ILLUSTRATIVE kartlar. R1 SIM-N/TOKEN-A/OWNER-X/SPENDER-Y, SIM-H10 anında harcama izni 100 tam öğretim verisi birimi. R2 arayüz bağlantısı T1 anında kesilmiş. R3 aynı tuple, H12 harcama izni 0. R4 TOKEN-B/aynı owner/spender H12 harcama izni 80. R5 TOKEN-A permit özeti; güncel nonce/kullanım ilişkisi UNKNOWN. Gerçek onay, imza veya işlem yok.

Tuple/bağlam matrisi. R1→R3 seçilen karşılaştırmadır; R4 80 kalır, R5 bilinmiyor. R2'yi otomatik zincir üstü durum bağlantısı olmadan oturum satırına yerleştirin.

Seçilen öğretim verisi durumları ve kapsamı belirli karşılaştırma.

Canlı iptal, eksiksiz izin sıfırlama, tüm permit'lerin geçersizleştirilmesi, kaybın geri çevrilmesi veya garantili güvenlik.

• Bağlantı kesmeye iptal demek.
• Tek sıfırı her tokena genellemek.
• Sıfır durumunun her imzayı iptal ettiğini varsaymak.

R1/R3/R4 izin satırlarını oluşturun. R2 ve R5'in sınırlarını açıklayın. ‘Bağlantı kesme ve sıfır her varlığı güvenli kılar’ ifadesini yeniden yazın.

Yalnızca sunulan çevrimdışı malzemeyi kullanarak tablo ve sınırları belirtilmiş sonuç teslim edin. Editoryal süre dağılımı: çalışma 12 dk, alıştırma 8 dk, düzeltme/quiz 10 dk.

• Tam tuple/bağlam.
• Oturum ve durum ayrı.
• Talepler ve sonuçlar ayrı.
• Farklı tokenlar ayrı tutulmuş.
• Mevcut imzalara ilişkin boşluklar adlandırılmış.

İzin bulgusu bağlamsaldır. Bağlantı kesme ve tek sıfır harcama izni, kapsamlı yetkilendirme sıfırlamasını veya varlık güvenliğini ortaya koymaz.

• Harcayıcıyı, miktarı ve iptal sınırlarını incelemek
• Tam harcama izni tuple'larını ve bağlamlarını okumak.
• Tüm yetkilendirmelerin sıfırlandığını iddia etmeden tek sıfır durumunu sınırlandırmak.

P03-L05 — ön koşullar ve düzeltme gözden geçirildikten sonra.

Yetkili katalogda NONE. Sunulan çevrimdışı veriler yeterlidir; ürün satın almak veya cüzdan işlemi yapmak gerekmez.

• [ERC20] ERC-20 token standardı — Uyumlu arayüzler için approve, allowance ve transferFrom.
• [PERMIT] ERC-2612 imzalı onaylar — owner, spender, value, nonce ve deadline ile permit harcama izni yetkilendirmesi.

Dokümantasyon, mekanizmaları açıklar. Tarihsel kayıtlar, beyan edilen kaynak sınıfını korur. Kaynak incelemesi, bağımsız editoryal kabul değildir.