## Dari Filosofi Verifikasi ke Praktik: Vitalik Menggambarkan Masa Depan Ethereum di Forum Devconnect Argentina

Apa arah evolusi Ethereum? Dalam konferensi Devconnect Argentina baru-baru ini, Vitalik mengusulkan sebuah perubahan filosofi mendasar—dari "perantara kepercayaan" menjadi "verifikasi kriptografi". Ini bukan sekadar peningkatan teknologi, melainkan redefinisi nilai inti dari blockchain.

### Kepercayaan vs Verifikasi: Perbedaan Dasar Blockchain

Sistem keuangan tradisional dibangun di atas dasar "kepercayaan"—kamu harus percaya bahwa bank tidak akan berbuat jahat. Sedangkan Ethereum mewujudkan "tidak bisa berbuat jahat" melalui batasan matematis di lapisan protokol—pengguna tidak perlu mempercayai perantara apa pun, cukup memverifikasi keadaan itu sendiri. Perubahan ini secara filosofis mengubah model kepercayaan seluruh sistem.

Berbeda dari protokol khusus, Ethereum mengejar fleksibilitas yang dapat diprogram secara umum. Bukan untuk mencapai skalabilitas tak terbatas (seperti inferensi LLM), tetapi untuk menjaga konsensus global. Ini berarti mempertahankan satu keadaan tunggal yang tidak terganggu oleh geopolitik—itulah makna sebenarnya dari komputer dunia.

### Melampaui DeFi: Fungsi Tersembunyi Blockchain

Hak urut transaksi tetap merupakan fitur yang diremehkan. Dalam jaringan peer-to-peer tanpa konsensus, serangan pengeluaran ganda menjadi hal biasa. Aplikasi yang lebih dalam adalah "bukti ketidakeksistensian"—membuktikan kelangkaan suatu aset melalui kriptografi, atau membuktikan bahwa suatu peristiwa tidak pernah terjadi. Ini memperluas batasan blockchain jauh melampaui pembayaran.

Blockchain yang berjalan secara terisolasi menghadapi tiga kelemahan utama: privasi yang terganggu karena transaksi terbuka, kecepatan terbatas karena desentralisasi (latensi di bawah 50 milidetik secara tidak langsung mengarah ke sentralisasi), dan ketergantungan pada oracle untuk mengakses data dunia nyata.

### Jawaban Kriptografi: Dari Zero-Knowledge hingga Perhitungan Kolaboratif

Kriptografi yang dapat diprogram menawarkan solusi. Bukti Zero-Knowledge (ZKP) memungkinkan verifikasi tanpa mengungkap data; Multi-Party Computation (MPC) dan Fully Homomorphic Encryption (FHE) memungkinkan perhitungan dalam keadaan terenkripsi. Ini mengubah paradigma menuju perhitungan kolaboratif tanpa perantara, secara radikal mengubah arsitektur yang ada.

### EIP-7732 dan Inovasi Struktur Blok

Peningkatan yang sedang berlangsung langsung menargetkan bottleneck lapisan eksekusi. EIP-7732 (pemisahan pembangun dan verifikator PBS) memungkinkan verifikator menghabiskan lebih banyak waktu untuk memproses blok tanpa risiko sentralisasi. Daftar akses tingkat blok mematahkan batasan eksekusi serial, memungkinkan transaksi diproses secara paralel. Perbaikan ini secara kolektif mendorong throughput dan keamanan Ethereum ke depan.

### zkVMs: Sinkronisasi Tidak Lagi Beban

Sinkronisasi sejarah Ethereum pernah membutuhkan data dalam TB dan waktu berhari-hari. zkVMs mengubah semua ini—melalui verifikasi SNARK daripada perhitungan ulang, beban komputasi menjadi hampir nol. Node asli di perangkat mobile menjadi mungkin, memperluas desentralisasi verifikasi.

Mekanisme FOCIL memungkinkan kumpulan verifikator yang lebih luas mengusulkan "mini-blok", memperkuat jaminan transaksi masuk dan mengurangi risiko sensor.

### Dompet Pintar dan Manajemen Kunci

Abstraksi akun mewujudkan rotasi kunci dan pemulihan sosial pada dompet pintar, tanpa bergantung pada layanan terpusat. Ini adalah terobosan desentralisasi lainnya.

### Pandangan Jauh: Tumpukan Teknologi Ethereum yang Lean

Tujuan utama adalah Ethereum yang ramping dan optimal. Ini melibatkan penggunaan algoritma hash yang ramah zk (seperti Poseidon), verifikasi formal, finalitas dalam satu slot, dan ketahanan terhadap kuantum. Fokusnya bukan pada skalabilitas tak terbatas, tetapi pada keamanan, kesederhanaan, dan kesempurnaan matematis.

Dari segi filosofi, Ethereum berevolusi dari konsep "komputer dunia" menjadi tumpukan teknologi yang kokoh dan melindungi privasi—verifikasi bukan kepercayaan, kriptografi bukan perantara.