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 memungkinkan pengguna beralih ke kunci akun tahan kuantum, sementara kapasitas penskalaan otomatis jaringan meningkat seiring aktivitas.
Penafian: Informasi di halaman ini mungkin berasal dari sumber pihak ketiga dan hanya untuk referensi. Ini tidak mewakili pandangan atau pendapat Gate dan bukan merupakan nasihat keuangan, investasi, atau hukum. Perdagangan aset virtual melibatkan risiko tinggi. Mohon jangan hanya mengandalkan informasi di halaman ini saat membuat keputusan. Untuk detailnya, lihat Penafian.
Komentar
0/400
Tidak ada komentar