Vitalik Buterin: Blockchain memasuki era komputasi baru Di Global Blockchain Summit (Shanghai Blockchain Week), Vitalik Buterin menjelaskan bagaimana bukti ZK, verifikasi formal, dan AI akan membentuk ulang arsitektur blockchain. Poin utamanya: model lama — di mana setiap node mengeksekusi kembali komputasi yang sama — sedang ditinggalkan. Dengan SNARKs/STARKs, satu pihak melakukan komputasi dan membuktikan, sementara semua pihak lainnya hanya memverifikasi. Recursive STARKs (terkait dengan usulan EIP-8288-nya) dapat menggabungkan banyak bukti menjadi satu, mengurangi data dan biaya di blockchain. Digabungkan dengan EIP-8141 (memisahkan transaksi menjadi tindakan yang dapat dijalankan secara paralel) dan FOCIL (pembangunan blok terdesentralisasi), tujuannya adalah menciptakan pipeline komputasi penuh — dari eksekusi perangkat lokal hingga mempool, agregasi bukti, L2, dan L1 — yang dapat diskalakan tanpa mengorbankan desentralisasi. Terkait AI, Buterin melihatnya sebagai infrastruktur penting untuk tahap berikutnya: menulis/mengaudit kode, menghasilkan spesifikasi, dan menjalankan verifikasi formal dalam skala yang tidak dapat dicapai manusia secara manual — yang menurutnya kunci untuk memperbaiki celah keamanan L2 saat ini. Ia menyerukan para pengembang untuk berhenti merancang sistem untuk dunia di mana kripto canggih dan verifikasi otomatis tidak praktis — karena batasan itu segera menghilang. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto