Vitalik Buterin cho rằng “vật báu của mật mã học” gần hơn nhiều so với hầu hết mọi người nghĩ, và ông đang đưa ra các con số cụ thể. Trong phân tích ngày 6 tháng 9, đồng sáng lập Ethereum ước tính xác suất 60% rằng ba nguyên tố mật mã quan trọng nhất — SNARKs, mã hóa toàn bộ đồng nhất và che mờ không thể phân biệt — sẽ đạt mức chi phí dưới 10 lần khi tính đến tổng mức tiêu thụ năng lượng và chi phí tính toán đã phân bổ.
Anh ấy còn đi xa hơn, ước tính khả năng 33% rằng những công nghệ tương tự sẽ đạt được chi phí vận hành gần bằng không (được biểu diễn toán học là 1+ε) ở quy mô lớn. Dịch nghĩa: có khoảng một phần ba khả năng rằng việc thực hiện các phép tính được mã hóa có thể trở nên rẻ gần như khi thực hiện chúng ở trạng thái rõ ràng.
Ba công nghệ, một tham vọng
SNARKs (Succinct Non-interactive Arguments of Knowledge) cho phép bạn chứng minh một điều là đúng mà không tiết lộ dữ liệu gốc. Chúng là nền tảng của bằng chứng không tri thức, hỗ trợ mọi thứ từ các rollup Layer 2 của ethereum đến các giao dịch bảo vệ quyền riêng tư.
FHE (Mã hóa toàn bộ đồng nhất) cho phép thực hiện phép tính trên dữ liệu đã được mã hóa mà không cần giải mã nó.
Sau đó là iO (giảm phân biệt được), mà Buterin tự gọi là “boss cuối cùng” của mật mã học trong bản phân tích ngày 29 tháng Sáu. iO cho phép bạn làm nhiễu một chương trình máy tính đến mức không ai có thể xác định được cách nó hoạt động bên trong, chỉ có thể thấy được đầu ra của nó. Các triển khai hiện tại được mô tả là bị giới hạn theo đa thức nhưng thực tế không thể sử dụng được do yêu cầu thời gian chạy cực kỳ cao xuất phát từ việc xếp chồng các thành phần cơ bản khác nhau.
SNARKs dẫn đầu nhóm
Trong ba công nghệ này, Buterin xem SNARKs là công nghệ trưởng thành nhất. Ông lưu ý rằng chi phí phát sinh có thể đạt được đối với SNARKs đã giảm xuống mức một chữ số trong các tình huống chuyên biệt, cụ thể là đối với các hàm băm chuyên dụng và một số nhiệm vụ suy luận mô hình ngôn ngữ lớn.
Buterin kỳ vọng SNARKs sẽ đạt mức chi phí vượt quá dưới một chữ số một cách rộng rãi hơn vào cuối thập kỷ này.
Ba con đường đến boss cuối cùng
Trong bình luận hồi tháng Sáu trước đó, Buterin đã nêu ra ba hướng nghiên cứu tiềm năng để làm cho iO trở nên thực tế. Hướng đầu tiên liên quan đến việc tối ưu hóa các cấu trúc dựa trên lưới hiện có. Hướng thứ hai dựa trên việc đưa ra các giả định mật mã mạnh hơn, đánh đổi sự thận trọng về mặt lý thuyết để đổi lấy tốc độ thực tế nhanh hơn. Hướng thứ ba yêu cầu các phương pháp hoàn toàn mới, những tiếp cận không dựa trên lưới có thể vượt qua hoàn toàn các điểm nghẽn hiện tại.
Anh ấy đã đưa ra một sự so sánh rõ ràng với cách SNARKs phát triển sau năm 2010, cho rằng iO có thể theo một quỹ đạo tương tự, dù điểm xuất phát hiện tại kém hơn nhiều.
Dự đoán của Buterin kéo dài đến cuối thập kỷ đối với SNARKs và có thể còn xa hơn đối với FHE và iO. Không có thay đổi giao thức hoặc cột mốc phát triển nào được gắn với các ước tính của ông, những ước tính này vẫn nằm trong phạm vi cá nhân, tập trung vào các hệ quả triết học hơn là ứng dụng thương mại.