Vitalik Buterin: Các blockchain đang bước vào một kỷ nguyên tính toán mới Tại Hội nghị Toàn cầu về Blockchain (Tuần Blockchain Thượng Hải), Vitalik Buterin đã trình bày cách các bằng chứng ZK, xác minh hình thức và AI sắp tái định hình kiến trúc blockchain. Điểm cốt lõi của ông: mô hình cũ — nơi mọi nút mạng đều thực thi lại cùng một phép tính — đang được loại bỏ. Với SNARKs/STARKs, một bên sẽ tính toán và chứng minh, còn tất cả những người khác chỉ cần xác minh. Recursive STARKs (liên quan đến đề xuất EIP-8288 của ông) có thể gộp nhiều bằng chứng thành một, giảm dữ liệu và chi phí trên blockchain. Kết hợp với EIP-8141 (chia các giao dịch thành các hành động có thể xử lý song song) và FOCIL (xây dựng khối phi tập trung), mục tiêu là tạo ra một chuỗi tính toán hoàn chỉnh — từ thực thi trên thiết bị cục bộ đến mempool, tổng hợp bằng chứng, L2 và L1 — giúp mở rộng quy mô mà không hy sinh tính phi tập trung. Về AI, Buterin cho rằng đây là cơ sở hạ tầng thiết yếu cho giai đoạn tiếp theo: viết/kiểm tra mã, tạo thông số kỹ thuật và chạy xác minh hình thức ở quy mô mà con người không thể thực hiện thủ công — điều mà ông cho là then chốt để khắc phục các lỗ hổng bảo mật hiện tại trên L2. Ông kêu gọi các nhà phát triển ngừng thiết kế cho một thế giới nơi mã hóa nâng cao và xác minh tự động chưa thực tế — bởi vì ràng buộc đó đang biến mất nhanh chóng. #Ethereum #Buterin #ZKProofs #Blockchain #Web3 #AI #Crypto