OpenAI tuyên bố đột phá mật mã, chưa có mối đe dọa tức thời với Bitcoin

OpenAI cho biết hệ thống AI của công ty đã bác bỏ Giả thuyết thời gian hàm mũ (Exponential Time Hypothesis – ETH), một giả định lâu nay về độ khó tính toán của một số bài toán logic. Thông báo ngày 26/10 đã khiến giới nghiên cứu lập kế hoạch kiểm chứng độc lập. Kết quả được công bố không cho thấy một cuộc tấn công thực tế nhằm vào Bitcoin. ETH trong ngữ cảnh này là Giả thuyết thời gian hàm mũ, không phải Ether. Giả thuyết xoay quanh 3SAT, bài toán yêu cầu máy tính gán các giá trị đúng/sai để thỏa mãn một tập điều kiện logic. Giả thuyết cho rằng lời giải trong trường hợp xấu nhất cần thời gian tăng theo hàm mũ với số biến. Bản thảo đề ngày 17/10, sửa đổi ngày 25/10, tuyên bố đưa ra thuật toán tất định để đếm chính xác các phép gán thỏa mãn của các công thức Boolean có độ rộng cố định. Bản thảo nêu thời gian chạy dưới hàm mũ và yêu cầu không gian đa thức. Thời gian chạy dưới hàm mũ tăng chậm hơn cận hàm mũ khi quy mô bài toán tăng, nhưng không có nghĩa máy tính hiện nay có thể giải bài toán dễ dàng. Cận được công bố không thiết lập thuật toán thời gian đa thức, cũng không giải quyết P=NP. Câu hỏi P=NP là liệu mọi bài toán quyết định có lời giải kiểm chứng được trong thời gian đa thức cũng có lời giải tính được trong thời gian đa thức hay không. OpenAI nói trợ lý chứng minh Lean đã xác minh kết quả. Ghi chú phạm vi của Lean lại mô tả một cận thời gian dưới hàm mũ yếu hơn tuyên bố mạnh nhất trong bản thảo. Các nhà nghiên cứu tổ chức cuộc kiểm chứng độc lập đã nêu rõ họ chưa chứng nhận kết quả. Thư của ban tổ chức nêu: “Việc chúng tôi tham gia không nên được coi là chứng nhận cho tuyên bố này.” CryptoSlate chỉ xem 8 trang mở đầu, không xem toàn bộ chứng minh. Khai thác Bitcoin và quyền chi tiêu là hai nhiệm vụ bảo mật khác nhau. Thợ đào tìm một mã băm header khối nằm dưới mục tiêu. Chữ ký chứng minh quyền chi tiêu. Bitcoin dùng chữ ký ECDSA và Schnorr trên đường cong elliptic secp256k1, theo mô tả trong BIP340. Các giả định bảo mật trong BIP340 liên quan đến logarit rời rạc trên đường cong elliptic và hàm băm. Bài toán khôi phục khóa đặt câu hỏi liệu kẻ tấn công có thể lấy khóa riêng từ khóa công khai tương ứng hay không. Việc bác bỏ một giả định SAT trong trường hợp xấu nhất không tự nó cho thấy có cách đánh bại các cơ chế bảo mật cụ thể đó. Một cuộc tấn công thực tế sẽ cần cách mã hóa phù hợp, một triển khai hoạt động được và so sánh chi phí cho nhiệm vụ mục tiêu. Không thể thay số biến của công thức SAT bằng độ dài bit của khóa mật mã hay hàm băm. Phạm vi của Lean diễn đạt cận theo số biến và độ dài đầu vào của công thức đã được mã hóa. Đưa số bit mật mã vào cận đó sẽ bỏ qua cách biểu diễn cần thiết của bài toán thực tế. Bitcoin điều chỉnh mục tiêu khai thác sau mỗi 2.016 khối. Việc điều chỉnh này chi phối việc tạo khối, không chi phối việc xác thực chữ ký. Nó cũng không xóa bỏ tầm quan trọng của lợi thế khai thác riêng. Ngày 7/10, Justin Drake kêu gọi chuẩn bị cho “bunker mode” sau một công bố toán học trước đó của OpenAI. Cảnh báo của Drake liên quan đến một cuộc tấn công tiềm tàng trong tương lai; công bố trước đó không chứng minh phá được ECDSA hay RSA trên thực tế. Tuyên bố ngày 26/10 của OpenAI liên quan đến một kết quả riêng. Ryan Williams cho biết ông, Russell Impagliazzo và Mohan Paturi được đề nghị tổ chức một cuộc kiểm chứng mở và độc lập, không có thỏa thuận bảo mật hay thanh toán. Williams nói riêng rằng ông đã đề nghị OpenAI kiểm tra liệu các hệ mật mã hiện có có bị xâm phạm hay không, và cho biết lại rằng các hệ mật mã dường như vẫn an toàn. Lời kể của Williams là thông tin gián tiếp về một lần kiểm tra mà ông đề nghị OpenAI thực hiện, không phải một cuộc kiểm toán mật mã độc lập. OpenAI cho rằng cần thêm nhiều nghiên cứu đáng kể để có cải tiến thực tế. Williams nói ông không biết liệu các nhà phát triển có thấy lợi ích hay không, để ngỏ cả khả năng có tiến triển trong 12 tháng và khả năng không có tiến triển như vậy. Ban tổ chức dự định công bố các phát hiện trong quá trình kiểm chứng.