#征文活动BEL

Berbeda dengan sistem "kotak hitam" Web2, verifiabilitas berarti bahwa siapa pun dapat secara independen memverifikasi cara kerja sistem. Ethereum lebih lanjut mendorong hal ini dengan memastikan bahwa siapa pun (bahkan di perangkat low-end) dapat memverifikasi status, eksekusi, dan konsensus. Untuk membuat Ethereum benar-benar dapat diverifikasi, tiga hal harus dibuktikan: - Status: Dapatkah pengguna mengonfirmasi data saat ini dari blockchain? - Eksekusi: Dapatkah pengguna mengonfirmasi bahwa perubahan status (STF) valid? - Konsensus: Dapatkah pengguna mengonfirmasi bahwa rantai yang benar telah dipilih? Status Ethereum adalah snapshot dari semua saldo akun, penyimpanan kontrak pintar, dan kode pada setiap waktu tertentu. Bagaimana membuktikan status ini valid tanpa mengunduh seluruh blockchain? Ini melibatkan Merkle Trees dan penerusnya Verkle Trees. Merkle Tree menciptakan "jalur bukti" dari data ke root Merkle, yang memungkinkan pengguna untuk memverifikasi titik data tunggal tanpa memerlukan kumpulan data lengkap. Namun, seiring pertumbuhan status Ethereum, bukti Merkle menjadi besar dan tidak efisien. Verkle Trees menggunakan "komitmen vektor kurva elips" untuk mengecilkan ukuran bukti. Verkle Trees tidak melakukan hashing pada setiap cabang data, tetapi menggunakan teknik kriptografi untuk menghasilkan bukti tunggal yang lebih kecil, secara efektif mengurangi ukuran bukti dari 330 MB menjadi sekitar 2 KB. Lapisan eksekusi Ethereum menjalankan fungsi perubahan status (STF), yang mengambil status sebelumnya dan blok baru untuk menghitung status berikutnya. Untuk memverifikasi eksekusi, pengguna harus menjalankan ulang transaksi — ini adalah proses yang mahal, memerlukan banyak penyimpanan dan kemampuan komputasi. Ethereum menggunakan "bukti validitas" yang dilampirkan pada blok, tanpa perlu menjalankan ulang setiap blok. Melalui bukti validitas, pengusul membuktikan kepada klien ringan bahwa eksekusi STF benar. Pengguna hanya memverifikasi 3 nilai hash sederhana: root status lama, root status baru, hash blok. Konsensus probabilitas campuran dan deterministik Ethereum memungkinkan produksi blok dengan latensi rendah (slot), dan setiap periode (32 slot) memiliki finalitas. Bagaimana memverifikasi proses ini tanpa menjalankan validator lengkap? Komite sinkronisasi menggunakan 512 validator yang dipilih secara acak untuk menandatangani kepala rantai selama 27 jam. Klien ringan dapat memverifikasi tanda tangan ini tanpa mengunduh rantai untuk memastikan kebenaran rantai. Metode ini sederhana, efisien, tetapi juga memiliki beberapa risiko (tidak dapat menghukum perilaku buruk).