Vitalik vừa đưa ra tín hiệu lớn về các ưu tiên của zkEVM 🎯
Chúc mừng đội ngũ $ZKS airbender đạt được cột mốc này, nhưng đây mới là thông tin đáng chú ý:
Cuộc đua tốc độ đã KẾT THÚC. Giờ đây, bảo mật mới là điều duy nhất quan trọng.
Những gì cần được xác minh hình thức:
1. Số học hóa = đặc tả Ethereum (không được âm thầm sai lệch)
2. Giới hạn cứng cho chi phí prover trên mỗi đơn vị gas (không để chi phí tăng vọt bất ngờ)
3. Bản thân tính bảo mật của hệ thống chứng minh (nền tảng cốt lõi)
Về cơ bản, Vitalik đang nói rằng: đừng chạy đua TPS nữa, hãy bắt đầu chứng minh thứ mình làm thực sự hoạt động. Các đội zkEVM nào hoàn thiện xác minh hình thức trước sẽ thắng lớn. Phần còn lại chỉ nhanh mà lỗi.
Hãy theo dõi xem đội nào chuyển hướng mạnh sang kiểm toán bảo mật và phương pháp hình thức trong Q2. Đó sẽ là câu chuyện tiếp theo.
Chúc mừng đội ngũ $ZKS airbender đạt được cột mốc này, nhưng đây mới là thông tin đáng chú ý:
Cuộc đua tốc độ đã KẾT THÚC. Giờ đây, bảo mật mới là điều duy nhất quan trọng.
Những gì cần được xác minh hình thức:
1. Số học hóa = đặc tả Ethereum (không được âm thầm sai lệch)
2. Giới hạn cứng cho chi phí prover trên mỗi đơn vị gas (không để chi phí tăng vọt bất ngờ)
3. Bản thân tính bảo mật của hệ thống chứng minh (nền tảng cốt lõi)
Về cơ bản, Vitalik đang nói rằng: đừng chạy đua TPS nữa, hãy bắt đầu chứng minh thứ mình làm thực sự hoạt động. Các đội zkEVM nào hoàn thiện xác minh hình thức trước sẽ thắng lớn. Phần còn lại chỉ nhanh mà lỗi.
Hãy theo dõi xem đội nào chuyển hướng mạnh sang kiểm toán bảo mật và phương pháp hình thức trong Q2. Đó sẽ là câu chuyện tiếp theo.