Đồng sáng lập Ethereum Vitalik Buterin đã công bố một bài phân tích vào ngày 29 tháng 6 năm 2026, gọi indistinguishability obfuscation (iO) là bài toán khó chưa có lời giải nhất của ngành mật mã học. Các sơ đồ iO hiện tại về mặt kỹ thuật có thể hoạt động nhưng có thời gian chạy mà Buterin ước tính vượt quá tuổi của vũ trụ nhiều bậc độ lớn. Bước đột phá này rất quan trọng cho các ứng dụng blockchain bởi vì việc triển khai iO thành công sẽ cho phép các hệ thống bỏ phiếu không cần tin cậy và các hợp đồng thông minh riêng tư mà không cần bên thứ ba đáng tin cậy.
Buterin Giải Thích Cơ Chế Indistinguishability Obfuscation
Trong bài đăng trên blog của mình, Buterin mô tả iO là một kỹ thuật mật mã ẩn chính mã nguồn, phân biệt nó với mã hóa (ẩn dữ liệu khi truyền) và bằng chứng không kiến thức (xác minh dữ liệu mà không tiết lộ dữ liệu). Obfuscation làm xáo trộn logic bên trong của một chương trình để người quan sát không thể xác định cách nó hoạt động, ngay cả khi xem nó chạy.
Indistinguishability obfuscation cụ thể có nghĩa là nếu hai chương trình tạo ra đầu ra giống hệt nhau bằng logic bên trong khác nhau, các phiên bản bị obfuscated không thể bị phân biệt với nhau. Chương trình thực thi, tạo ra đầu ra thực và không tiết lộ gì về quy trình bên trong của nó.
iO Cho Phép Các Giao Thức Blockchain Không Cần Tin Cậy
Buterin đã kết nối iO trực tiếp với các trường hợp sử dụng blockchain trong phân tích của mình. Các chương trình bị obfuscated không thể giữ trạng thái như số dư hoặc bản ghi giao dịch vì chúng không thể ngăn việc sao chép chính mình. Blockchain cung cấp cơ sở hạ tầng lưu trữ trạng thái mà các chương trình bị obfuscated thiếu.
Kết hợp các chương trình bị obfuscated với blockchain tạo ra thứ mà Buterin mô tả là "bên thứ ba đáng tin cậy không cần tin cậy" – một hệ thống thực thi các quy tắc, xử lý đầu vào và tạo ra đầu ra trung thực mà không yêu cầu tin tưởng vào người xây dựng. Một ứng dụng Buterin trích dẫn là một hệ thống bỏ phiếu an toàn, riêng tư, chống thao túng không cần ủy ban đa chữ ký, không có thiết lập đáng tin cậy bởi một nhóm nhỏ và không có giả định rằng một số người tham gia vẫn trung thực.
Các Nhà Nghiên Cứu Đạt Được Cấu Trúc iO Có Thể Chứng Minh An Toàn
Các nhà nghiên cứu đã theo đuổi iO có thể chứng minh an toàn trong khoảng 20 năm. Các cách tiếp cận ban đầu liên tục bị phá vỡ. Buterin đề cập đến một kết quả năm 2001 cho thấy phiên bản lý tưởng của obfuscation là bất khả thi về mặt toán học, thúc đẩy các nhà nghiên cứu chuyển trọng tâm sang iO như mục tiêu tốt nhất tiếp theo.
Trong những năm gần đây, các nhà mật mã học đã phát triển các cấu trúc đạt được iO dưới cái mà Buterin gọi là "các giả định bảo mật hợp lý". Những cấu trúc này đại diện cho tiến bộ thực sự trong lĩnh vực này.
Các Sơ Đồ iO Hiện Tại Đối Mặt Với Giới Hạn Thời Gian Chạy
Các sơ đồ iO hiện tại về mặt kỹ thuật là đa thức, có nghĩa là chúng mở rộng theo kích thước đầu vào thay vì bùng nổ theo cấp số nhân. Tuy nhiên, Buterin mô tả chi phí thực tế là "thiên hà". Các sơ đồ xếp chồng nhiều lớp công cụ mật mã tiên tiến bên trong nhau, mỗi lớp bao bọc lớp bên dưới nó.
Kết quả là một hệ thống mà việc xử lý một đầu vào duy nhất yêu cầu các hệ số chi phí ước tính trên 10^10. Các yêu cầu bảo mật đẩy kích thước bản mã lên lớn hơn hàng nghìn lần so với các cấu trúc tiêu chuẩn. Ước tính của Buterin đặt thời gian chạy dự kiến trên các sơ đồ hiện tại vượt quá tuổi của vũ trụ.
Buterin Vạch Ra Ba Hướng Nghiên Cứu
Buterin vạch ra ba hướng mà các nhà nghiên cứu đang theo đuổi để 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 hiện có bằng cách sử dụng kỹ thuật thông minh hơn và hỗ trợ AI để giảm chi phí tại mỗi điểm nghẽn, tương tự như cách hiệu suất SNARK đã được cải thiện đáng kể sau năm 2010.
Hướng thứ hai xây dựng iO bằng các giả định mật mã mạnh mẽ hơn nhưng đơn giản hơn, đánh đổi độ chặt chẽ lý thuyết để lấy tốc độ thực tế. Hướng thứ ba tìm kiếm một cách tiếp cận hoàn toàn mới đối với obfuscation, có thể nằm ngoài toán học dựa trên mạng tinh thể làm nền tảng cho hầu hết các công trình hiện tại.
Thành Công Của iO Sẽ Biến Đổi Các Giao Thức Mật Mã
Buterin tuyên bố rằng thành công ở bất kỳ hướng nào trong số này sẽ tạo ra một phiên bản mật mã mà bất kỳ giao thức nào có thể mô tả bằng bên thứ ba đáng tin cậy đều có thể được xây dựng mà không cần bên đó. Các ứng dụng bao gồm hợp đồng thông minh riêng tư, hệ thống chứng nhận ẩn danh, tính toán mã hóa trên dữ liệu nhạy cảm và hệ thống quản trị chống lại sự thao túng từ nội bộ.
"Nếu chúng ta thành công ở một trong hai hướng, phần thưởng là rất cao: có một ý nghĩa thực sự rằng chúng ta sẽ 'giải quyết được mật mã': bất kỳ giao thức nào có thể được mô tả bằng bên thứ ba đáng tin cậy lý tưởng, với điều kiện kẻ thù được phép tua lại đồng hồ, sẽ có thể được triển khai một cách an toàn. Nhưng để đạt được điều đó vẫn là một thách thức to lớn," Buterin viết. Ông nói thêm rằng mặc dù công nghệ chưa sẵn sàng, nhưng lộ trình rõ ràng hơn bao giờ hết.
Câu Hỏi Thường Gặp
Vitalik Buterin đã xác định bài toán khó chưa có lời giải nhất của ngành mật mã học vào ngày 29 tháng 6 năm 2026 là gì?
Vitalik Buterin đã gọi indistinguishability obfuscation (iO) là bài toán khó chưa có lời giải nhất của ngành mật mã học trong một bài phân tích được công bố vào ngày 29 tháng 6 năm 2026. Ông giải thích rằng mặc dù các sơ đồ iO hiện tại về mặt kỹ thuật có thể hoạt động, nhưng chúng có thời gian chạy vượt quá tuổi của vũ trụ nhiều bậc độ lớn.
Ba hướng nghiên cứu Buterin vạch ra để làm cho iO trở nên thực tế là gì?
Buterin vạch ra ba hướng: tối ưu hóa các cấu trúc hiện có bằng các cải tiến kỹ thuật và hỗ trợ AI, xây dựng iO với các giả định mật mã đơn giản hơn nhưng mạnh mẽ hơn, và khám phá một cách tiếp cận hoàn toàn mới đối với obfuscation nằm ngoài toán học dựa trên mạng tinh thể hiện tại. Ông tuyên bố rằng thành công ở bất kỳ hướng nào sẽ cho phép các giao thức như bỏ phiếu không cần tin cậy và hợp đồng thông minh riêng tư.
Tại sao blockchain cần indistinguishability obfuscation?
Buterin giải thích rằng các chương trình bị obfuscated không thể giữ trạng thái như số dư hoặc bản ghi giao dịch vì chúng không thể ngăn việc sao chép. Blockchain cung cấp cơ sở hạ tầng lưu trữ trạng thái mà các chương trình bị obfuscated thiếu. Kết hợp cả hai tạo ra một "bên thứ ba đáng tin cậy không cần tin cậy" thực thi các quy tắc và tạo ra đầu ra trung thực mà không yêu cầu tin tưởng vào người xây dựng.
