Foresight News memposting di X (dulu Twitter). Vitalik Buterin membahas perlindungan privasi dan bagaimana sistem blockchain memverifikasi komputasi. Ia mengatakan validasi tradisional mengharuskan node menjalankan transaksi secara independen dan membandingkan hasilnya, yang memungkinkan verifikasi tetapi menduplikasi pekerjaan dan membatasi jumlah komputasi yang dapat ditangani sebuah jaringan.

Buterin menjelaskan sebuah alternatif di mana pihak yang melakukan komputasi menghasilkan sebuah bukti kriptografis setelah menyelesaikan pekerjaan, dan peserta lain memverifikasi bukti tersebut untuk memastikan komputasi mengikuti aturan. Ia mengatakan sistem pembuktian seperti SNARKs dan STARKs dapat membuat verifikasi lebih efisien daripada menjalankan ulang komputasi kompleks. Ketika sistem ini juga memiliki sifat zero-knowledge, mereka dapat mengonfirmasi bahwa suatu hasil valid sambil menyembunyikan informasi masukan yang tidak perlu diungkapkan.

Dia mengatakan ada dua tujuan yang terkait tetapi berbeda: mengurangi perhitungan yang berulang dan melindungi privasi. Menggunakan bukti untuk meningkatkan skala sebuah sistem tidak otomatis membuat transaksi menjadi privat, dan privasi tetap memerlukan perancangan aplikasi dan protokol.

Buterin juga menyebut enkripsi homomorfik penuh, atau FHE, yang memungkinkan pihak yang melakukan komputasi memproses data terenkripsi tanpa terlebih dahulu mendekripsinya. Dia mengatakan teknologi ini menawarkan cara agar orang lain dapat melakukan komputasi tanpa harus menerima data asli.

Ia menambahkan bahwa alat-alat ini memperluas ruang desain untuk aplikasi dengan memberi pengembang lebih banyak fleksibilitas tentang di mana komputasi terjadi, bagaimana hasil diverifikasi, dan siapa yang dapat melihat informasi tertentu.