Vitalik: AI và xác minh hình thức sẽ định hình bảo mật Ethereum

Vitalik Buterin cho biết AI đang cải thiện nhanh khả năng phát hiện lỗ hổng, và khi kết hợp với xác minh hình thức, công nghệ này có thể giúp phát triển hợp đồng thông minh an toàn hơn, thậm chí cho phép người không biết lập trình tạo hợp đồng ít rủi ro.

Ông cũng nói Ethereum L1 sẽ tiếp tục ưu tiên phi tập trung và bảo mật, đồng thời thúc đẩy các công nghệ như mật mã kháng lượng tử, hashing, STARK và ZK để ứng phó thách thức an ninh từ AI và điện toán lượng tử.

Phát biểu này được Vitalik Buterin đưa ra trong cuộc trao đổi với Xiao Feng, theo PANews ngày 22/4.