Chúng ta nên chuyển đổi ngay sang mã hóa hậu lượng tử, một nhà nghiên cứu cho biết

Một nhà nghiên cứu, Gianluca Di Bella, cảnh báo rằng máy tính lượng tử đã tạo ra rủi ro cho mã hóa và bằng chứng kiến thức không bằng 'thu hoạch ngay, giải mã sau' các cuộc tấn công.

Gianluca Di Bella, một nhà nghiên cứu hợp đồng thông minh chuyên về bằng chứng kiến thức không, cho rằng mối nguy hiểm từ máy tính lượng tử không phải là mối lo xa xôi; đó là mối lo hiện tại.

Tại văn phòng UN City ở Copenhagen, Đan Mạch, Di Bella cho biết ông tin rằng 'chúng ta nên chuyển đổi ngay' sang các tiêu chuẩn mã hóa hậu lượng tử. Lý do, ông giải thích, nằm ở các cuộc tấn công được gọi là 'thu hoạch ngay, giải mã sau', nơi dữ liệu được thu thập và lưu trữ cho đến khi công nghệ tương lai cho phép giải mã.

Ví dụ, nếu danh tính của một người bất đồng chính kiến trong một quốc gia độc tài chỉ được bảo vệ bởi mã hóa, họ muốn đảm bảo rằng dữ liệu sẽ vẫn an toàn trong 10, 15, 20 năm hoặc hơn nữa. Di Bella cho rằng máy tính lượng tử thương mại thực tế có thể cách 10 hoặc 15 năm, nhưng cảnh báo rằng các tổ chức lớn như Microsoft hoặc Google có thể có giải pháp trong vài năm.

Di Bella nêu ra vấn đề mà ông gọi là 'rửa lượng tử', nơi các công ty đưa ra các tuyên bố đáng ngờ về tính chất và khả năng của hệ thống lượng tử. Tuy nhiên, ông cũng lo ngại rằng nếu Trung Quốc phát triển các hệ thống có khả năng phá vỡ mã hóa hiện đại, họ có thể không cảnh báo thế giới về khả năng mới của mình.

Bằng chứng kiến thức không hậu lượng tử

Một khi — hoặc nếu, theo một số người — máy tính lượng tử đạt được sức mạnh và quy mô cần thiết, nó có thể làm suy yếu các giả định an ninh của mã hóa truyền thống và bằng chứng kiến thức không. Điều này có thể dẫn đến dữ liệu được mã hóa bị giải mã và các bằng chứng được tạo ra bởi ZK-proofs truyền thống bị làm giả, làm giả các tuyên bố hợp lệ hoặc bỏ qua xác minh.

Có một số tiêu chuẩn mã hóa hậu lượng tử đã tồn tại, với một số được phê duyệt bởi Viện Tiêu chuẩn và Công nghệ Quốc gia (NIST) — cụ thể là ML-KEM, ML-DSA và SLH-DSA. Nhưng không có tiêu chuẩn bằng chứng kiến thức không hậu lượng tử nào tương đương đã đạt được sự trưởng thành. Đây là lĩnh vực nghiên cứu mà Di Bella tham gia thông qua công ty phát triển hợp đồng thông minh mà ông đồng sáng lập, Mood Global Services.

Di Bella đề cập đến Permutations over Lagrange bases for Oecumenical Noninteractive arguments of Knowledge (PLONK) như một triển khai bằng chứng kiến thức không hậu lượng tử. Tuy nhiên, chúng chưa được 'kiểm tra thực tế' và hiện được coi là triển khai nghiên cứu.

Con đường dài phía trước

Thảo luận về thời gian ông dự đoán phát triển PLONK sẽ mất để đạt giai đoạn phù hợp cho sử dụng thực tế, Di Bella lưu ý rằng rất khó để đưa ra dự đoán thời gian chính xác và than vãn về sự thiếu đầu tư trong lĩnh vực này. Ông lưu ý rằng đây là chủ đề hẹp và tham gia vào nó đòi hỏi kiến thức chuyên sâu đáng kể, điều này có xu hướng giảm đầu tư và làm chậm phát triển.

'Nếu bạn là quản lý nghiên cứu và phát triển của bất kỳ công ty nào, bạn sẽ không đầu tư vào điều gì đó mà bạn không hiểu,' ông nói.

Di Bella cho biết phát triển bằng chứng kiến thức không được thực hiện bằng lập trình Rust cấp thấp với ít trừu tượng hóa và độ phức tạp cao. Theo một cách nào đó, hầu hết các hệ thống bằng chứng kiến thức không được lập trình theo cách gợi nhớ đến độ phức tạp của lập trình ban đầu.

Mặc dù chúng ta hiện quen thuộc với các ngôn ngữ lập trình cấp cao trừu tượng hóa độ phức tạp, nhưng lập trình loại hệ thống này là 'chắc chắn toán học một lần nữa,' Di Bella nói.

Theo Cointelegraph

Tin khác