Vitalik vạch ra xác minh hình thức được tăng cường bằng AI như chìa khóa cho vai trò bảo mật của Ethereum vào ngày 19/5

Theo BlockBeats, người đồng sáng lập Ethereum Vitalik Buterin đã trình bày vào ngày 19 tháng 5 về việc xác minh hình thức (formal verification) được tăng cường bởi AI sẽ trở thành “hình thức tối hậu của phát triển phần mềm” và là biện pháp phòng thủ quan trọng trước các mối đe dọa AI tiên tiến. Vitalik cho biết xác minh hình thức chuyển tính đúng đắn của mã nguồn thành các định lý có thể kiểm chứng một cách toán học, từ đó đảm bảo an ninh phần mềm nhờ chứng minh toán học thay vì kiểm thử hay kiểm toán truyền thống.

Vitalik nhấn mạnh cách tiếp cận này đặc biệt phù hợp với các bản nâng cấp giai đoạn tiếp theo của Ethereum, bao gồm chữ ký kháng lượng tử, hệ thống bằng chứng STARK, cơ chế đồng thuận chịu lỗi Byzantine và ZK-EVM. Ông khẳng định rằng trong bối cảnh các thách thức bảo mật từ AI ngày càng gia tăng, Ethereum sẽ trở thành một thành phần thiết yếu trong kiến trúc “lõi bảo mật”, nơi các hệ thống quan trọng được củng cố bằng các phương pháp hình thức, trong khi các thành phần ngoại vi hoạt động trong môi trường sandbox với quyền tối thiểu.