Vitalik nói rằng AI sẽ không phá hủy an ninh mạng - nó cũng có thể chứng minh một cách toán học rằng mã an toàn, không chỉ tìm lỗi

$ETH đang hướng tới việc xác minh hình thức (formal verification) cho toàn bộ cơ sở mã. Vitalik tự tin đến mức ông giữ khoảng ~90% giá trị tài sản ròng của mình dưới dạng crypto

$ONE

$FLNC