Lewati ke kontenBlockAssay

Desain otoritas dan upgrade

P12-L03 · P12 · P12-M01

Jelaskan kompromi mempertahankan, mentransfer, dan mencabut kontrol

ILLUSTRATIVE · needs_review

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

SPECIFICATION_ONLY · ILLUSTRATIVE

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
Buka sumber utama
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
Buka sumber utama
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.

Uji penalaranmu

P12-L03-Q1 · M dicabut tetapi U tetap ada. Pernyataan mana yang sesuai?
P12-L03-Q2 · Apa yang dibuktikan 2-of-3 dalam peta kertas ini?
P12-L03-Q3 · Mengapa memeriksa jalur implementasi/admin?
P12-L03-Q4 · Apa yang harus diungkap peran pause yang dipertahankan?
P12-L03-Q5 · Pasangan mana mendukung pernyataan pencabutan langsung?