Lewati ke kontenBlockAssay

Eksekusi dan finalitas Ethereum

P02-L02 · P02 · P02-M01

Memisahkan receipt eksekusi dari finalitas konsensus

ILLUSTRATIVE · needs_review

Prasyarat: P02-L01

Tujuan pembelajaran

  • Memisahkan receipt eksekusi dari finalitas konsensus
  • Memisahkan hasil eksekusi dari konteks konsensus.
  • Menjelaskan eksekusi gagal yang telah final.
  • Membaca asumsi hubungan leluhur blok.

Master sumber EN · P02-L02 · 30 menit perkiraan · needs_review

Pembelajaran hanya baca. Tanpa koneksi dompet, uang nyata, frasa pemulihan, kunci privat, tanda tangan, atau transaksi trading langsung. Durasi merupakan perkiraan editorial; aset visual berupa spesifikasi, bukan komponen yang telah diterapkan.

Mengapa ini penting

Keberhasilan dan finalitas menjawab pertanyaan berbeda. Mencampurkannya dapat membuat transaksi gagal terlihat berhasil atau transaksi yang tercantum terlihat lebih tuntas daripada yang didukung bukti.

Penjelasan

Dua sumbu, bukan satu tangga status

Receipt menjelaskan eksekusi. Eksekusi Ethereum berjalan pada Ethereum Virtual Machine (EVM), lingkungan yang menerapkan aturan eksekusinya. Informasi konsensus menjelaskan apakah blok yang memuatnya termasuk dalam riwayat dengan status penyelesaian tertentu. Proof of stake Ethereum menggunakan checkpoint dan suara validator untuk finalitas; validator adalah peserta protokol dengan peran pemungutan suara yang didukung ETH yang di-stake [POS]. Eksekusi berhasil dalam blok baru belum tentu telah final.

Sebaliknya, eksekusi gagal dapat termuat dalam riwayat yang telah final. Finalitas tidak menulis ulang hasilnya. Kegagalan yang tercantum dalam blok tetap dapat mengonsumsi biaya [GAS]. Jangan merangkum kedua sumbu sebagai satu lencana hijau ‘selesai’.

Hubungkan receipt dengan blok

Simpan hash transaksi dan hash blok bersama. Checkpoint final yang lebih tinggi tidak cukup dengan sendirinya kecuali blok receipt ditetapkan sebagai leluhurnya pada rantai yang sama. Data latihan memberikan hubungan leluhur itu secara eksplisit jika diperlukan; jangan mengarangnya dalam laporan nyata.

Status receipt nol mendukung kegagalan pada konteks eksekusi tersebut [RPC]. Ini tidak mengidentifikasi penyebab tanpa data tambahan. Penjelasan kesalahan yang hilang tetap UNKNOWN; jangan mendiagnosis kehabisan gas hanya karena kesalahan itu dikenal.

Pisahkan pengukuran dan interpretasi

Nilai status yang diberikan adalah OBSERVED dalam paket. Menerapkan hubungan leluhur yang ditetapkan untuk mengklasifikasikan penyelesaian merupakan kesimpulan INFERRED menurut asumsi itu. Keadaan langsung saat ini tidak teramati hanya karena paket dibaca hari ini.

Gunakan matriks hasil

Buat baris untuk keberhasilan tercantum/belum final, kegagalan tercantum/telah final, dan catatan tidak tersedia. Ini mencegah satu kosakata status menyembunyikan data hilang. Hasil yang telah final tetap tidak menetapkan keabsahan token, persetujuan seseorang berdasarkan pemahaman memadai, atau keamanan interaksi lain.

Klasifikasi status bukti

OBSERVED dalam data latihan: status receipt, biaya yang diberikan, dan hubungan leluhur checkpoint yang ditetapkan. INFERRED: eksekusi gagal A berada dalam hubungan leluhur final yang dinyatakan. UNKNOWN: finalitas B dan penyebab kegagalan A. INSUFFICIENT EVIDENCE: keberhasilan eksekusi saja menetapkan finalitas konsensus atau keamanan token.

Istilah

  • Status eksekusi: keberhasilan/kegagalan eksekusi transaksi.
  • Finalitas: sifat penyelesaian konsensus dari riwayat blok.
  • Hubungan leluhur: hubungan blok dalam satu rantai.
  • Konteks receipt: transaksi beserta blok yang memuatnya.

Contoh historis

ILLUSTRATIVE. R-A: SIM-TX-A, BLOCK-100, status0, biaya gas 0.001 ETH simulasi. R-B: SIM-TX-B, BLOCK-103, status1. Checkpoint BLOCK-102 ditetapkan telah final dan merupakan keturunan BLOCK-100. Tidak ada klaim finalitas untuk 103.

Spesifikasi visual

Panel bukti dua sumbu: A gagal/final menurut asumsi; B berhasil/finalitas tidak diketahui. Alt: finalitas tidak mengubah eksekusi gagal menjadi berhasil.

Yang dibuktikan bukti

Klasifikasi dua sumbu menurut hubungan leluhur yang diberikan secara eksplisit.

Yang tidak dibuktikan bukti

Validasi konsensus independen, diagnosis kegagalan, keamanan, atau status jaringan saat ini.

Kesalahan umum

  • Final dianggap berarti berhasil.
  • Status1 dianggap berarti final.
  • Menebak hubungan leluhur dari ketinggian saja.

Latihan praktik

Klasifikasikan setiap transaksi menurut kedua sumbu. Apakah biaya A hilang? Catatan hilang mana yang menyelesaikan konteks penyelesaian B?

Kirim tabel bukti singkat beserta penalarannya, hanya menggunakan materi yang tersedia. Alokasi yang disarankan: belajar 12 menit, pemeriksaan/perhitungan 8 menit, koreksi/kuis 10 menit.

Tampilkan koreksi terperinci

A merupakan eksekusi gagal dalam hubungan leluhur final yang ditetapkan; biaya yang diberikan tetap 0.001. B merupakan eksekusi berhasil dengan finalitas UNKNOWN dari paket ini. Diperlukan bukti konsensus/hubungan leluhur blok yang mencakup BLOCK-103, bukan salinan lain receipt keberhasilan B. Penyebab kegagalan A adalah UNKNOWN.

Rubrik penilaian: masing-masing 1 poin untuk cakupan yang tepat, asal-usul sumber/data latihan, penalaran yang benar, batasan yang jelas, dan penanganan luring yang aman (total 5). Pengamatan rekaan atau atribusi manusia tanpa dukungan harus dikoreksi berapa pun skornya. Ini umpan balik formatif, bukan sertifikasi.

Daftar periksa

  • Hasil receipt.
  • Hash blok.
  • Dukungan konsensus/hubungan leluhur.
  • Biaya secara terpisah.
  • Penyebab kegagalan yang tidak diketahui tetap tidak diketahui.

Ringkasan

Keberhasilan dan finalitas menjawab pertanyaan berbeda. Mencampurkannya dapat membuat transaksi gagal terlihat berhasil atau transaksi yang tercantum terlihat lebih tuntas daripada yang didukung bukti. Materi yang tersedia mendukung klasifikasi dua sumbu menurut hubungan leluhur yang diberikan secara eksplisit. Materi ini tidak menetapkan validasi konsensus independen, diagnosis kegagalan, keamanan, atau status jaringan saat ini.

Ringkasan

  • Memisahkan hasil eksekusi dari konteks konsensus.
  • Menjelaskan eksekusi gagal yang telah final.
  • Membaca asumsi hubungan leluhur blok.

Pelajaran berikutnya

P02-L03 setelah meninjau latihan ini dan prasyaratnya.

Alat

NONE. Katalog otoritatif tidak mensyaratkan akses produk untuk pelajaran ini. Gunakan materi beku/luring.

Sumber dan batas klaim

  • [RPC] JSON-RPC Ethereum — Status receipt, konteks blok, dan hasil API dalam cakupan jaringan. Diperiksa 2026-10-01.
  • [POS] Proof of stake Ethereum — Checkpoint konsensus dan pemisahan eksekusi/konsensus. Diperiksa 2026-10-01.
  • [GAS] Gas dan biaya Ethereum — Gas terpakai dikalikan harga efektif serta biaya kegagalan yang tercantum dalam blok. Diperiksa 2026-10-01.

Nilai sintetis merupakan masukan latihan yang dibuat penulis. Nilai historis, bila ada, harus menggunakan dataset tertaut beserta batas asal-usulnya yang lebih sempit. Pemeriksaan sumber bukan penerimaan editorial independen.

Spesifikasi visual

P02-L02-V01

SPECIFICATION_ONLY · ILLUSTRATIVE

Memisahkan receipt eksekusi dari finalitas konsensus

Data pembelajaran ilustratif; bukan layar langsung

Panel bukti dua sumbu: A gagal/final menurut asumsi; B berhasil/finalitas tidak diketahui. Alt: finalitas tidak mengubah eksekusi gagal menjadi berhasil.

finalitas tidak mengubah eksekusi gagal menjadi berhasil.

Baris bertumpuk pada 390px dengan padanan teks lengkap; penerimaan tampilan 768px/desktop masih menunggu

Prosa RTL; pengenal dan satuan angka tetap LTR; pertahankan arah panah sesuai fakta

FIX-P02-L02

Sumber dan batas klaim

RPC · PRIMARY_DOCUMENTATION

JSON-RPC Ethereum

Klaim yang didukung
Status receipt, konteks blok, dan hasil API dalam cakupan jaringan.
Batas verifikasi
Halaman primer diperiksa untuk mekanisme yang dinyatakan atau publikasi yang diatribusikan; tidak mengautentikasi data ilustratif.
Tanggal pemeriksaan
2026-10-01
Buka sumber utama
https://ethereum.org/en/developers/docs/apis/json-rpc/

GAS · PRIMARY_DOCUMENTATION

Gas dan biaya Ethereum

Klaim yang didukung
Gas terpakai dikalikan harga efektif serta biaya kegagalan yang tercantum dalam blok.
Batas verifikasi
Halaman primer diperiksa untuk mekanisme yang dinyatakan atau publikasi yang diatribusikan; tidak mengautentikasi data ilustratif.
Tanggal pemeriksaan
2026-10-01
Buka sumber utama
https://ethereum.org/en/developers/docs/gas/

Asal data

id: FIX-P02-L02

dataStatus: ILLUSTRATIVE

source: Original teaching fixture embedded below; not externally observed

observedAt: null

timeBasis: SIM/T markers are fictional; no real timestamp or chain observation

scope: Invalid training labels; no usable wallet, key or signature

Uji penalaranmu

P02-L02-Q1 · Hasil eksekusi A?
P02-L02-Q2 · Finalitas B?
P02-L02-Q3 · Biaya A dalam data latihan?
P02-L02-Q4 · Apa yang diperlukan untuk finalitas B?
P02-L02-Q5 · Penyebab kegagalan A?