P13-L02 · P13 · P13-M01
Rekonstruksi urutan approval berbahaya yang disanitasi
Prasyarat: P13-L01
Tujuan pembelajaran
- Rekonstruksi urutan approval berbahaya yang disanitasi
- Rekonstruksi urutan approval dan pembelanjaan yang disanitasi sambil memisahkan klaim otorisasi, perpindahan, dan penyesatan.
Mengapa ini penting
Approval dapat mengotorisasi spender tanpa dengan sendirinya memindahkan dana. Mencampurkan approval dengan kerugian menyembunyikan catatan berikutnya mana yang akan menetapkan transfer aset aktual.
Penjelasan
Pisahkan urutan usulan menjadi catatan: representasi yang dilihat pengguna, perubahan otorisasi, percobaan pembelanjaan, dan perpindahan yang diamati. Allowance ERC-20 merupakan izin pembelanjaan teknis; peristiwa approval saja tidak menunjukkan transfer selesai. Perpindahan berhasil bergaya transferFrom memerlukan eksekusi/receipt relevan dan rekonsiliasi keadaan. Otorisasi berbasis tanda tangan mempunyai skema dan lingkup sendiri; jangan generalisasikan semantik approve biasa ke setiap pesan yang ditandatangani.
Pertahankan aset, pemilik, spender, jumlah, jaringan, dan dasar waktu tepat untuk kasus nyata. Di sini gunakan hanya label kertas yang tidak dapat dieksekusi. Jika halaman yang ditampilkan menjanjikan satu tindakan sementara otorisasi yang ditetapkan memberikan yang lain, laporkan inkonsistensi itu. Klaim penyesatan atau paksaan memerlukan bukti yang dapat diterima tentang representasi dan konteks; allowance luas merupakan paparan kontrol, bukan niat kriminal otomatis.
Jangan pernah meminta peserta menghubungkan dompet, menandatangani, memberikan approval, mengirim dana, atau memberikan seed/kunci privat untuk mendemonstrasikan mekanisme. Bekerjalah dari catatan tersanitasi. Respons insiden nyata mungkin memerlukan keahlian khusus konteks; pelajaran ini latihan membaca bukti, bukan prosedur transaksi.
Istilah
Allowance: otorisasi pembelanjaan teknis untuk spender.
Approval: pembaruan izin, berbeda dari perpindahan aktual.
Peristiwa pembelanjaan: bukti eksekusi bahwa aset berpindah melalui kemampuan.
Konflik representasi: tindakan yang dijanjikan berbeda dari kontrol yang diberikan.
Contoh historis
ILLUSTRATIVE: halaman kertas P menjanjikan “klaim 10 satuan.” Catatan R1 menetapkan bahwa pemilik W memberi spender S allowance 1000 untuk aset T. Catatan R2 menetapkan bahwa S berhasil memindahkan 400 T dari W ke D; receipt R2 hanya ada sebagai baris latihan rekaan. Capture halaman tidak mengidentifikasi operator manusia.
Spesifikasi visual
Linimasa izin kontrak P→R1 otorisasi→R2 perpindahan dengan jumlah terpisah 10/1000/400 dan jalur identitas tidak diketahui. Tanpa URL aktif atau instruksi approval yang dapat dieksekusi.
Keterangan: Urutan approval tersanitasi fiktif; otorisasi dan perpindahan selesai merupakan catatan berbeda.
SPECIFICATION_ONLY — visual yang dirender belum dibuat atau ditinjau secara independen.
Yang dibuktikan bukti
Dalam fixture, R1 mengubah izin dan R2 mencatat perpindahan 400-satuan. Teks klaim 10-satuan bertentangan dengan lingkup izin 1000-satuan.
Yang tidak dibuktikan bukti
Ini tidak membuktikan situs phishing nyata, tanda tangan langsung, kerugian dompet aktual, identitas operator, atau niat kriminal. R1 saja tidak menetapkan perpindahan apa pun; pencabutan berikutnya tidak akan membatalkan R2.
Kesalahan umum
Menyebut approval sendiri sebagai transfer; menggunakan label izin tak terbatas sebagai bukti penipuan; merekayasa receipt yang tidak tersedia; meminta peserta menandatangani untuk menguji skenario.
Latihan praktik
Bangun urutan empat kolom untuk P,R1,R2 dan identitas. Hitung allowance tersisa yang ditetapkan menurut asumsi pengurangan sederhana latihan dan nyatakan bagaimana kesimpulan berubah jika R2 tidak tersedia.
Tampilkan koreksi terperinci
P: representasi klaim 10-satuan fiktif dengan atribusi. R1: izin fiktif 1000 T kepada S. R2: perpindahan berhasil fiktif 400 T kepada D. Identitas:tidak diketahui. Menurut asumsi pengurangan allowance biasa yang ditetapkan, sisa=1000−400=600; implementasi aktual mungkin berbeda dan memerlukan pemeriksaan. Tanpa R2, hanya paparan otorisasi dan ketidakcocokan representasi didukung, bukan kerugian selesai. Bahkan dengan R2, perpindahan teknis tidak mengidentifikasi operator atau secara independen menetapkan niat. Tidak diperlukan interaksi dompet.
Daftar periksa
- Pisahkan representasi, approval, dan perpindahan.
- Ikat setiap baris pada aset/pemilik/spender/jaringan.
- Jangan reka catatan eksekusi yang tidak tersedia.
- Gunakan masukan luring tersanitasi tanpa tanda tangan atau dana.
Ringkasan
Analisis penyalahgunaan approval memerlukan catatan izin dan bukti perpindahan, dengan klaim representasi dan identitas dinilai secara terpisah.
Ringkasan
- Approval bukan transfer.
- Catatan pembelanjaan berikutnya dapat menetapkan perpindahan dalam lingkupnya.
- Otorisasi teknis tidak mengidentifikasi manusia atau membuktikan niat.
Pelajaran berikutnya
P13-L03
Alat
Gunakan alat BlockAssay yang disebut hanya sebagai konteks pembacaan bukti. Pelajaran ini tidak membuat output alat, sesi akun, atau hak layanan. Latihan luring; jangan menandatangani, deploy, menyetujui, atau mendanai apa pun.
Sumber dan batas klaim
- ERC20: Standar ERC-20 — Antarmuka token dan semantik allowance; standar tidak menetapkan identitas penerbit atau izin aman. Batas: Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai provenance yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
Klasifikasi bukti
ILLUSTRATIVE — masukan luring sepenuhnya fiktif; tanpa pengamatan terkini.
Tanggal pengamatan
null — tanpa pengamatan nyata
Versi konten
1
Tanggal peninjauan
null
Status peninjauan
needs_review
Spesifikasi visual
P13-L02-V01
Rekonstruksi urutan approval berbahaya yang disanitasi
Urutan approval tersanitasi fiktif; otorisasi dan perpindahan selesai merupakan catatan berbeda.
Linimasa izin kontrak P→R1 otorisasi→R2 perpindahan dengan jumlah terpisah 10/1000/400 dan jalur identitas tidak diketahui. Tanpa URL aktif atau instruksi approval yang dapat dieksekusi.
Linimasa izin kontrak P→R1 otorisasi→R2 perpindahan dengan jumlah terpisah 10/1000/400 dan jalur identitas tidak diketahui. Tanpa URL aktif atau instruksi approval yang dapat dieksekusi.
Tumpuk pengamatan, asumsi, kesenjangan, dan kesimpulan pada 390 px; pertahankan ID lengkap dan padanan teks lengkap. Tabel lebar mana pun bergulir secara lokal.
Prosa dapat mengikuti RTL; ID, jumlah, dan sumbu waktu tetap LTR. Pertahankan arah ketergantungan.
P13-L02-ILLUSTRATIVE-v1
Sumber dan batas klaim
ERC20 · PRIMARY_DOCUMENTATION
Standar ERC-20
- Klaim yang didukung
- Antarmuka token dan semantik allowance; standar tidak menetapkan identitas penerbit atau izin aman.
- Batas verifikasi
- Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai provenance yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.
- Tanggal pemeriksaan
- 2026-10-02
https://eips.ethereum.org/EIPS/eip-20
Asal data
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.