Verifikasi kontrak dan mint yang tepat

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

Semua perhitungan berikutnya bergantung pada aset yang memang dimaksud. Audit izin yang benar pada kontrak yang salah tetap merupakan kegagalan. Nama, simbol, dan ikon membantu navigasi, bukan kunci primer. Pelajaran ini memperluas pengenalan mint tepat menjadi rekaman identitas yang dapat direproduksi, memisahkan peran akun dan logikanya.

Cocokkan target yang dinyatakan dengan rekaman, identifikasi bukti implementasi yang hilang, lalu tulis hasil yang bisa diulang analis lain. Tidak perlu menandatangani, menyetujui, atau membeli apa pun.

Susun tuple identitas

Mulai dengan jaringan, alamat lengkap, dan jenis objek. Bedakan mainnet dari pengujian serta rantai EVM yang berbeda. Teks menyerupai alamat saja belum lengkap. URL explorer dapat memilih jaringan lain walaupun alamat tampak dikenal. Pertahankan jaringan yang diminta saat pencarian memberi tiruan lebih populer.

Tulis pengenal penuh, bukan awalan singkat. Dalam pemeriksaan nyata validasi pengodean dan bandingkan byte alamat terdekode dengan alat tepercaya. Kapitalisasi checksum EVM berbeda dari konvensi base58 Solana. Label latihan tidak valid agar tidak menjadi sasaran transaksi; perbandingannya adalah perbandingan teks edukatif.

Tentukan objek yang dinamai. Mint Solana berbeda dari akun token penyimpan unit dan Token Program yang memuat logika instruksi [S08-TOKENS]. Implementasi EVM di balik proksi tidak otomatis menjadi alamat saldo pengguna. Nyatakan peran sebelum memakai nilai.

Pisahkan keberadaan, logika, dan afiliasi

Akun yang dikembalikan sumber membuktikan objek pada konteks, bukan dukungan merek. Verifikasi kode sumber explorer menyangkut kesesuaian sumber dan kode terpasang, bukan sertifikasi afiliasi resmi atau kelengkapan audit. Pertanyaan itu perlu rekaman terpisah [S08-CODE]. Etherscan membedakan kecocokan tepat dan serupa; yang serupa dapat menyisakan perbedaan constructor atau inisialisasi. Periksa jenis kecocokannya, jangan samakan semua lencana.

Pisahkan hasil: objek tepat cocok, implementasi belum terselesaikan, afiliasi belum dikukuhkan. Kecocokan identitas tidak menyelesaikan dua lainnya. Jika kesesuaian kode tersedia, pertahankan compiler, konfigurasi, dan cakupan penerapan; jangan menyebutnya “aman”.

ERC-20 menjelaskan antarmuka; nama dan simbol opsional, kompatibilitas bukan sertifikasi proyek [S08-ERC20]. Simbol sesuai harapan tidak membuktikan afiliasi. Metode familier dapat berdampingan dengan kontrol tambahan di luar antarmuka dasar.

Telusuri batas logika

Untuk mint Solana catat Token Program pemilik akun datanya. Bedakan bidang pemilik program dasar dari pemilik akun token untuk kepemilikan saldo. Mint berekstensi perlu decoder yang memahami ekstensi. Parser dasar yang mengabaikan status tambahan tidak membuktikan ketiadaan perilaku tambahan.

Alamat token proksi dapat tetap saat logika berubah. ERC-1967 menjelaskan tautan implementasi/beacon dan slot admin opsional [S08-PROXY]. Penerapan aktual menentukan kecocokan mekanisme; slot standar kosong tidak membuktikan semua mekanisme peningkatan tidak ada.

Simpan alamat proksi, implementasi, dan konteks bersama. Kode dan status dari konteks berbeda membuat rekaman campuran. Jika tautan tidak tersedia, identifikasi objek pengguna dan tandai resolusi logika belum lengkap. Jangan isi dengan sembarang kontrak berlabel “implementasi” di antarmuka.

Pertahankan asal pengambilan

Catat sumber, waktu pengambilan, konteks blok/slot jika tersedia, commitment/finalitas, dan asumsi decoder. Timeout berarti data tidak tersedia. Respons jaringan salah adalah ketidakcocokan, bukan ketiadaan pada jaringan tujuan. Jangan diam-diam mencoba rantai lain dan menggabungkan nilainya.

Dua antarmuka mungkin berbagi indexer. Kesepakatan berguna, bukan otomatis dua observasi independen. Catat sumber dasarnya jika terlihat; jika tidak, independensi tidak diketahui. Rekaman mentah dan decoding lebih dapat direproduksi daripada gambar terpotong tanpa pengenal tepat.

Pisahkan target yang dinyatakan dari yang dikukuhkan. Screenshot “alamat resmi” adalah pernyataan. Kecocokan hanya membuktikan pemeriksaan objek yang disebut. Afiliasi memerlukan sumber penerbit terautentikasi dengan konteks pengambilan; afiliasi terkonfirmasi pun tidak membuktikan keamanan.

Gunakan aturan berhenti

Hentikan kesimpulan bergantung identitas saat tuple tidak cocok atau peran belum jelas. Catat celah, jangan lampirkan pasokan/izin aset lain pada target. Hasil pencarian umum bukan pengganti.

Temuan singkat: “Jaringan/alamat yang diminta merujuk mint pada S0 yang disediakan; inventaris ekstensi dan afiliasi penerbit tidak disediakan.” Ini menjaga temuan positif dan batasnya. Rekaman lengkap menyebut bukti untuk langkah berikutnya.

Peninjau independen harus dapat mulai dari tuple tanpa menebak tab jaringan atau alamat singkat. Verifikasi baca-saja tidak perlu persetujuan dompet, dan latihan tidak memerlukan kredensial.

• Tuple identitas: jaringan, alamat penuh, peran objek.
• Mint: akun Solana yang mewakili token.
• Akun token: akun terpisah penyimpan unit suatu mint.
• Implementasi: logika kontrak yang didelegasikan.
• Asal data: sumber dan konteks pendukung rekaman.
• Afiliasi: hubungan yang diklaim dengan penerbit/merek.

ILLUSTRATIVE — FIX-P08-01. S0 fiktif, bukan blok nyata. D1 meminta SIM-SOL-A / MINT-ALPHA sebagai mint; atribusi penerbit belum diautentikasi.

I1 memuat bidang dasar tanpa inventaris ekstensi. I5 memiliki tautan tanpa kesesuaian sumber/build.

OBSERVED dalam data latihan: I1 cocok dengan tuple D1; I3 merujuk mint itu tetapi memiliki peran lain.

INFERRED: I1 awal yang tepat untuk pemeriksaan dasar. I5/I6 menjelaskan tautan proksi terpisah yang disediakan.

UNKNOWN: Afiliasi, status ekstensi yang tidak dicantumkan, dan kesesuaian kode/build I5.

INSUFFICIENT EVIDENCE: Simbol sama tidak menjadikan I2/I4 target. I6 yang memuat logika tidak dapat menggantikan I5 yang dihadapi pengguna.

Hanya mencocokkan simbol, melupakan jaringan, mengganti mint dengan akun saldo, menganalisis saldo implementasi, menganggap kode terlihat sebagai sertifikat keamanan.

Pilih kecocokan D1; tolak I2–I4 dengan alasan masing-masing. Tulis catatan I5 terpisah. Sebut tiga celah sebelum menilai perilaku I1 sepenuhnya.

• Pertahankan jaringan dan pengenal penuh.
• Verifikasi peran dan tautan program/logika.
• Cocokkan konteks sebelum menggabungkan bukti.
• Pisahkan afiliasi dari peninjauan kode.
• Berhenti jika masukan identitas tidak cocok.

Verifikasi identitas menghasilkan rekaman objek terbatas. Jaringan dan peran tepat adalah prasyarat pengukuran berikutnya.

Simbol hanyalah label. Mint, akun saldo, dan implementasi merupakan objek berbeda. Bukti tautan/afiliasi yang hilang tetap terlihat.

Bandingkan D1 dengan I1–I4, tandai perbedaan jaringan/alamat/peran. Tempatkan I5→I6 dalam panel logika S0 terpisah; kesesuaian build tidak diketahui. Hindari lencana keamanan.

Kecocokan identitas ilustratif; tanpa pengukuhan penerbit.

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.

• Tab Kode Kontrak Etherscan — Label kecocokan bytecode tepat versus serupa serta informasi compiler, constructor, dan audit yang terpisah. Diperiksa 2026-09-30.
• Aset Solana — Identitas mint/akun/program dan desimal; bedakan bidang kepemilikan akun. Diperiksa 2026-09-30.
• Standar Token ERC-20 — Antarmuka standar; nama, simbol, dan desimal opsional; bukan sertifikasi hak istimewa atau identitas. Diperiksa 2026-09-30.
• Slot Penyimpanan Proksi ERC-1967 — Slot implementasi, beacon, dan admin opsional; pemeriksaan sesuai mekanisme. 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-L02 setelah latihan dengan pembahasan dan peninjauan kuis.