Tuntutan algoritma kuantum Simon: mengapa ia penting, dan mengapa belum perlu panik

Apa yang didakwa dalam draf Simon?

DCP ialah masalah matematik yang lama dikaji sebagai penghubung kepada masalah kekisi—sejenis masalah yang menjadi asas kepada banyak reka bentuk kriptografi pascakuantum . Dakwaan utama manuskrip itu ialah:

• Penyelesaian DCP dalam masa polinomial. Simon mendakwa algoritmanya boleh menyelesaikan DCP dalam masa polinomial pada komputer kuantum. Pendekatan itu dibina atas pengurangan Regev pada 2002 yang mengaitkan Dihedral Subgroup Problem dengan DCP .
• Menutup jurang teori selama dua dekad. Jika terbukti benar, keputusan itu akan menyelesaikan persoalan terbuka yang muncul selepas hubungan antara DCP dan masalah kekisi diperkenalkan—jurang yang berlarutan sejak sekitar 2004 .
• Teknik “block-and-query”. Menurut manuskrip itu, Simon menggantikan oracle penting dalam pendekatan terdahulu dengan teknik “block-and-query” untuk mengekstrak maklumat tentang subkumpulan tersembunyi .
• Kesan terhadap masalah kekisi. Draf tersebut menyatakan algoritma itu boleh digabungkan dengan pengurangan oleh Regev , serta penambahbaikan oleh Brakerski, Kirshanova, Stehlé dan Wen , bagi menghasilkan algoritma kuantum masa polinomial untuk beberapa masalah kekisi. Contohnya termasuk mencari penghampiran faktor polinomial kepada vektor terpendek (SVP) dan menyelesaikan masalah Learning With Errors (LWE) .

Draf itu turut mendakwa algoritma berkenaan boleh berfungsi walaupun kadar sampel rosak mencecah 1/O(log n). Jika tuntutan ini tepat, ia akan membolehkan algoritma tersebut digabungkan dengan laluan pengurangan sedia ada untuk menyelesaikan masalah kekisi dengan cekap .

Mengapa komuniti masih skeptikal?

Buat masa ini, status yang paling tepat ialah: dakwaan penting, tetapi belum disahkan.

• Belum melalui semakan rakan sebaya. Manuskrip itu dilabel sebagai “Preliminary Draft” dan muncul di pelayan IACR ePrint pada awal Ogos 2026. Ia belum diterbitkan dalam jurnal atau persidangan yang melalui semakan rakan sebaya .
• Bukti utama masih berupa lakaran. Beberapa analisis awal menyatakan bahawa sebahagian bukti yang menjadi tunjang hujah hanya diberikan secara ringkas atau berbentuk lakaran. Kesimpulan akhir berkaitan parameter SVP dan LWE juga dilaporkan sebahagiannya bergantung pada komunikasi peribadi yang belum diterbitkan .
• Belum ada pengesahan bebas. Setakat beberapa hari selepas draf itu diterbitkan, belum ada pengesahan atau penolakan bebas yang diterbitkan . Sikap umum komuniti ialah menunggu fakta dan penelitian terperinci sebelum membuat kesimpulan .
• Bukan serangan praktikal. Manuskrip itu membentangkan tuntutan teori tentang DCP, bukannya kod serangan yang telah digunakan terhadap sistem kriptografi piawai .

Dalam bidang kriptografi, perbezaan antara “algoritma yang didakwa wujud” dan “serangan yang boleh digunakan” amat besar. Dakwaan matematik perlu diperiksa baris demi baris, diuji oleh penyelidik lain dan dipadankan dengan parameter sebenar sebelum kesan keselamatan boleh dinilai.

Adakah ML-KEM dan ML-DSA terancam sekarang?

Jawapan ringkas untuk organisasi yang sedang menggunakan atau menilai piawaian pascakuantum NIST ialah: belum ada sebab untuk mengubah haluan hanya berdasarkan draf ini .

• Tiada ancaman praktikal segera. Draf Simon tidak melaksanakan serangan terhadap ML-KEM, yang ditakrifkan dalam FIPS 203, atau ML-DSA dalam FIPS 204 . Tiada set parameter NIST dilaporkan telah dipatahkan .
• Hubungan dengan piawaian adalah tidak langsung. DCP mempunyai kaitan dengan masalah kekisi melalui pengurangan teori yang diketahui. Namun, langkah daripada penyelesaian DCP kepada serangan konkrit terhadap Module-LWE atau Module-SIS—andaian kesukaran khusus yang berkaitan dengan ML-KEM dan ML-DSA—masih belum dibuktikan .
• Masalah kekisi bukan satu kategori yang seragam. Jika dakwaan Simon disahkan, ia mungkin mengukuhkan hujah teori bahawa komputer kuantum boleh menyelesaikan sesetengah masalah kekisi dengan cekap. Tetapi “masalah kekisi” secara umum lebih luas daripada andaian kekisi berstruktur yang digunakan dalam piawaian NIST .
• Perlu dibezakan daripada serangan sebenar. Algoritma teori yang berjalan dalam masa polinomial tidak semestinya terus menjadi serangan praktikal terhadap implementasi, parameter, protokol dan sistem operasi sebenar.

Konteks daripada penyelidikan terdahulu

Bidang ini memang menunjukkan kemajuan, tetapi kemajuan itu tidak sama dengan memecahkan piawaian sedia ada.

Pada 2025, Bai dan rakan-rakan membangunkan algoritma kuantum masa kuasi-polinomial untuk varian DCP yang lebih terhad, iaitu extrapolated DCP bagi modulus kuasa dua . Hasil Simon—jika benar-benar sah untuk DCP penuh dan berjalan dalam masa polinomial—akan menjadi lonjakan besar berbanding keputusan tersebut.

Namun, jarak antara keputusan teori itu dengan serangan terhadap ML-KEM atau ML-DSA tetap perlu dibuktikan secara berasingan. Ia bergantung pada bentuk pengurangan, struktur matematik yang tepat dan keupayaan memetakan keputusan itu kepada parameter piawai.

Reaksi pakar: tunggu, semak dan jangan bertindak melulu

Reaksi awal komuniti keselamatan pascakuantum boleh dirumuskan sebagai skeptikal tetapi tidak menolak kepentingannya . Penganalisis industri menggambarkan reaksi awal sebagai “heavy skepticism”, khususnya kerana bukti penting masih berbentuk lakaran dan menggunakan rujukan yang belum diterbitkan .

Implikasi terhadap kriptografi kekisi juga bersifat bersyarat. DCP yang boleh diselesaikan dalam masa polinomial tidak dengan sendirinya membuktikan bahawa semua andaian kekisi yang digunakan dalam kriptografi pascakuantum menjadi lemah; kesannya bergantung pada laluan pengurangan tertentu .

Setakat ini, belum ada kenyataan rasmi besar daripada NIST, makmal akademik atau badan piawaian. Ketiadaan kenyataan sedemikian tidak mengejutkan memandangkan draf itu baru sahaja diterbitkan .

Kesimpulan

Draf Daniel R. Simon ialah tuntutan teori yang sangat besar. Jika disahkan, ia boleh memberi kesan mendalam terhadap asas tertentu dalam kriptografi kekisi dan penyelidikan pascakuantum.

Tetapi pada masa ini, ia masih dakwaan yang belum disahkan, bukannya bukti bahawa kriptografi pascakuantum telah gagal. Tiada serangan terhadap ML-KEM atau ML-DSA, tiada parameter NIST yang telah dipatahkan, dan tiada alasan berasaskan draf ini sahaja untuk menghentikan migrasi atau mengubah parameter keselamatan. Pendekatan yang wajar ialah terus memantau semakan bebas dan menunggu pengesahan matematik sebelum membuat keputusan operasi.