NEAR Co-founder Merekomendasikan Verifikasi Formal untuk Melawan Serangan Berbantuan AI; Jaringan Merilis Kunci Akun Tahan Kuantum pada 21 Juli
Menurut Odaily, pendiri NEAR Protocol, Illia Polosukhin, pada 21 Juli menganjurkan verifikasi formal sebagai perlindungan terhadap ancaman peretasan berbantuan AI yang semakin cepat, dengan alasan bahwa peninjauan kode tradisional tidak lagi berkelanjutan. Polosukhin mengusulkan penggunaan bukti matematis untuk memastikan perilaku kode sesuai dengan spesifikasi, dengan AI yang menghasilkan sebagian besar bukti dan manusia yang memvalidasinya. Pada hari yang sama, NEAR merilis pembaruan yang memu
GateNews·07-21 00:32
