Vitalik: Cuộc đua tốc độ zkEVM đã có bên thắng, trọng tâm chuyển sang bảo mật

Vitalik Buterin đánh giá cuộc đua tốc độ zkEVM đã đạt “chiến thắng mang tính quyết định” và cho rằng ưu tiên phát triển giờ đây cần chuyển sang bảo mật.

MarsBit đưa tin ngày 15 rằng Vitalik đã chúc mừng nhóm Airbender của ZKsync trên X vì đạt một cột mốc. Ông cho biết các bước tiếp theo gồm chính thức xác minh tính tương đương giữa mạch số học và đặc tả Ethereum, đặt giới hạn tỷ lệ chi phí của trình tạo bằng chứng so với tổng lượng gas của khối, đồng thời kiểm tra độ an toàn của chính hệ thống chứng minh.

zkEVM là công nghệ dùng bằng chứng không kiến thức để xác minh kết quả thực thi của Máy ảo Ethereum (EVM). Công nghệ này có thể cải thiện khả năng mở rộng vì cho phép kiểm tra kết quả tính toán bằng bằng chứng mà không cần chạy lại giao dịch từ đầu. Tuy nhiên, một bằng chứng hợp lệ tự nó không đảm bảo phép tính đã tuân thủ đặc tả Ethereum. Tài liệu tổng quan về bảo mật zkEVM của Ethereum Foundation cũng xem xét việc mạch chứng minh có ràng buộc trạng thái chuyển đổi theo đúng đặc tả hay không, cùng với tính chính xác của trình mô phỏng.

Những vấn đề Vitalik nêu ra cho thấy cần đánh giá riêng hiệu năng và việc xác minh bảo mật. Thành quả trong cuộc đua tốc độ không đồng nghĩa với việc độ an toàn của mạch chứng minh hoặc toàn bộ hệ thống đã được xác nhận.