- Vitalik mengatakan bukti ZK modern memungkinkan verifikasi rantai penuh tanpa memutar ulang riwayat.
- Ia mengaitkan perubahan ini dengan gangguan, risiko sensor, dan ketergantungan pada layanan pihak ketiga yang rentan.
- Ethereum kini meninjau ulang batasan desain lama karena verifikasi menjadi praktis bagi pengguna.
Vitalik Buterin, salah satu pendiri Ethereum, mengatakan bahwa ia tidak lagi setuju dengan postingan 9 Juni 2017 yang menolak pengguna reguler untuk memverifikasi riwayat blockchain secara penuh. Pernyataan ini meninjau kembali perdebatan sebelumnya tentang apakah blockchain seharusnya hanya menyimpan urutan transaksi atau juga mencatat status sistem secara penuh. Buterin mengatakan kemajuan teknologi dan kegagalan nyata di dunia nyata telah mengubah pandangannya tentang kompromi verifikasi dan kedaulatan diri jangka panjang.
Pada saat itu, perdebatan berfokus pada apakah pengguna seharusnya membangun ulang status blockchain dengan memutar ulang setiap transaksi atau mempercayai pihak ketiga. Buterin sebelumnya menolak desain yang hanya memberikan dua opsi tersebut kepada pengguna untuk mengakses saldo atau data smart contract. Ia mengatakan asumsi yang mendasari posisi tersebut tidak lagi mencerminkan teknologi atau realitas operasional saat ini.
Apa yang terjadi ketika blockchain harus bertahan dari gangguan, sensor, dan kontrol terpusat tanpa bergantung pada pengembang?
Penolakan Awal terhadap Desain Blockchain Tanpa Status
Buterin mengatakan komentarnya pada 2017 muncul saat debat dengan Ian Grigg tentang pengurutan transaksi versus pelacakan status. Grigg berpendapat bahwa blockchain seharusnya mencatat pesan sambil membiarkan komputer menyimpulkan dan membuang statusnya. Dengan pendekatan tersebut, saldo dan data kontrak tidak akan tersimpan secara langsung di on-chain.
Buterin menentang gagasan itu karena pengguna akan kehilangan akses langsung ke status tanpa usaha ekstrim atau kepercayaan. Ia mengatakan pengguna harus memproses setiap transaksi dari awal atau mengandalkan penyedia eksternal. Kedua opsi tersebut menciptakan hambatan bagi pengguna biasa yang ingin melakukan verifikasi secara mandiri.
Ia membandingkan hal tersebut dengan desain Ethereum, yang mencatat state root ke dalam header blok. Pendekatan ini memungkinkan pengguna membuktikan nilai tertentu menggunakan cabang Merkle di bawah asumsi mayoritas jujur. Buterin mengatakan mempercayai mayoritas validator tetap lebih aman dibandingkan mempercayai satu penyedia layanan jarak jauh.
Teknologi Mengubah Kompromi Verifikasi
Buterin mengatakan zero-knowledge proof menjadi perubahan terbesar sejak sikapnya sebelumnya. Ia menyoroti ZK-SNARKs sebagai cara untuk memverifikasi kebenaran rantai tanpa harus memutar ulang setiap transaksi. Teknologi ini memungkinkan verifikasi dengan jaminan kuat dan biaya komputasi yang lebih rendah.
Ia membandingkan kemajuan ini dengan memperoleh manfaat yang dahulu dianggap mustahil tanpa pengorbanan besar. ZK-SNARKs memungkinkan kekuatan verifikasi tanpa membatasi kapasitas blok ke tingkat yang tidak praktis. Buterin mengatakan ini membingkai ulang kompromi yang sebelumnya dibuat di bawah keterbatasan teknis lama.
Dengan alat yang telah ditingkatkan, ia mengatakan Ethereum seharusnya meninjau ulang keputusan yang dibentuk oleh keterbatasan sebelumnya. Ia mencatat bahwa masalah yang tersisa seputar konstruksi blok dan bandwidth data masih memerlukan perhatian. Masalah-masalah tersebut tetap terpisah dari kelayakan verifikasi, menurut penjelasannya.
Terkait: Vitalik Buterin: Institusi Bukan Teman atau Musuh Crypto
Kegagalan di Dunia Nyata Membentuk Prioritas Desain
Buterin mengatakan pemikirannya juga berubah karena mengamati kegagalan sistem di dunia nyata.
Ia menyebutkan gangguan peer-to-peer, lonjakan latensi, dan ketergantungan pada layanan yang tiba-tiba tutup. Kegagalan semacam itu dapat memaksa pengguna untuk menjalankan infrastruktur sendiri atau berisiko kehilangan akses ke dana.
Ia juga memperingatkan bahwa mining dan staking dapat terkonsentrasi hingga tingkat di mana serangan mayoritas menjadi masuk akal. Dalam kasus tersebut, asumsi keamanan mendekati kontrol satu aktor daripada desentralisasi yang luas. Peristiwa seperti Tornado Cash menunjukkan bagaimana perantara dapat menyensor aplikasi secara bersamaan.
Buterin mengatakan blockchain yang berdaulat mandiri harus berfungsi tanpa harus selalu mengandalkan intervensi pengembang. Ia menggambarkan “pondok Manusia Gunung” sebagai solusi terakhir ketika sistem gagal. Konsep ini berfungsi sebagai alternatif tangguh yang memperkuat Ethereum hanya dengan keberadaannya.
