Komitmen State

Apa Itu Komitmen State dalam Kripto?

Komitmen state adalah ringkasan kriptografis yang merepresentasikan state blockchain saat ini pada titik waktu tertentu.

Sederhananya, komitmen state merupakan sidik jari ringkas dari kumpulan data blockchain yang jauh lebih besar.

Data yang lebih besar tersebut dapat mencakup saldo akun, penyimpanan smart contract, nonce, catatan validator, saldo token, kepemilikan objek, UTXO, atau nilai state lainnya, tergantung pada desain blockchain.

Komitmen state memungkinkan node, wallet, bridge, light client, rollup, dan aplikasi memverifikasi klaim tentang state blockchain tanpa harus mengunduh seluruh database atau memercayainya begitu saja.

Di Ethereum, komitmen state yang paling dikenal adalah state root yang disimpan di header blok.

Dokumentasi resmi Ethereum Merkle Patricia Trie menjelaskan bahwa Ethereum menggunakan state trie global yang diperbarui saat client memproses blok, dan state root yang dihasilkan dapat diverifikasi secara kriptografis.

Jika dua node memproses blok valid yang sama dan mencapai komitmen state yang sama, terdapat bukti kuat bahwa keduanya menyetujui state hasil tersebut.

Jika satu saldo akun atau nilai penyimpanan contract berubah, komitmen state juga seharusnya berubah.

Inilah sebabnya komitmen state penting untuk konsensus blockchain, state proof, fraud proof, validity proof, verifikasi light client, dan pesan cross-chain.

Dalam konteks glosarium kripto, State Commitment berarti root atau komitmen kriptografis yang merepresentasikan state blockchain saat ini dalam bentuk ringkas dan dapat diverifikasi.

Mengapa Komitmen State Penting

Komitmen state penting karena blockchain adalah database bersama yang dikelola oleh banyak peserta independen.

Pengguna tidak seharusnya perlu memercayai satu server untuk melaporkan saldo, nilai contract, atau state akun yang benar.

Komitmen state memberi jaringan cara untuk menyepakati satu nilai ringkas yang merepresentasikan state yang jauh lebih besar.

Dengan demikian, state dapat diperiksa melalui proof, bukan melalui kepercayaan buta.

Misalnya, light client mungkin tidak menyimpan seluruh state Ethereum, tetapi dapat memverifikasi state proof terhadap state root tepercaya.

Bridge mungkin memerlukan bukti bahwa sebuah pesan atau catatan penarikan ada dalam state chain lain.

Rollup dapat memublikasikan state root yang merangkum hasil banyak transaksi off-chain atau Layer 2.

Wallet dapat mengandalkan node untuk data saldo, sementara sistem yang lebih kuat dapat menggunakan proof untuk memverifikasi bahwa node tidak memberikan informasi palsu.

Komitmen state juga membuat eksekusi blockchain dapat diaudit.

Saat setiap blok mencakup komitmen terhadap state hasil, pengguna dapat memverifikasi bahwa chain berpindah dari satu state valid ke state valid berikutnya berdasarkan aturan protokol.

Komitmen State vs. State Blockchain

State blockchain adalah seluruh kumpulan data aktif yang diperlukan untuk memproses transaksi baru.

Komitmen state hanyalah representasi kriptografis ringkas dari state tersebut.

Perbedaan ini penting karena komitmen state tidak secara langsung memuat setiap saldo atau slot penyimpanan.

Komitmen tersebut hanya merepresentasikan nilai-nilai itu melalui struktur data kriptografis.

Misalnya, state root Ethereum tidak mencantumkan setiap saldo akun di dalam header blok.

Alih-alih, state root merepresentasikan state trie global yang menyimpan objek akun dan menunjuk ke storage trie contract.

Jika seseorang ingin membuktikan nilai tertentu, mereka memberikan jalur proof yang menghubungkan nilai tersebut dengan komitmen.

Verifier memeriksa proof terhadap komitmen yang diketahui.

Jika proof valid, verifier dapat memercayai bahwa nilai tersebut merupakan bagian dari state yang dikomitmenkan.

Oleh karena itu, komitmen state seperti segel antimanipulasi pada database blockchain aktif.

Komitmen State vs. State Root

State root adalah jenis komitmen state yang umum.

Di Ethereum, state root adalah hash root dari state trie global setelah sebuah blok dieksekusi.

Dokumentasi resmi blok Ethereum menjelaskan bahwa blok memuat informasi execution payload, termasuk root yang merepresentasikan data penting pada execution layer.

State root adalah field spesifik, sedangkan komitmen state merupakan konsep yang lebih luas.

Sistem blockchain lain dapat menggunakan istilah berbeda, seperti app hash, state hash, world state root, global root, ledger commitment, accumulator root, atau commitment root.

Nama tepatnya bergantung pada protokol.

Namun, gagasan intinya sama.

State besar diringkas oleh nilai kecil yang berubah jika state dasarnya berubah.

Pada chain bergaya Ethereum, state root adalah istilah praktis yang paling sering dilihat pengguna dan developer.

Dalam teori blockchain, komitmen state adalah konsep yang lebih umum.

Cara Kerja Komitmen State

Komitmen state biasanya dimulai dari database terstruktur yang berisi nilai state.

Blockchain mengatur nilai tersebut ke dalam struktur data kriptografis, seperti Merkle tree, Merkle Patricia Trie, sparse Merkle tree, vector commitment tree, atau struktur data terautentikasi lainnya.

Setiap nilai di-hash atau dikomitmenkan secara deterministik.

Hash tersebut digabungkan ke atas hingga menghasilkan satu root tingkat teratas.

Root tingkat teratas ini menjadi komitmen state.

Jika satu nilai leaf berubah, hash di sepanjang jalurnya berubah.

Perubahan tersebut merambat ke atas hingga root berubah.

Hal ini membuat manipulasi dapat dideteksi karena nilai palsu seharusnya tidak cocok dengan komitmen asli, kecuali penyerang dapat merusak kriptografi yang mendasarinya.

Komitmen state berguna karena membuat database besar dapat diverifikasi melalui root kecil dan sebuah proof.

Proof tidak perlu memuat seluruh database, melainkan hanya jalur dan data pendukung yang diperlukan untuk memeriksa satu klaim.

Komitmen State di Ethereum

Ethereum menggunakan Merkle Patricia Trie yang dimodifikasi untuk mengomitmenkan state execution layer-nya.

Dokumentasi resmi Ethereum Merkle Patricia Trie menyatakan bahwa Ethereum memiliki satu state trie global dan trie ini diperbarui setiap kali blok diproses.

Objek akun Ethereum mencakup nonce, balance, storageRoot, dan codeHash.

State trie global memetakan alamat akun ke objek akun tersebut.

Setiap akun smart contract juga dapat memiliki storage trie sendiri, dan root dari storage trie tersebut disimpan dalam objek akun.

Artinya, komitmen state Ethereum memiliki struktur berlapis.

State root global merepresentasikan akun.

storageRoot setiap akun contract merepresentasikan penyimpanan persisten contract tersebut.

Jika contract token memperbarui saldo pengguna dalam penyimpanan contract, storage root contract berubah dan state root global juga dapat berubah.

Inilah cara eksekusi smart contract menjadi bagian dari state blockchain yang dikomitmenkan.

Komitmen State dan Merkle Patricia Trie

Merkle Patricia Trie adalah struktur data key-value terautentikasi yang digunakan oleh execution layer Ethereum saat ini.

Struktur ini menggabungkan jalur key bergaya trie, kompresi jalur Patricia, dan Merkle hashing.

Bagian trie memungkinkan nilai ditemukan melalui jalur deterministik berdasarkan key.

Bagian Patricia memampatkan jalur panjang untuk mengurangi struktur yang tidak diperlukan.

Bagian Merkle membuat struktur tersebut dapat diverifikasi secara kriptografis.

Dokumentasi resmi Ethereum menyatakan bahwa Merkle Patricia Trie bersifat deterministik dan dapat diverifikasi secara kriptografis. Artinya, state yang identik dapat dibuktikan dengan membandingkan root dan jalur proof.

Inilah yang dibutuhkan oleh komitmen state.

Komitmen state membutuhkan konstruksi deterministik agar node jujur menghitung root yang sama.

Komitmen state membutuhkan integritas kriptografis agar data yang diubah mengubah komitmen.

Komitmen state membutuhkan dukungan proof agar nilai spesifik dapat diverifikasi tanpa mengunduh semuanya.

Komitmen State dan Merkle Proof

Merkle proof adalah bukti bahwa nilai tertentu termasuk dalam state yang dikomitmenkan oleh sebuah root.

Spesifikasi EIP-1186 eth_getProof menjelaskan metode JSON-RPC yang mengembalikan nilai akun dan penyimpanan beserta data Merkle proof.

Proof biasanya memuat node atau komitmen yang diperlukan untuk merekonstruksi jalur dari nilai target ke state root.

Jika root yang direkonstruksi cocok dengan komitmen state tepercaya, nilai tersebut terverifikasi.

Ini memungkinkan verifier mengonfirmasi bahwa akun memiliki saldo tertentu atau slot penyimpanan contract memiliki nilai tertentu pada blok tertentu.

Merkle proof penting karena mengurangi kebutuhan untuk memercayai penyedia RPC, indexer, dan API pihak ketiga.

Respons RPC sederhana hanya menyatakan klaim server mengenai state.

Respons yang didukung proof dapat menunjukkan alasan klaim tersebut sesuai dengan komitmen state.

Perbedaan ini penting untuk wallet, bridge, audit, sistem cross-chain, dan aplikasi bernilai tinggi.

Komitmen state membuat proof ini bermakna karena proof memerlukan root tepercaya untuk diverifikasi.

Komitmen State dan Header Blok

Header blok adalah tempat banyak blockchain menyimpan komitmen ringkas terhadap data blok yang lebih besar.

Header blok Ethereum mencakup root yang terkait dengan state, transaksi, dan receipt.

State root merepresentasikan world state hasil eksekusi.

Transactions root merepresentasikan daftar transaksi dalam blok.

Receipts root merepresentasikan receipt dan log transaksi.

Komitmen-komitmen ini memiliki tujuan berbeda.

Komitmen state menjawab state blockchain yang terbentuk setelah eksekusi.

Komitmen transaksi menjawab transaksi mana yang disertakan.

Komitmen receipt menjawab output eksekusi dan log apa yang dihasilkan.

Bersama-sama, root ini memungkinkan client memverifikasi bagian penting data blok tanpa menempatkan semua data lengkap secara langsung di header.

Komitmen State vs. Komitmen Transaksi

Komitmen state tidak sama dengan komitmen transaksi.

Komitmen transaksi merepresentasikan transaksi yang disertakan dalam blok.

Komitmen state merepresentasikan state hasil setelah transaksi tersebut dieksekusi.

Misalnya, blok dapat memuat transaksi yang mentransfer aset dari satu akun ke akun lain.

Komitmen transaksi membuktikan bahwa transaksi tersebut disertakan.

Komitmen state membuktikan perubahan saldo yang dihasilkan jika state proof yang relevan diberikan.

Perbedaan ini sangat penting bagi developer yang membangun bridge atau proof.

Membuktikan inklusi transaksi tidak selalu sama dengan membuktikan state akhir.

Transaksi dapat disertakan tetapi gagal dieksekusi.

State proof dapat menunjukkan state yang benar-benar terbentuk di chain setelah eksekusi.

Komitmen State vs. Komitmen Receipt

Komitmen receipt juga berbeda dengan komitmen state.

Receipt dapat menunjukkan status eksekusi, gas yang digunakan, log, dan event.

Komitmen state menunjukkan database state akhir setelah eksekusi.

Event dapat berguna untuk indexing dan logika aplikasi, tetapi event tidak sama dengan penyimpanan contract.

Contract dapat mengeluarkan event tanpa mengubah state.

Contract dapat mengubah state tanpa mengeluarkan event yang bermanfaat.

Karena itu, beberapa sistem dengan keamanan tinggi lebih memilih storage proof daripada asumsi yang hanya berdasarkan event.

Receipt bernilai penting, tetapi menjawab pertanyaan yang berbeda dari komitmen state.

Komitmen receipt membantu membuktikan apa yang dilaporkan transaksi.

Komitmen state membantu membuktikan apa yang benar-benar terdapat dalam state blockchain.

Komitmen State dalam Rollup

Rollup sangat bergantung pada komitmen state.

Rollup memproses transaksi di luar base chain atau dalam lingkungan eksekusi terpisah, lalu mengirim komitmen, data, atau proof kembali ke settlement layer.

State root rollup merangkum state Layer 2 saat ini.

Pengguna dapat menggunakan komitmen tersebut untuk melacak saldo, penarikan, pesan, dan state aplikasi di dalam rollup.

Dokumentasi resmi Ethereum zk-rollup menjelaskan bahwa zero-knowledge rollup memublikasikan validity proof untuk membuktikan transisi state sudah benar.

Dalam optimistic rollup, komitmen state dapat ditantang selama jendela sengketa jika seseorang menilai transisi tidak valid.

Dalam validity rollup, proof digunakan untuk menunjukkan bahwa state baru yang dikomitmenkan mengikuti aturan.

Dalam kedua kasus, komitmen state adalah klaim ringkas mengenai state rollup.

Tanpa komitmen state, rollup tidak memiliki cara efisien untuk merangkum dan menyelesaikan eksekusi Layer 2 dalam jumlah besar.

Hal ini menjadikan komitmen state penting bagi skalabilitas blockchain modern.

Komitmen State dan Fraud Proof

Fraud proof adalah tantangan yang menunjukkan bahwa transisi state yang diklaim tidak valid.

Sistem fraud proof umumnya dibahas dalam desain optimistic rollup.

Operator rollup dapat memublikasikan komitmen state baru setelah mengeksekusi transaksi.

Jika komitmen tersebut salah, peserta lain dapat menantangnya dengan membuktikan bahwa transisi dari state lama ke state baru tidak valid.

Proses sengketa memerlukan komitmen yang jelas terhadap state lama, data transaksi, dan state baru yang diklaim.

Oleh sebab itu, komitmen state merupakan bagian dari struktur bukti untuk fraud proof.

Fraud proof bukan sekadar pernyataan bahwa ada sesuatu yang salah.

Fraud proof harus menghubungkan klaim dengan data yang dikomitmenkan dan aturan eksekusi.

Inilah sebabnya ketersediaan data juga penting bagi fraud proof.

Jika data untuk menghitung ulang transisi tidak tersedia, penantang mungkin tidak dapat membuktikan kecurangan.

Komitmen State dan Validity Proof

Validity proof adalah bukti kriptografis bahwa transisi state dieksekusi dengan benar.

Validity proof lazim digunakan dalam zero-knowledge rollup dan sistem berbasis proof lainnya.

Prover memulai dari komitmen state lama, menerapkan transaksi sesuai aturan, dan membuktikan bahwa komitmen state baru benar.

Verifier tidak perlu mengeksekusi ulang setiap transaksi secara penuh jika sistem proof bersifat sound dan asumsi data yang diperlukan terpenuhi.

Hal ini dapat membuat verifikasi jauh lebih murah daripada eksekusi.

Komitmen state menjadi pusat karena proof memerlukan komitmen awal dan akhir yang jelas.

Secara efektif, proof menyatakan bahwa sistem berpindah secara valid dari satu state yang dikomitmenkan ke state lain yang dikomitmenkan.

Hal ini menjadikan komitmen state sebagai jangkar untuk verifikasi yang skalabel.

Validity proof dapat mendukung rollup, bridge, aplikasi privat, dan sistem eksekusi terkompresi.

Komitmen menentukan state apa yang sedang dibuktikan.

Komitmen State dan Light Client

Light client menggunakan komitmen dan proof untuk memverifikasi informasi blockchain tanpa menyimpan state lengkap.

Light client dapat melacak header blok dan memverifikasi proof terhadap root dalam header tersebut.

Untuk nilai state, light client memerlukan komitmen state tepercaya dan state proof yang valid.

Hal ini memungkinkan wallet seluler, perangkat tersemat, dan sistem dengan sumber daya terbatas memverifikasi fakta tertentu dengan kebutuhan penyimpanan dan bandwidth lebih rendah.

Oleh karena itu, komitmen state merupakan bagian utama dari desain wallet dengan kebutuhan kepercayaan yang diminimalkan.

Tanpanya, light client perlu lebih banyak memercayai server jarak jauh.

Server jarak jauh dapat melaporkan saldo, tetapi proof memungkinkan client memeriksa saldo tersebut terhadap state yang dikomitmenkan.

Verifikasi light client tidak selalu sederhana karena client juga membutuhkan header tepercaya dan asumsi finality.

Namun, secara prinsip komitmen state memungkinkan verifikasi ringan.

Ini merupakan salah satu manfaat authenticated state yang paling penting bagi pengguna.

Komitmen State dan Bridge

Bridge sering kali perlu memverifikasi state dari blockchain atau jaringan Layer 2 lain.

Bridge mungkin memerlukan bukti bahwa deposit terjadi, penarikan telah difinalisasi, atau pesan ada dalam state yang dikomitmenkan.

Komitmen state membantu bridge memverifikasi klaim tersebut dengan lebih aman.

Misalnya, contract bridge dapat memverifikasi proof terhadap state root yang diketahui dari sistem lain.

Jika proof valid, bridge dapat melepaskan dana atau meneruskan pesan.

Namun, bridge tetap berisiko meskipun menggunakan komitmen state.

Bridge juga harus memverifikasi konsensus chain sumber, finality, ketersediaan data, format proof, dan aturan pesan.

State proof yang benar hanyalah satu bagian dari keamanan bridge.

Desain bridge yang buruk tetap dapat gagal akibat validator yang lemah, relayer yang buruk, bug smart contract, serangan replay, atau asumsi finality yang salah.

Komitmen state membantu mengurangi kebutuhan kepercayaan, tetapi tidak secara otomatis membuat setiap bridge aman.

Komitmen State dan Ketersediaan Data

Ketersediaan data berarti data yang diperlukan untuk memverifikasi atau merekonstruksi transisi state tersedia secara publik.

Komitmen state saja tidak menjamin pengguna dapat memeriksa bagaimana state tersebut dihasilkan.

Pelaku jahat dapat memublikasikan komitmen baru sambil menahan data yang diperlukan untuk memverifikasi transisi.

Inilah sebabnya ketersediaan data merupakan isu utama bagi rollup, sharding, dan sistem blockchain modular.

Dokumentasi resmi ketersediaan data Ethereum menjelaskan bahwa ketersediaan data berkaitan dengan apakah data transaksi telah dipublikasikan sehingga peserta dapat memverifikasi atau merekonstruksi state.

Komitmen state dan ketersediaan data bekerja bersama.

Komitmen menyatakan state yang diklaim.

Data yang tersedia memungkinkan pihak lain memeriksa apakah transisi menuju state tersebut valid.

Komitmen tanpa data dapat menjadi kotak hitam.

Blockchain yang skalabel membutuhkan komitmen ringkas sekaligus data yang dapat diakses.

Komitmen State dan Stateless Client

Stateless client adalah gagasan skalabilitas jangka panjang yang memungkinkan node memverifikasi blok tanpa menyimpan seluruh state secara lokal.

Alih-alih setiap node menyimpan seluruh database state, produsen blok atau peer menyediakan witness yang membuktikan nilai state yang disentuh oleh blok.

Dokumentasi resmi statelessness Ethereum menjelaskan bahwa statelessness bertujuan memungkinkan node memverifikasi blok menggunakan witness, bukan database state lokal yang besar.

Komitmen state menjadi pusat desain ini karena witness harus diverifikasi terhadap sebuah komitmen.

Jika witness membuktikan semua nilai yang diakses cocok dengan komitmen state sebelumnya dan nilai hasil menghasilkan komitmen baru, verifier dapat memeriksa blok dengan state lokal yang lebih sedikit.

Hal ini dapat mempermudah pengoperasian node seiring waktu.

Namun, witness Merkle Patricia Trie saat ini dapat berukuran besar.

Ini menjadi salah satu alasan riset Ethereum berfokus pada Verkle tree dan struktur witness yang lebih kecil.

Statelessness bukan sekadar trik penyimpanan.

Statelessness bergantung pada komitmen state yang mendukung proof efisien.

Komitmen State dan Verkle Tree

Verkle tree adalah jalur peningkatan yang diusulkan untuk membuat state proof Ethereum lebih kecil dan efisien.

Dokumentasi resmi Ethereum Verkle tree menjelaskan Verkle tree sebagai struktur data yang dapat membantu node Ethereum berhenti menyimpan data state dalam jumlah besar sambil tetap mampu memvalidasi blok.

Verkle tree menggabungkan struktur tree dengan vector commitment.

Nama Verkle berasal dari vector commitment dan Merkle tree.

Dibandingkan proof Merkle Patricia Trie saat ini, Verkle proof dapat jauh lebih kecil untuk banyak pola akses state.

Witness yang lebih kecil penting bagi stateless client dan skalabilitas di masa depan.

Verkle tree tidak menghilangkan kebutuhan akan komitmen state.

Verkle tree mengubah struktur komitmen yang digunakan untuk merepresentasikan dan membuktikan state.

Hal ini menunjukkan bahwa komitmen state adalah konsep luas yang dapat diimplementasikan dengan struktur data kriptografis berbeda.

Metode komitmen dapat berkembang, tetapi kebutuhan untuk mengomitmenkan state tetap mendasar.

Komitmen State dan Vector Commitment

Vector commitment adalah komitmen kriptografis terhadap daftar atau vektor nilai yang mendukung proof efisien tentang posisi individual.

Vector commitment dapat berguna untuk state blockchain karena dapat mengurangi ukuran proof dibandingkan beberapa pendekatan hash-tree.

Verkle tree menggunakan vector commitment di dalam struktur mirip tree.

Ini berbeda dari Merkle tree tradisional, yang menggunakan hash sibling untuk memverifikasi jalur.

Vector commitment dapat membuat proof lebih ringkas, tetapi dapat memperkenalkan asumsi kriptografis dan kompleksitas implementasi yang berbeda.

Bagi pengguna, poin pentingnya bukan detail matematika.

Poin pentingnya adalah sistem komitmen state yang lebih baru bertujuan mengurangi biaya pembuktian state.

Proof yang lebih kecil dapat membantu light client, stateless client, rollup, bridge, dan sistem yang menjaga privasi.

Namun, skema komitmen baru harus diuji dengan cermat sebelum mengamankan jaringan publik besar.

Desain komitmen state selalu menyeimbangkan ukuran proof, biaya verifikasi, biaya pembaruan, asumsi keamanan, dan risiko implementasi.

Komitmen State dan Sparse Merkle Tree

Sparse Merkle tree adalah struktur komitmen state lain yang umum dalam sistem kripto.

Struktur ini sering digunakan ketika key berada dalam ruang key tetap yang sangat besar.

Setiap key yang mungkin memiliki posisi dalam tree, tetapi sebagian besar posisi mungkin kosong.

Cabang kosong dapat dimampatkan atau direpresentasikan secara efisien, tergantung implementasinya.

Sparse Merkle tree berguna karena mendukung proof inklusi dan non-inklusi yang jelas.

Beberapa sistem Layer 2, bridge, wallet, dan blockchain khusus aplikasi menggunakan sparse Merkle tree atau variasinya untuk komitmen state.

Struktur ini tidak identik dengan Merkle Patricia Trie Ethereum saat ini.

Struktur ini adalah cara lain untuk menyelesaikan masalah dasar yang sama.

Masalahnya adalah cara mengomitmenkan state key-value besar dan membuktikan nilai individual secara efisien.

Keragaman ini menunjukkan bahwa komitmen state adalah kategori desain, bukan satu struktur data tunggal.

Komitmen State dan Bitcoin

Bitcoin biasanya tidak dijelaskan menggunakan komitmen state akun global seperti Ethereum.

Blok Bitcoin mengomitmenkan transaksi melalui Merkle root di header blok.

State aktif Bitcoin yang dapat dibelanjakan adalah UTXO set, yang diturunkan dari riwayat transaksi.

Panduan developer Bitcoin tentang blockchain menjelaskan bahwa header blok mencakup Merkle root untuk transaksi dalam blok.

Artinya, Bitcoin memiliki komitmen inklusi transaksi yang kuat.

Namun, header blok Bitcoin tidak mencakup komitmen langsung terhadap seluruh UTXO set saat ini seperti state root Ethereum untuk state akun.

Sejumlah riset dan proposal mengeksplorasi UTXO commitment karena komitmen langsung terhadap state yang dapat dibelanjakan dapat membantu light client dan model validasi.

Perbandingan ini berguna karena menunjukkan bahwa blockchain berbeda mengomitmenkan data yang berbeda.

Sistem smart contract bergaya Ethereum memerlukan komitmen state eksplisit karena aplikasi sangat bergantung pada state akun dan contract saat ini.

Model Bitcoin lebih berfokus pada riwayat transaksi dan UTXO set yang diturunkan darinya.

Komitmen State dan Blockchain Berbasis Akun

Blockchain berbasis akun sering memerlukan komitmen state eksplisit karena saldo akun dan penyimpanan contract menjadi pusat eksekusi.

Saat transaksi dieksekusi, transaksi dapat memperbarui saldo akun, nonce, penyimpanan smart contract, catatan staking, dan data aplikasi.

State hasil harus dikomitmenkan agar node lain dapat memverifikasi hasil yang tepat.

Inilah sebabnya state root umum digunakan pada platform smart contract.

State root memberi jaringan satu komitmen terhadap database state yang luas.

Tanpa komitmen state yang andal, akan lebih sulit membuktikan bahwa nilai penyimpanan contract benar.

Akan lebih sulit pula membangun bridge, rollup, dan light client yang bergantung pada proof akun atau penyimpanan.

Chain berbasis akun biasanya memiliki state yang lebih kompleks daripada sistem pembayaran sederhana.

Kompleksitas tersebut menjadikan desain komitmen state sangat penting.

Semakin dapat diprogram sebuah chain, semakin bernilai authenticated state.

Komitmen State dan Blockchain Berbasis Objek

Beberapa blockchain menggunakan model state berbasis objek alih-alih state berbasis akun sederhana.

Dalam sistem berbasis objek, aset, contract, dan data dapat direpresentasikan sebagai objek dengan pemilik, field, dan izin.

Sistem ini tetap memerlukan komitmen state.

Komitmen dapat merangkum kepemilikan objek, isi objek, nomor versi, data package, atau hasil eksekusi.

Struktur tepatnya berbeda dari trie akun global Ethereum.

Namun, tujuannya tetap membuat state saat ini dapat diverifikasi.

Jika kepemilikan objek berubah, komitmen state seharusnya mencerminkan perubahan tersebut.

Jika isi objek berubah, komitmen seharusnya mencerminkan pembaruan itu.

Hal ini menunjukkan bahwa komitmen state tidak terbatas pada model akun bergaya Ethereum.

Setiap blockchain yang mempertahankan state aktif memerlukan cara untuk mengomitmenkan state itu dengan aman.

Komitmen State dan Penyimpanan Smart Contract

Penyimpanan smart contract adalah salah satu alasan utama komitmen state bersifat kompleks.

Smart contract dapat menyimpan saldo, approval, posisi, order, suara, nilai konfigurasi, dan banyak catatan lainnya.

Nilai-nilai ini dapat berubah setelah setiap transaksi.

Komitmen state harus mencerminkan perubahan tersebut secara akurat.

Di Ethereum, storage trie setiap contract memiliki root sendiri, dan akun contract menyimpan root tersebut di dalam state trie global.

Hal ini memungkinkan proof untuk slot penyimpanan contract tertentu.

Misalnya, proof dapat menunjukkan bahwa mapping saldo token memiliki nilai tertentu pada blok tertentu.

Hal ini berguna untuk audit, bridge, governance, rollup, dan verifikasi cross-chain.

Penyimpanan smart contract membuat komitmen state kuat, tetapi juga lebih berat karena state dapat tumbuh sangat besar.

Inilah sebabnya biaya penyimpanan, state bloat, dan ukuran proof merupakan perhatian utama dalam skalabilitas.

Komitmen State dan Saldo Token

Saldo token sering berada dalam penyimpanan smart contract, bukan secara langsung dalam state akun dasar.

Artinya, pembuktian saldo token dapat memerlukan storage proof untuk contract token.

Saldo koin native dapat dibuktikan dari objek akun.

Saldo token mungkin memerlukan pembuktian akun contract token dan slot penyimpanan relevan di dalam storage root contract tersebut.

Perbedaan ini penting bagi bridge dan airdrop.

Sistem yang perlu memverifikasi kepemilikan token harus memahami lokasi penyimpanan kepemilikan tersebut.

Sistem tidak boleh mengasumsikan setiap saldo merupakan bagian dari field state yang sama.

Komitmen state dapat mendukung proof native maupun token, tetapi jalur proof dapat berbeda.

Developer harus memahami standar token dan tata letak penyimpanan sebelum membangun sistem proof.

Komitmen state hanya berguna jika verifier mengetahui secara tepat nilai apa yang dibuktikan.

Komitmen State dan NFT

Kepemilikan NFT juga dapat direpresentasikan melalui komitmen state.

Contract NFT biasanya menyimpan data kepemilikan untuk setiap token ID.

Proof kepemilikan NFT mungkin perlu memverifikasi nilai penyimpanan contract yang relevan pada blok tertentu.

Hal ini dapat berguna untuk bridge NFT cross-chain, voting snapshot, akses terbatas, reward, dan pemeriksaan kepemilikan historis.

Namun, metadata NFT mungkin tidak selalu dikomitmenkan sepenuhnya oleh state blockchain.

Beberapa metadata NFT disimpan secara off-chain atau dirujuk melalui tautan eksternal.

Komitmen state dapat membuktikan kepemilikan on-chain, tetapi mungkin tidak membuktikan bahwa gambar atau file metadata off-chain akan tetap tersedia selamanya.

Perbedaan ini penting bagi pengguna yang mengira state proof membuktikan segala hal tentang NFT.

Biasanya, proof hanya membuktikan nilai state on-chain yang diperiksa.

Komitmen state sangat kuat, tetapi tidak otomatis memverifikasi keberlangsungan data off-chain.

Komitmen State dan State Historis

Komitmen state terikat pada blok atau waktu tertentu dalam riwayat chain.

Komitmen state saat ini membuktikan state saat ini.

Komitmen state lama dapat membuktikan state historis jika verifier memiliki header blok lama dan proof yang tepat.

Hal ini berguna untuk audit, snapshot, catatan hukum, governance, dan klaim historis.

Namun, data state historis dapat mahal untuk disimpan.

Banyak full node menyimpan state saat ini dan terbaru, tetapi memangkas state perantara yang lebih lama.

Archive node menyimpan lebih banyak state historis sehingga dapat menjawab query lama dengan lebih cepat.

Dokumentasi resmi archive node Ethereum menjelaskan bahwa archive node menyimpan setiap state historis dan berguna untuk query historis cepat.

Artinya, komitmen state historis mungkin terdapat dalam header blok lama, tetapi pembuatan proof untuk state lama dapat memerlukan akses ke database state historis.

Komitmen state mempertahankan verifiabilitas, tetapi seseorang tetap memerlukan data untuk membangun proof.

Komitmen State dan Archive Node

Archive node penting karena komitmen state saja tidak menyimpan data state lengkap.

Header blok dapat memuat state root dari bertahun-tahun lalu.

Untuk menghasilkan proof terhadap root lama tersebut, node memerlukan akses ke node trie historis atau data state yang relevan.

Full node standar mungkin tidak memiliki state lama tersebut yang siap tersedia.

Archive node dirancang untuk menyimpan state historis agar dapat diakses dengan cepat.

Inilah sebabnya explorer, perusahaan analitik, auditor, dan penyedia infrastruktur sering mengandalkan archive node.

Bagi pengguna, masalah praktisnya adalah state lama dapat lebih sulit diverifikasi daripada state saat ini jika data proof tidak mudah tersedia.

Bagi developer, hal ini berarti sistem proof historis memerlukan perencanaan penyimpanan data yang cermat.

Komitmen state adalah jangkar ringkas, tetapi proof tetap membutuhkan data pendukung.

Infrastruktur arsip menjembatani kesenjangan tersebut untuk verifikasi historis.

Komitmen State dan State Bloat

State bloat terjadi ketika state blockchain aktif menjadi terlalu besar.

Setiap akun, contract, slot penyimpanan, saldo token, order, dan posisi baru dapat meningkatkan jumlah state yang perlu dikomitmenkan dan dipelihara.

State yang lebih besar dapat meningkatkan kebutuhan penyimpanan node, waktu sinkronisasi, beban kerja database, dan kompleksitas proof.

Komitmen state tidak menghilangkan biaya state.

Komitmen state hanya merangkum dan mengautentikasinya.

Jika state dasar tumbuh terlalu besar, node tetap perlu menyimpan, memperbarui, atau membuktikan bagian dari state tersebut.

Inilah sebabnya riset komitmen state terkait dengan state expiry, storage rent, pruning, statelessness, dan Verkle tree.

Blockchain memerlukan komitmen yang aman, tetapi juga pengelolaan state yang tetap berkelanjutan.

State bloat adalah salah satu masalah jangka panjang tersulit bagi platform smart contract.

Komitmen state yang lebih baik dapat membantu, tetapi bukan satu-satunya solusi.

Komitmen State dan Storage Rent

Storage rent adalah alat ekonomi yang mengenakan biaya atau mencadangkan nilai untuk menyimpan data dalam state blockchain.

Storage rent terkait dengan komitmen state karena setiap entri data persisten pada akhirnya harus dimasukkan dalam state yang dikomitmenkan.

Jika penyimpanan data terlalu murah, pengguna dan aplikasi dapat membuat state bernilai rendah yang membebani jaringan selama bertahun-tahun.

Jika penyimpanan terlalu mahal, aplikasi yang bermanfaat dapat menjadi lebih sulit dibangun.

Komitmen state membuat state dapat diverifikasi, tetapi tidak menentukan siapa yang harus membayar penyimpanan state tersebut.

Storage rent, deposit, biaya gas, dan rebate membantu menyelesaikan sisi ekonomi dari pertumbuhan state.

Komitmen state menyelesaikan sisi kriptografis.

Keduanya diperlukan untuk desain blockchain yang berkelanjutan.

Blockchain dapat memiliki state root yang kuat dan tetap mengalami masalah jika state tumbuh tanpa batas.

Inilah sebabnya komitmen state dan ekonomi state perlu dipelajari bersama.

Komitmen State dan Finality

Komitmen state menjadi lebih berguna ketika terkait dengan blok yang telah final atau terkonfirmasi kuat.

Jika suatu blok dapat direorganisasi, komitmen state-nya dapat digantikan oleh komitmen state lain dari cabang chain yang berbeda.

Hal ini penting untuk bridge, penarikan, audit, dan pesan cross-chain.

Bridge sebaiknya tidak mengandalkan komitmen state dari blok yang dapat dengan mudah dibalikkan.

Light client harus memahami model finality dari chain yang state-nya diverifikasi.

Beberapa chain memiliki finality probabilistik, dengan tingkat keyakinan yang bertumbuh seiring waktu.

Beberapa chain memiliki finality ekonomi eksplisit atau bergaya BFT.

Komitmen membuktikan state relatif terhadap suatu blok.

Finality memberi tahu pengguna seberapa yakin mereka bahwa blok tersebut akan tetap kanonis.

State proof paling kuat ketika komitmen blok yang mendasarinya juga telah final berdasarkan aturan konsensus yang relevan.

Komitmen State dan Konsensus

Konsensus dan komitmen state bekerja bersama, tetapi bukan hal yang sama.

Konsensus menentukan blok mana yang diterima dan urutannya.

Fungsi transisi state mengeksekusi blok tersebut dan menghasilkan state baru.

Komitmen state merangkum state baru itu.

Jika konsensus menerima blok dengan state root yang salah, node jujur seharusnya menolaknya saat validasi eksekusi.

Jika node tidak setuju mengenai aturan eksekusi, node dapat menghitung komitmen state berbeda dan terpecah.

Inilah sebabnya implementasi client harus menghitung komitmen state secara tepat sesuai aturan protokol.

Komitmen state bersifat kritis bagi konsensus karena merepresentasikan hasil eksekusi yang disepakati.

Komitmen state bukan sekadar indeks database atau metadata opsional.

Komitmen state yang salah dapat membuat blok tidak valid.

Komitmen State dan Penyedia RPC

Penyedia RPC adalah layanan yang digunakan wallet dan dApp untuk membaca serta mengirimkan data blockchain.

Saat wallet meminta saldo, penyedia RPC membaca state dari node.

Saat dApp memeriksa nilai contract, penyedia dapat membaca penyimpanan contract atau mensimulasikan eksekusi terhadap state saat ini.

Namun, respons RPC normal tidak selalu merupakan proof kriptografis.

Respons tersebut mungkin hanya nilai yang dilaporkan penyedia.

Komitmen state memungkinkan verifikasi lebih kuat ketika penyedia juga memberikan data proof.

Untuk Ethereum, EIP-1186 mendefinisikan eth_getProof untuk proof akun dan penyimpanan.

Artinya, aplikasi yang memerlukan jaminan lebih tinggi dapat meminta data proof alih-alih memercayai respons biasa.

Sebagian besar pengguna biasa tidak memverifikasi proof ini secara manual.

Meski demikian, komitmen state menjadi fondasi bagi alat yang dapat mengurangi kebutuhan kepercayaan terhadap penyedia infrastruktur.

Komitmen State dan Indexer

Indexer mengatur data blockchain agar aplikasi dapat mencarinya dengan cepat.

Indexer dapat melacak transfer token, kepemilikan NFT, posisi DeFi, voting governance, atau aktivitas akun.

Indexer berguna karena state dan log mentah dapat sulit di-query secara langsung.

Namun, data yang diindeks tidak sama dengan komitmen state.

Indexer dapat melakukan kesalahan, tertinggal dari chain, atau menggunakan aturan interpretasi sendiri.

Komitmen state merupakan bagian dari sistem verifikasi kriptografis protokol.

Untuk aplikasi bernilai tinggi atau sensitif terhadap keamanan, data terindeks mungkin perlu diperiksa terhadap state atau receipt yang dikomitmenkan.

Hal ini terutama penting ketika output indexer memicu tindakan finansial.

Indexer meningkatkan kegunaan, sedangkan komitmen state meningkatkan verifiabilitas.

Aplikasi kripto yang andal harus memahami perbedaannya.

Komitmen State dan Privasi

Komitmen state dapat mendukung sistem yang menjaga privasi, tetapi tidak otomatis bersifat privat.

Dalam blockchain publik, komitmen state biasanya merangkum state publik atau state yang dapat diturunkan secara publik.

Siapa pun mungkin dapat memeriksa saldo, penyimpanan contract, dan riwayat transaksi, tergantung chain dan alat yang digunakan.

Sistem yang menjaga privasi dapat menggunakan komitmen secara berbeda.

Misalnya, protokol dapat mengomitmenkan nilai tersembunyi dan menggunakan zero-knowledge proof untuk menunjukkan bahwa transisi valid tanpa mengungkapkan semua detail.

Dalam sistem tersebut, komitmen dapat menyembunyikan data sambil tetap mendukung verifikasi.

Oleh karena itu, istilah commitment lebih luas daripada state root publik.

Komitmen state dapat transparan, privat, atau sebagian privat, tergantung desainnya.

Pengguna tidak boleh mengasumsikan komitmen state menyembunyikan data kecuali protokol secara khusus menyediakan fitur privasi.

Sebagian besar komitmen state pada chain publik lebih berkaitan dengan integritas daripada kerahasiaan.

Komitmen State dan Zero-Knowledge Proof

Zero-knowledge proof sering menggunakan komitmen untuk merepresentasikan state sebelum dan sesudah eksekusi.

Prover dapat menunjukkan bahwa transisi dari satu komitmen state ke komitmen state lain valid tanpa membuat verifier mengeksekusi ulang semuanya.

Hal ini umum dalam validity rollup, sistem privasi, dan model eksekusi terkompresi.

Proof dapat menyatakan bahwa komitmen state baru berasal dari komitmen state lama dan sekumpulan operasi valid.

Tergantung sistemnya, sebagian data dapat bersifat publik dan sebagian lainnya dapat tetap tersembunyi.

Hal ini menjadikan komitmen sebagai jembatan antara verifikasi ringkas dan komputasi kompleks.

Komitmen state menentukan apa yang dibuktikan.

Zero-knowledge proof menentukan alasan transisi tersebut seharusnya diterima.

Bersama-sama, keduanya memungkinkan sistem melakukan skalabilitas atau menjaga privasi sambil mempertahankan kebenaran yang dapat diverifikasi.

Ini merupakan salah satu penggunaan lanjutan komitmen state yang paling penting dalam infrastruktur kripto modern.

Komitmen State dan Non-Inclusion Proof

Non-inclusion proof menunjukkan bahwa key atau nilai tidak ada dalam state yang dikomitmenkan.

Inclusion proof menunjukkan bahwa sesuatu ada.

Non-inclusion proof menunjukkan bahwa sesuatu tidak ada.

Hal ini dapat penting untuk pembuatan akun, pemeriksaan nullifier, sparse Merkle tree, sistem identitas, dan klaim airdrop.

Misalnya, sistem privasi mungkin perlu membuktikan bahwa nullifier belum pernah digunakan.

Bridge mungkin perlu membuktikan bahwa pesan belum pernah digunakan sebelumnya.

Registry mungkin perlu membuktikan bahwa nama atau key masih belum ditetapkan.

Beberapa struktur komitmen memudahkan non-inclusion proof lebih daripada struktur lain.

Ini merupakan salah satu alasan desain komitmen state penting melampaui proof saldo sederhana.

Sistem komitmen state yang baik harus mendukung jenis proof yang benar-benar dibutuhkan protokol.

Komitmen State dan Asumsi Keamanan

Komitmen state bergantung pada asumsi kriptografis.

Komitmen berbasis hash bergantung pada collision resistance dan preimage resistance dari fungsi hash.

Vector commitment dapat bergantung pada asumsi matematika berbeda, tergantung skemanya.

Jika kriptografi yang mendasarinya rusak, komitmen mungkin tidak lagi tepercaya.

Keamanan implementasi juga penting.

Skema komitmen yang benar tetap dapat berbahaya jika perangkat lunak client mengodekan nilai secara salah atau memverifikasi proof secara keliru.

Kode yang kritis bagi konsensus harus menangani edge case secara tepat.

Client yang berbeda harus menghitung komitmen yang sama dari state yang sama.

Inilah sebabnya perubahan komitmen state ditangani dengan hati-hati dalam peningkatan blockchain besar.

Mengubah struktur komitmen mengubah bagian mendalam dari model keamanan chain.

Komitmen State dan Alat Developer

Developer menghadapi komitmen state melalui metode RPC, sistem proof, header blok, state root rollup, storage proof, dan database client.

Developer smart contract mungkin perlu mengetahui cara saldo token disimpan agar proof dapat dihasilkan.

Developer bridge mungkin perlu memverifikasi storage proof terhadap root yang telah final.

Developer rollup mungkin perlu menghitung dan memublikasikan state root setelah batch.

Developer wallet mungkin perlu memutuskan apakah akan memercayai nilai RPC atau memverifikasi proof.

Developer indexer mungkin perlu mencocokkan event terindeks dengan state yang dikomitmenkan.

Peneliti protokol dapat membandingkan Merkle Patricia Trie, sparse Merkle tree, Verkle tree, dan accumulator lainnya.

Semua ini adalah masalah komitmen state dalam bentuk berbeda.

Memahami konsep ini membantu developer menghindari kebingungan antara inklusi transaksi, event log, receipt, dan state aktual.

Sistem paling aman menjelaskan komitmen mana yang diverifikasi dan nilai state mana yang dibuktikan.

Kesalahpahaman Umum tentang Komitmen State

Salah satu kesalahpahaman umum adalah bahwa komitmen state memuat state lengkap.

Komitmen state tidak memuat state lengkap karena hanya merupakan ringkasan kriptografis ringkas dari state tersebut.

Kesalahpahaman lain adalah bahwa proof transaksi sama dengan state proof.

Proof transaksi dapat menunjukkan inklusi, sedangkan state proof dapat menunjukkan nilai state hasil.

Kesalahpahaman ketiga adalah bahwa komitmen state membuat data tersedia.

Komitmen membuktikan integritas, tetapi ketersediaan data adalah persyaratan terpisah.

Kesalahpahaman keempat adalah bahwa setiap blockchain mengomitmenkan state dengan cara yang sama.

Chain yang berbeda menggunakan model state dan struktur komitmen yang berbeda.

Kesalahpahaman kelima adalah bahwa komitmen state otomatis berarti privasi.

Sebagian besar komitmen state publik memberikan integritas dan verifiabilitas, bukan kerahasiaan.

Manfaat Komitmen State

Manfaat pertama komitmen state adalah verifikasi ringkas.

Root kecil dapat merepresentasikan database state yang sangat besar.

Manfaat kedua adalah bukti manipulasi.

Mengubah state dasar mengubah komitmen.

Manfaat ketiga adalah dukungan proof.

Pengguna dapat memverifikasi nilai tertentu melalui inclusion proof atau non-inclusion proof.

Manfaat keempat adalah dukungan light client.

Light client dapat memeriksa nilai state terpilih tanpa menyimpan state lengkap.

Manfaat kelima adalah dukungan skalabilitas.

Rollup dan sistem proof menggunakan komitmen state untuk merangkum batch eksekusi besar.

Manfaat keenam adalah verifikasi cross-chain.

Bridge dan sistem pesan dapat memverifikasi klaim terhadap komitmen dari chain atau layer lain.

Manfaat ketujuh adalah auditabilitas.

Komitmen state membantu menunjukkan bahwa setiap blok menghasilkan state spesifik yang disepakati.

Keterbatasan Komitmen State

Keterbatasan pertama adalah komitmen saja tidak menyediakan data dasar.

Pengguna tetap memerlukan ketersediaan data dan data proof untuk memverifikasi klaim.

Keterbatasan kedua adalah ukuran proof.

Beberapa struktur komitmen menghasilkan proof yang terlalu besar untuk verifikasi light client atau stateless yang efisien.

Keterbatasan ketiga adalah biaya pembaruan.

Memperbarui komitmen setelah banyak perubahan state dapat membutuhkan komputasi mahal.

Keterbatasan keempat adalah kompleksitas implementasi.

Encoding, hashing, pembuatan proof, dan verifikasi proof harus tepat.

Keterbatasan kelima adalah akses historis.

Komitmen lama mungkin ada di header blok, tetapi pembuatan proof dapat memerlukan data state lama dari archive node.

Keterbatasan keenam adalah asumsi keamanan.

Skema komitmen yang berbeda mengandalkan jaminan kriptografis yang berbeda.

Keterbatasan ketujuh adalah ketidaknampakan bagi pengguna.

Sebagian besar pengguna tidak melihat komitmen state secara langsung, sehingga wallet dan aplikasi harus menjelaskan keamanan berbasis proof secara jelas.

Cara Mengevaluasi Sistem Komitmen State

Mulailah dengan mengidentifikasi state yang dikomitmenkan.

Kemudian, periksa struktur data yang membuat komitmen.

Tinjau apakah komitmen mendukung inclusion proof.

Tinjau apakah komitmen mendukung non-inclusion proof saat aplikasi memerlukannya.

Periksa ukuran proof dan biaya verifikasi.

Periksa biaya pembaruan ketika banyak nilai state berubah.

Tinjau asumsi kriptografis di balik skema komitmen.

Periksa apakah data proof mudah tersedia untuk state saat ini dan historis.

Tinjau apakah komitmen disertakan dalam blok yang telah final, batch rollup, atau jangkar tepercaya lainnya.

Tanyakan apakah ketersediaan data diselesaikan secara terpisah dari komitmen itu sendiri.

Praktik Terbaik untuk Developer

Gunakan dokumentasi protokol resmi sebelum mengimplementasikan verifikasi proof.

Pisahkan proof inklusi transaksi dari state proof dalam desain Anda.

Verifikasi proof terhadap komitmen tepercaya dan telah final jika memungkinkan.

Jangan mengasumsikan event dan log sama dengan nilai penyimpanan yang dikomitmenkan.

Pahami tata letak penyimpanan contract sebelum membuktikan saldo token, kepemilikan NFT, atau hak governance.

Rencanakan pembuatan proof historis jika aplikasi Anda memerlukan snapshot state lama.

Pertimbangkan ketersediaan data selain verifikasi komitmen state.

Audit kode verifikasi proof dengan cermat karena kesalahan encoding kecil dapat menjadi kerentanan kritis.

Pantau perubahan roadmap seperti riset Verkle tree jika sistem Anda sangat bergantung pada state proof Ethereum.

Dokumentasikan apa yang dibuktikan aplikasi Anda, komitmen yang digunakan, dan asumsi yang tetap berlaku.

Praktik Terbaik untuk Pengguna

Pahami bahwa saldo yang ditampilkan mungkin berasal dari penyedia RPC atau indexer, bukan dari proof yang Anda verifikasi sendiri.

Gunakan wallet dan explorer tepercaya, tetapi ingat bahwa sistem bernilai tinggi mungkin memerlukan verifikasi berbasis proof yang lebih kuat.

Berhati-hatilah terhadap bridge yang mengklaim memverifikasi state dari chain lain.

Periksa apakah bridge bergantung pada proof native, validator, relayer, multisig, atau komite eksternal.

Pahami bahwa komitmen state tidak menjamin semua data mudah diakses.

Ingat bahwa state lama mungkin membutuhkan infrastruktur arsip agar dapat dibuktikan secara efisien.

Jangan mengasumsikan inklusi transaksi berarti perubahan state akhir berhasil terjadi.

Tunggu finality yang memadai sebelum mengandalkan komitmen state untuk tindakan bernilai tinggi.

Gunakan transaksi uji dalam jumlah kecil saat berinteraksi dengan sistem yang bergantung pada state proof cross-chain.

Anggap klaim berbasis proof lebih kuat daripada klaim biasa hanya jika proof benar-benar diverifikasi terhadap komitmen yang tepat.

FAQ

Apa arti state commitment dalam kripto?

Komitmen state adalah root atau komitmen kriptografis yang merepresentasikan state blockchain saat ini secara ringkas dan dapat diverifikasi.

Apakah komitmen state sama dengan state root?

State root adalah jenis komitmen state yang umum, khususnya pada blockchain bergaya Ethereum.

Apa yang dibuktikan oleh komitmen state?

Komitmen state tidak membuktikan nilai dengan sendirinya, tetapi memungkinkan pengguna memverifikasi nilai saat dipasangkan dengan state proof yang valid.

Mengapa Ethereum menggunakan state root?

Ethereum menggunakan state root untuk mengomitmenkan world state global setelah setiap blok dieksekusi.

Apa perbedaan antara komitmen state dan transaction root?

Komitmen state merepresentasikan state blockchain hasil, sedangkan transaction root merepresentasikan transaksi yang disertakan dalam blok.

Apa itu Merkle proof?

Merkle proof adalah data pendukung yang memungkinkan verifier memeriksa apakah suatu nilai termasuk dalam state yang dikomitmenkan oleh root.

Bagaimana rollup menggunakan komitmen state?

Rollup menggunakan komitmen state untuk merangkum state Layer 2 mereka setelah batch transaksi dieksekusi.

Apakah komitmen state menyelesaikan masalah ketersediaan data?

Tidak. Komitmen state membuktikan integritas, sedangkan ketersediaan data memastikan data untuk memverifikasi atau merekonstruksi transisi state dapat diakses.

Apa itu Verkle tree?

Verkle tree adalah struktur komitmen state yang diusulkan dan menggunakan vector commitment untuk mendukung witness lebih kecil serta validasi stateless yang lebih efisien.

Apakah komitmen state bersifat privat?

Tidak selalu, karena sebagian besar komitmen state pada chain publik menyediakan verifiabilitas, bukan kerahasiaan, kecuali digabungkan dengan kriptografi yang menjaga privasi.

Kesimpulan

Komitmen state adalah komitmen kriptografis ringkas terhadap state blockchain aktif pada titik waktu tertentu.

Komitmen ini memungkinkan kumpulan besar saldo, akun, penyimpanan contract, dan data aplikasi direpresentasikan oleh root kecil atau nilai komitmen.

Di Ethereum, state root adalah komitmen state utama untuk state execution layer global.

Root tersebut dihasilkan dari Merkle Patricia Trie dan berubah setiap kali state dasar berubah.

Komitmen state sangat penting untuk konsensus, light client, Merkle proof, rollup, bridge, audit, dan riset stateless client.

Komitmen ini membantu pengguna memverifikasi klaim tentang state tanpa memercayai penyedia database begitu saja.

Komitmen state juga mendukung sistem lanjutan seperti fraud proof, validity proof, dan pesan cross-chain.

Namun, komitmen state tidak sama dengan ketersediaan data lengkap, inklusi transaksi, log receipt, atau privasi.

Komitmen state harus dipasangkan dengan proof yang tepat, data yang tepat, dan asumsi finality yang tepat.

Desain komitmen state terus berkembang ketika blockchain mencari proof yang lebih kecil, pembaruan lebih cepat, dan kebutuhan node yang lebih rendah.

Verkle tree dan riset statelessness menunjukkan bahwa masa depan komitmen state tetap menjadi topik aktif dalam engineering dan kriptografi.

Dalam konteks glosarium kripto, State Commitment berarti jangkar kriptografis yang memungkinkan blockchain membuktikan state-nya tanpa menempatkan state lengkap di setiap header blok.

Intinya, komitmen state mengubah state blockchain yang sangat besar menjadi root yang dapat diverifikasi, sehingga verifikasi dengan kebutuhan kepercayaan minimal dapat dilakukan pada node, wallet, rollup, bridge, dan aplikasi.