P12-L03 · P12 · P12-M01
Jelaskan kompromi mempertahankan, mentransfer, dan mencabut kontrol
Prasyarat: P12-L02
Tujuan pembelajaran
- Jelaskan kompromi mempertahankan, mentransfer, dan mencabut kontrol
- Petakan setiap kontrol yang dipertahankan dan jelaskan apa yang dihapus dan tidak dihapus pencabutan usulan.
Mengapa ini penting
“Dilepaskan” merupakan deskripsi kontrol tidak lengkap jika admin proxy, peran mint terpisah, atau otoritas pause tetap ada. Peta izin memerlukan fungsi yang terdampak dan setiap jalur relevan.
Penjelasan
Buat inventaris kemampuan: mint, burn, pause, blacklist atau pembatasan transfer, pembaruan metadata, perubahan biaya, dan upgrade implementasi. Sebagian kemampuan mungkin tidak ada; ketiadaan memerlukan bukti implementasi, bukan tombol antarmuka yang tidak terlihat. Sebut peran atau otoritas yang dapat memanggil setiap jalur, rute delegasi/pemulihannya, dan kondisi untuk mengubahnya.
Pencabutan dibatasi pada kemampuan tertentu. Penghapusan kepemilikan token tidak dengan sendirinya menghapus admin upgrade proxy atau peran berhak istimewa lainnya. Slot proxy standar membantu menemukan kolom implementasi/admin tertentu, tetapi desain khusus memerlukan buktinya sendiri. Pengaturan multisignature dan penundaan dapat mengubah kondisi eksekusi; pengaturan itu tidak menetapkan penanda tangan independen atau menghilangkan semua risiko kompromi.
Untuk setiap kontrol usulan yang dipertahankan, ungkap konsekuensi praktis dan alasan keberadaannya. Untuk setiap transfer atau pencabutan, cantumkan jalur tersisa dan verifikasi yang diperlukan. Jangan mengubah pernyataan yang tampak tidak dapat dibalik menjadi skor keamanan. Pelajaran ini tidak mengubah peran dan tidak mengeksekusi transaksi.
Istilah
Kemampuan: tindakan berhak istimewa yang dapat dicapai melalui jalur tertentu.
Pencabutan peran: penghapusan satu hubungan otorisasi.
Jalur upgrade: mekanisme yang dapat mengubah perilaku implementasi.
Kontrol tersisa: kemampuan yang tetap ada setelah perubahan yang dinyatakan.
Contoh historis
ILLUSTRATIVE peta Cedar: peran mint M; peran pause P; admin proxy U; editor metadata D. Perubahan usulan mencabut M tetapi mempertahankan P, U, D. U dideskripsikan sebagai 2-of-3 dengan penundaan 24-jam; independensi penanda tangan dan penegakan yang di-deploy tidak dibuktikan.
Spesifikasi visual
Peta izin kontrak dengan simpul M, P, U, D sebelum/sesudah pencabutan M usulan. Pertahankan U/P/D sebagai jalur tersisa bergaris penuh; anotasi2-of-3/24h sebagai asumsi desain belum terverifikasi.
Keterangan: Pencabutan fiktif khusus peran; jalur upgrade dan pause yang dipertahankan tetap terlihat.
SPECIFICATION_ONLY — visual yang dirender belum dibuat atau ditinjau secara independen.
Yang dibuktikan bukti
Peta fiktif memperjelas bahwa pencabutan peran mint usulan menyisakan tiga kemampuan yang dinyatakan. 2-of-3 dan penundaan hanya klaim desain.
Yang tidak dibuktikan bukti
Tidak ada keadaan peran yang di-deploy, multisig terverifikasi, pencabutan aktual, jaminan pasokan permanen, atau bukti penanda tangan independen. U dapat mengubah perilaku jika implementasi usulan mengizinkannya.
Kesalahan umum
Menyebut pencabutan M “semua kontrol dihapus”; mengasumsikan label multisig membuktikan orang independen; menganggap penundaan sebagai audit; mengabaikan jalur metadata atau biaya.
Latihan praktik
Buat baris kemampuan sebelum/sesudah dan tulis ulang “Cedar telah sepenuhnya melepaskan kontrol dan tidak dapat berubah.” Nyatakan dua pemeriksaan yang diperlukan sebelum klaim pencabutan langsung apa pun.
Tampilkan koreksi terperinci
Sebelum: M mint, P pause, U upgrade, D metadata. Setelah perubahan usulan: M dihapus menurut asumsi; P/U/D dipertahankan. Pengungkapan revisi: “Desain ilustratif mengusulkan pencabutan peran mint sambil mempertahankan kontrol pause, upgrade, dan metadata; tidak ada keadaan otorisasi atau transaksi langsung terverifikasi.” Periksa implementasi/penyimpanan peran tepat dan receipt pencabutan pada blok tetap, lalu periksa jalur upgrade/delegasi tersisa. Pernyataan 2-of-3/24h memerlukan bukti kontrak aktual dan kebijakan penanda tangan.
Daftar periksa
- Inventarisasikan setiap jalur berhak istimewa yang material.
- Deskripsikan pencabutan khusus peran dan kontrol tersisa.
- Beri batasan pada asumsi penanda tangan dan penundaan.
- Pisahkan klaim desain dari keadaan yang di-deploy.
Ringkasan
Pengungkapan kontrol bersifat khusus kemampuan; satu peran dihapus tidak menetapkan aset yang tidak dapat diubah atau bebas otoritas.
Ringkasan
- Pencabutan mempunyai lingkup.
- Jalur upgrade dan delegasi dapat mempertahankan kontrol.
- Label multisig tidak membuktikan independensi penanda tangan.
Pelajaran berikutnya
P12-L04
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
- 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.
- 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
P12-L03-V01
Jelaskan kompromi mempertahankan, mentransfer, dan mencabut kontrol
Pencabutan fiktif khusus peran; jalur upgrade dan pause yang dipertahankan tetap terlihat.
Peta izin kontrak dengan simpul M, P, U, D sebelum/sesudah pencabutan M usulan. Pertahankan U/P/D sebagai jalur tersisa bergaris penuh; anotasi2-of-3/24h sebagai asumsi desain belum terverifikasi.
Peta izin kontrak dengan simpul M, P, U, D sebelum/sesudah pencabutan M usulan. Pertahankan U/P/D sebagai jalur tersisa bergaris penuh; anotasi2-of-3/24h sebagai asumsi desain belum terverifikasi.
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.
P12-L03-ILLUSTRATIVE-v1
Sumber dan batas klaim
PROXY · PRIMARY_DOCUMENTATION
Slot penyimpanan proxy ERC-1967
- Klaim yang didukung
- Slot implementasi/admin terstandardisasi; pelepasan satu peran tidak menetapkan semua jalur upgrade dinonaktifkan.
- 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-1967
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: P12-L03-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.