Pembekuan, kepemilikan, dan otoritas

Master sumber EN · P08-L04 · perkiraan 45 menit · needs_review

Lencana “kepemilikan dilepas” dapat berdampingan dengan peran pause atau pengendali peningkatan aktif. Otoritas mint dicabut bisa berdampingan dengan freeze. Masing-masing benar sementara “tidak ada yang mengendalikan” salah.

Hubungkan tiap hak dengan objek, pemegang, syarat, dan jalur administrasinya. Hasilnya rekaman bukti, bukan skor keamanan atau tuduhan.

Tentukan objek yang dikendalikan

Jangan sebut owner tanpa objek. Pemilik program akun data Solana, otoritas akun token, owner EVM Ownable, dan pemilik posisi NFT adalah bidang berbeda. Nama mirip, mekanisme berbeda. Tulis bidang/objek di samping nilai.

Pisahkan kontrol saldo token, pembatasan mint, peran aplikasi, dan perubahan kode. Temuan satu lapisan tidak menghapus izin lain. Mint bisa tanpa mint authority saat aplikasi terkait tetap dapat ditingkatkan. Tinjau aplikasi terpisah; jangan anggap ia mengendalikan Token Program standar.

Peta kontrol adalah graf kemampuan, bukan identitas manusia. Otoritas dapat berupa akun pengguna atau alamat melalui program. Label publik tidak membuktikan pemegang kunci atau pengendali bersama beberapa akun.

Pahami freeze sebagai pembatasan status

Freeze Solana mempertahankan pemilik akun token, mint, saldo, tetapi mencegah operasi menerima, transfer, burn yang didokumentasikan sampai thaw [S08-FREEZE]. Bukan penghapusan saldo atau transfer ke pembeku.

Catat status dan otoritas terpisah. Freeze authority bisa ada saat akun tidak beku. Status beku tidak membuktikan manusia tertentu penyebabnya. Minta operasi berhasil dan otorisasi untuk atribusi.

Pencabutan menghapus peran terpilih, bukan semua kuasa [S08-SET]. Pencabutan mint tidak otomatis mengubah freeze. Akun beku yang ada serta jalur pemulihan/thaw perlu diperiksa tersendiri; pencabutan sempit tidak membuktikan semua akun dapat transfer.

Periksa peran aplikasi di luar Ownable

Pelepasan Ownable OpenZeppelin menonaktifkan fungsi yang dijaga pemeriksaan owner; izin peran adalah pola terpisah [S08-ACCESS]. Apakah token terpasang menggabungkannya adalah pertanyaan kode/status. Peran pause yang tersisa tidak hilang hanya dengan pelepasan owner.

Buat tabel ownership, pause, pemberian/pencabutan peran, peningkatan. Catat pemeriksaan aktual, otoritas, administrasi, ketidakpastian. Nama peran hanya deskripsi sampai terhubung operasi yang dapat dijangkau. “PAUSER” dalam metadata bukan bukti fungsi pause.

Kontrol dapat memakai timelock/multisig. Verifikasi kontrak, ambang, penundaan, bypass; jangan percaya lencana. Penundaan adalah syarat waktu, bukan hilangnya kontrol. Ambang multisig menyatakan tanda tangan, bukan selalu manusia independen.

Telusuri kontrol proksi/implementasi

Untuk proksi ERC-1967 bedakan tautan implementasi/beacon dari slot admin opsional. Beacon menentukan logika proksi terkait; otorisasi UUPS bisa dalam implementasi. Slot admin kosong saja tidak cukup [S08-PROXY; S08-UUPS].

Alamat pengguna proksi dapat tetap saat aturan berubah. Patok implementasi pada konteks tinjauan, periksa jalur pengubahnya. Jangan audit halaman implementasi terverifikasi sambil mengabaikan tautan proksi. Implementasi berikutnya dapat membatalkan asumsi perilaku lama.

Ini bukan pelajaran eksekusi peningkatan, melainkan deskripsi otorisasi baca-saja. Jika aturan internal pengendali tidak tersedia, tandai tidak diketahui walau alamat eksternal diketahui.

Pisahkan peningkatan program Solana dari peran mint

Dalam loader-v3 Solana, peningkatan bergantung otoritas peningkatan program; penghapusannya membuat program itu immutable [S08-DEPLOY]. Ini bukan mint-authority pada mint. Klaim terbatas program dan loader yang ditinjau, bukan semua kontrak/layanan luar rantai terkait.

Mint di Token Program standar tidak otomatis mandiri dapat ditingkatkan karena aplikasi khusus memakainya. Sebut program khusus dan relevansinya. PROGRAM-X latihan adalah aplikasi tambahan, bukan Token Program pemilik MINT-F.

Immutable terbatas objek kode. Tidak membuktikan pengguna jujur, metadata immutable, likuiditas cukup, sistem sekitar aman. Otoritas peningkatan aktif membuktikan kemampuan bersyarat, bukan perubahan jahat mendatang.

Laporkan hasil berlapis

Kalimat defensibel: “Pada S0 bidang owner dilepas, PAUSER tetap ditetapkan, pengendali peningkatan proksi tersedia tetapi ambang internal tidak diketahui.” Lebih informatif daripada label mutlak “terdesentralisasi”.

Uji apakah satu baris tersisa membantah klaim. Satu kemampuan aktif terbukti membantah “tak ada kontrol istimewa”. Klaim sempit “peran owner Ownable tidak ada” bisa tetap benar. Pertahankan kedua lingkupnya.

• Status freeze: pembatasan operasi akun token.
• Owner Ownable: otoritas menurut pola pemeriksaan owner tertentu.
• Pemegang peran: akun memenuhi pemeriksaan keanggotaan.
• Pengendali peningkatan: otoritas jalur perubahan kode.
• Beacon: mekanisme tautan logika proksi.
• Timelock: syarat penundaan operasi tertentu.

ILLUSTRATIVE — FIX-P08-04. Objek fiktif terpisah pada S0.

PROGRAM-X bukan Token Program pengatur MINT-F. Efek kode penghubung aplikasi tambahan ke mint tidak tersedia.

OBSERVED dalam data latihan: F tersisa, V beku, P/G tersisa, C/U adalah otoritas peningkatan tersedia.

INFERRED: “Semua kontrol dihapus” dibantah kemampuan terpisah ini. Owner dilepas adalah klaim sempit didukung tentang P2.

UNKNOWN: Aturan internal C, manusia pengendali, pembeku V, efek aplikasi tepat PROGRAM-X.

INSUFFICIENT EVIDENCE: Freeze bukan penghancuran saldo V. Owner tidak ada bukan tanpa peran/peningkatan. U tidak membuktikan Token Program standar dikendalikan U.

Owner tanpa objek; saldo beku dianggap nol; admin slot kosong berarti tak ada peningkatan; label multisig dianggap kontrol independen terverifikasi; otoritas program tambahan disamakan dengan mint.

Buat empat lapisan: status akun, peran mint, peran aplikasi EVM, jalur perubahan implementasi. Perbaiki “semua ownership dilepas, semua immutable”. Sebut bukti berikutnya untuk C/V.

• Sebut objek tiap bidang owner.
• Pisahkan otoritas dari status kini.
• Periksa peran setelah owner dilepas.
• Resolusi logika/peningkatan pada konteks sama.
• Verifikasi ambang/penundaan, bukan label.
• Batasi immutabilitas ke objek tinjauan.

Kontrol berlapis. Peran dihapus membuktikan fakta sempit; peran aktif dan perubahan kode perlu tinjauan terpisah.

Freeze pembatasan, bukan penghapusan. Pelepasan owner bukan semua kontrol dilepas. Otoritas proksi, program, mint berbeda.

Peta izin empat lajur dengan F1–F3,P1–P3,X1; tampilkan saldo beku tetap 50. Gambar PROXY-Q→LOGIC-Q dan C terpisah; PROGRAM-X/U terisolasi dari MINT-F. Konfigurasi C tidak diketahui.

Kontrol berlapis ilustratif; owner tidak ada adalah klaim sempit.

Gunakan SVG/HTML deterministik atau grafik dengan alternatif teks, biru tua/hitam serta sian, biru elektrik, dan violet secukupnya. Beri label setiap kuantitas dan ketidakpastian. Pada 390px susun panel vertikal; verifikasi 768px/desktop dan RTL Arab tetap menjadi pekerjaan aset berikutnya. Pertahankan pengenal LTR serta sumbu dan arah hubungan faktual. Jika merek ditambahkan, gunakan hanya logo resmi BlockAssay yang disediakan. Kedua rekaman adalah spesifikasi, bukan aset yang telah diserahkan.

Gunakan RADAR hanya untuk tujuan edukasi terbatas pelajaran ini jika dukungan jaringan, identitas tepat, bidang, dan asal data telah diverifikasi. Konten ini tidak menyatakan endpoint runtime atau kemampuan penyedia apa pun. Gunakan data latihan offline tertanam tanpa akses berbayar. Data yang hilang tetap tidak diketahui; koneksi dompet, tanda tangan transaksi, peluncuran token, atau perdagangan langsung tidak diperlukan. Kemajuan Academy, pembayaran, dan rujukan tidak pernah mengubah bukti Radar. Paspor Diagnostik mempertahankan observasi dan batasannya, bukan prediksi harga atau sertifikat keamanan.

• Proksi OpenZeppelin 5.x — Mekanisme peningkatan transparent, beacon, dan UUPS berbasis implementasi; otorisasi aktual perlu diperiksa. Diperiksa 2026-09-30.
• Pembekuan Akun Solana — Pembatasan status akun berbeda dari jumlah atau kepemilikan. Diperiksa 2026-09-30.
• Pengaturan Otoritas Solana — Perubahan dan pencabutan khusus peran; bukan kesimpulan keamanan global. Diperiksa 2026-09-30.
• Kontrol Akses OpenZeppelin 5.x — Pola hak istimewa Ownable dan berbasis peran; periksa otorisasi aktual yang diterapkan. Diperiksa 2026-09-30.
• Slot Penyimpanan Proksi ERC-1967 — Slot implementasi, beacon, dan admin opsional; pemeriksaan sesuai mekanisme. Diperiksa 2026-09-30.
• Penerapan Program Solana — Otoritas peningkatan program loader-v3; bukan peran mint token. Diperiksa 2026-09-30.

Dokumentasi mendukung mekanisme, bukan nilai dataset fiktif. Semua contoh dan rekaman latihan merupakan materi ILLUSTRATIVE asli yang dibekukan dalam berkas ini. S0/S1 adalah label konteks sintetis; observedAt bernilai null karena tidak ada pengukuran buku besar langsung atau historis yang dikumpulkan. Tinjau ulang dokumentasi dan perilaku penerapan aktual sebelum publikasi atau integrasi.

P08-L05 setelah latihan dengan pembahasan dan peninjauan kuis.