Saya melihat bahwa Buterin membuat poin menarik tentang esensi keamanan. Bukan hanya soal kekuatan sistem semata, tetapi juga tentang seberapa baik niat pengguna dan perilaku sistem sebenarnya cocok.

Dengan kata lain, keamanan dan UX bukanlah dua hal yang saling bertentangan, melainkan cara pandang berbeda terhadap masalah yang sama secara mendasar. Peran keamanan adalah meminimalkan ketidaksesuaian seperti "pengguna ingin mengirim 1 ETH ke Bob" tetapi hasilnya berbeda. Sebaliknya, mengurangi ketidaksesuaian itu juga meningkatkan UX yang baik.

Namun, keamanan sempurna secara teoretis tidak mungkin karena niat manusia sendiri sulit didefinisikan secara matematis. Ketika tujuan menjadi kompleks, seperti perlindungan privasi, risiko kebocoran metadata bisa lebih besar daripada kekuatan enkripsi.

Yang diusulkan Buterin adalah desain yang memanfaatkan redundansi. Dengan lapisan-lapisan verifikasi dari berbagai sudut pandang, seperti sistem tipe, verifikasi formal, simulasi transaksi, multi-sig, dan pembatasan pengeluaran, pendekatan ini berusaha melindungi niat asli pengguna.

Yang menarik adalah penggunaan LLM. Jika model bahasa besar mampu mendekati pengetahuan umum manusia, maka bisa menjadi alat bantu dalam menilai niat pengguna. Tapi, bergantung sepenuhnya pada itu berisiko, dan harus dikombinasikan dengan metode verifikasi lain dengan sikap hati-hati.

Desain keamanan blockchain, terutama dalam menjaga keseimbangan agar tidak merusak pengalaman pengguna, tampaknya akan semakin penting ke depannya.