Penyalahgunaan hak istimewa pasokan dan transfer terbatas

Mint atau pembatasan dapat secara material mengubah kemampuan pengguna, tetapi keberadaan kode maupun satu transfer gagal tidak secara independen membuktikan penggunaan berbahaya di setiap dompet.

Pisahkan kemampuan yang dapat dicapai, pemanggilan yang diamati, efek keadaan, dan niat yang diatribusikan. Fungsi bernama mint tidak cukup: periksa implementasi, otorisasi, dan jalur alternatifnya. Mint berhak istimewa yang diamati memerlukan identitas token tepat, rekonsiliasi peristiwa/keadaan, blok, dan jumlah. Slogan batas mungkin dibatasi oleh upgrade atau peran alternatif. Fungsi pembatasan mungkin mempunyai tujuan sah yang dinyatakan, tetapi efek aktualnya harus diuji pada keadaan tertentu.

Untuk transfer selektif, sebut kelas pengirim, penerima, rute, jumlah, blok, dan metode eksekusi. Pengirim berhak istimewa yang lolos tidak membuktikan pengguna biasa dapat keluar; skenario biasa yang gagal tidak membuktikan kegagalan universal. Revert dapat timbul dari saldo, allowance, rute, deadline, keadaan, atau kebijakan. Kerugian output ekonomi juga berbeda dari biaya nominal. Pertahankan penjelasan bersaing dan ketergantungan belum terselesaikan terlihat.

Fixture ini menggunakan baris eksekusi kertas, bukan simulasi atau transaksi langsung. Konteks Radar disebut kurikulum tetapi tidak menghasilkan output nyata di sini. Laporkan setiap perubahan teknis dalam lingkup yang ditetapkan dan tolak atribusi manusia/niat tanpa bukti independen.

Kemampuan: perilaku berhak istimewa yang dapat dicapai.

Pemanggilan: penggunaan perilaku itu yang dicatat.

Pembatasan selektif: hasil berbeda dalam kondisi pengirim/rute yang dinyatakan.

Lingkup uji: keadaan dan parameter tepat untuk pengamatan eksekusi.

ILLUSTRATIVE pada blok B: mint peran M yang ditetapkan menambah 200 pada pasokan 1000, menghasilkan 1200. Pada B+1, pengirim biasa W gagal melakukan transfer 10-satuan pada rute R dengan alasan POLICY; pengirim berhak istimewa P lolos dengan jumlah/rute sama yang dinyatakan. Saldo dan allowance ditetapkan cukup. Implementasi dan cakupan rute lebih luas tidak tersedia.

Matriks izin kontrak dengan baris mint M dan transfer W/P, parameter kertas tepat, dan hasil. Tambahkan kesenjangan rute/jumlah belum diuji alih-alih lencana honeypot universal.

Keterangan: Perubahan berhak istimewa dan hasil selektif fiktif; tanpa kesimpulan jalan keluar universal atau niat.

SPECIFICATION_ONLY — visual yang dirender belum dibuat atau ditinjau secara independen.

Dalam fiksi, aritmetika pasokan meningkat 20%, dan dua skenario pengirim mempunyai hasil kebijakan berbeda. Itu pengamatan kertas berbatas.

Tidak ada mint aktual, deployment kode, kegagalan transfer universal, niat merugikan, identitas pengontrol, atau hasil Radar independen yang ditetapkan. Satu rute dan jumlah tidak mencakup setiap jalur keluar.

Menyebut keberadaan kode sebagai pemanggilan yang diamati; mengasumsikan keberhasilan berhak istimewa membuktikan jalan keluar publik; menggeneralisasikan satu rute ke semua transfer; menganggap pembatasan sebagai penipuan otomatis.

Hitung perubahan pasokan, tulis tabel skenario, dan klasifikasikan “semua orang dapat keluar,” “tidak ada yang dapat mentransfer,” dan “kebijakan berbeda menurut pengirim.” Sebut dua uji yang belum tersedia.

• Pisahkan kemampuan, pemanggilan, dan efek.
• Rekonsiliasikan pasokan menggunakan satuan mentah kompatibel.
• Batasi pengirim/jumlah/rute/keadaan.
• Pertahankan penjelasan alternatif dan niat tidak diketahui.

Efek berhak istimewa yang diamati dan perbedaan eksekusi berbatas memerlukan catatan spesifik dan tidak boleh menjadi klaim universal atau kriminal.

• Fungsi yang dapat dicapai bukan bukti penggunaannya.
• Keberhasilan berhak istimewa tidak menetapkan jalan keluar pengguna biasa.
• Satu skenario diuji tidak dapat menyelesaikan semua jalur eksekusi.

P13-L05

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.

• 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.
• PROXY: Slot penyimpanan proxy ERC-1967 — Slot implementasi/admin terstandardisasi; pelepasan satu peran tidak menetapkan semua jalur upgrade dinonaktifkan. Batas: Hanya dokumentasi mekanisme; nilai ilustratif asli ditetapkan, bukan pengamatan. Catatan historis mempunyai provenance yang dibekukan terpisah dan kesenjangan pengumpulan eksplisit.

ILLUSTRATIVE — masukan luring sepenuhnya fiktif; tanpa pengamatan terkini.

null — tanpa pengamatan nyata

1

null

needs_review