- Fenomena yang tampak seolah tidak ada kemajuan sejak 2001, ketika komputer kuantum berhasil memfaktorkan 15
- Rangkaian untuk memfaktorkan 21 memerlukan 100 kali lebih banyak gerbang entanglement dibanding saat memfaktorkan 15
- Perbedaan ini berasal dari kompleksitas perkalian modular bersyarat dan optimasi khusus yang hanya berlaku untuk 15
- Koreksi kesalahan kuantum dan keterbatasan perangkat keras juga makin menaikkan hambatan untuk memfaktorkan 21
- Sebagian besar laporan pemfaktoran 21 hingga kini sebenarnya memakai trik tanpa benar-benar melakukan perkalian dalam arti yang sesungguhnya
Mengapa komputer kuantum masih belum bisa memfaktorkan 21
Mengapa pemfaktoran 21 belum muncul setelah pemfaktoran 15
- Pada 2001 ada eksperimen pemfaktoran 15 dengan komputer kuantum
- Meski sudah tahun 2025, masih belum ada contoh sukses pemfaktoran 21
- Hal ini membuat persepsi bahwa komputer kuantum sama sekali tidak mengalami kemajuan
- Namun, jika rangkaian untuk memfaktorkan 15 dan 21 dibandingkan, ada alasan yang jauh lebih mengejutkan
Perbedaan struktural antara rangkaian pemfaktoran 15 dan rangkaian pemfaktoran 21
- Rangkaian pemfaktoran 15 dapat diimplementasikan hanya dengan 21 gerbang kuantum (21 gerbang entanglement)
- Terdiri dari 6 gerbang entanglement qubit (gerbang CNOT dan CPHASE) dan
- 2 gerbang Toffoli (masing-masing diuraikan menjadi 6 gerbang entanglement), total 21 gerbang entanglement
- Rangkaian pemfaktoran 21 memerlukan 191 CNOT, 369 Toffoli, total 2405 gerbang entanglement
- Menimbulkan beban 115 kali lebih banyak gerbang entanglement dibanding memfaktorkan 15
- Ukuran rangkaian tidak sekadar naik 25% atau 2 kali lipat, tetapi menjadi lebih dari 100 kali lebih mahal
- Bahkan dengan mempertimbangkan tingkat optimasi rangkaian, perbedaan hingga 500 kali juga tampak realistis
Mengapa selisihnya bisa sebesar itu
- Dalam rangkaian pemfaktoran kuantum (algoritme Shor), biaya yang dominan adalah perkalian modular bersyarat
- Untuk bilangan N dengan n-bit, perkalian modular harus dilakukan ke akumulator beberapa kali secara bersyarat
- Dalam kasus 15, dari 8 perkalian bersyarat, 6 dapat ditangani sebagai perkalian dengan 1 (tidak melakukan apa pun)
- Perkalian pertama dapat diimplementasikan hampir gratis karena input-nya 1
- Perkalian kedua (satu-satunya yang tersisa) juga bisa ditangani dengan murah melalui dua CSWAP
- Akibatnya, biaya nyata hanya perlu dibayar untuk 2 operasi
- Struktur ini adalah sifat khusus yang hanya berlaku untuk 15; karena banyak perkalian yang nilainya dekat dengan 1, bebannya jauh lebih ringan
- Namun, dalam kasus 21 semua perkalian bukan 1 dan nilainya beragam, sehingga semua perkalian menimbulkan biaya
- Semua 8 operasi perkalian menimbulkan biaya; kenaikannya bukan sekadar 4–5 kali, melainkan 20–100 kali
- Perkalian seperti kali 4 atau 16 tidak memiliki struktur yang bisa diimplementasikan dengan CSWAP (conditional swap)
- Kompleksitas perkalian berbeda-beda untuk tiap operasi, dan optimasinya tidak mudah
Batasan nyata perangkat keras dan koreksi kesalahan
- Pemfaktoran 15 pada masa lalu (2001) diimplementasikan dengan komputer kuantum NMR, yang punya banyak keterbatasan untuk penskalaan
- Lebih jauh lagi, kebutuhan akan koreksi kesalahan kuantum juga makin besar
- Jika jumlah gerbang 100 kali lebih banyak, tingkat kesalahannya juga harus 100 kali lebih rendah
- Dalam praktiknya, jumlah qubit pun bisa perlu ditingkatkan 100 kali, sehingga total biaya berpotensi naik hingga 10.000 kali
Kontroversi upaya pemfaktoran dan hasil-hasil yang keliru
- Beberapa makalah terbaru mengklaim berhasil memfaktorkan 21 dengan komputer kuantum, tetapi
- pada kenyataannya mereka sering menghilangkan langkah perkalian dalam algoritme atau menyederhanakan rangkaian karena hasilnya sudah diketahui sebelumnya
- tanpa benar-benar melakukan operasi perkalian, hal itu tidak bisa dianggap sebagai pemfaktoran
- ini adalah hasil formalitas yang mengabaikan perbedaan mendasar antara sekadar "pencarian periode" dan esensi pemfaktoran
- Beberapa makalah bahkan terang-terangan memakai trik, dan ada pula makalah satir yang menanggapi penelitian tersebut
- Ada berbagai makalah satir seperti eksperimen replikasi rekor juara pemfaktoran
- Benchmark seperti variational factoring terus bermunculan meski tidak punya dasar untuk menunjukkan kemampuan penskalaan
Apa indikator kemajuan komputer kuantum yang benar
- Pada titik ini, pemfaktoran bukan benchmark utama kemajuan komputer kuantum
- Setelah melewati 15, biaya melonjak tajam sehingga verifikasi praktis menjadi sulit
- Sebaliknya, penerapan koreksi kesalahan kuantum (misalnya peningkatan surface code) atau
- perubahan arsitektur perangkat keras yang menyelesaikan masalah penskalaan (misalnya penggantian atom netral secara berkelanjutan)
- adalah titik pengamatan yang lebih penting untuk menunjukkan kemajuan yang nyata
1 komentar
Komentar Hacker News
Ini karena sejauh ini mereka bahkan belum pernah benar-benar memfaktorkan bilangan yang lebih kecil. Jika proses kompilasi program hanya bisa berjalan bila sudah mengetahui jawabannya terlebih dahulu, maka itu bukan faktorisasi sungguhan, melainkan sekadar "mencetak 3"
Saya penasaran berapa banyak quantum gate yang benar-benar dibutuhkan untuk memfaktorkan bilangan yang bermakna secara kriptografis. Saya juga ingin tahu apakah ada jalur yang benar-benar realistis menuju munculnya komputer kuantum yang berguna dalam abad ini
Makalah 'Replication of Quantum Factorisation Records with an 8-bit Home Computer, an Abacus, and a Dog' menarik (baca makalah)
Saya tertarik pada ukuran sirkuit dan kelayakan realisasi untuk memfaktorkan angka yang bermakna secara kriptografis seperti RSA1024
Saya penasaran apakah suatu hari komputer kuantum bisa menargetkan post-quantum RSA (makalah terkait). Ada juga pandangan bahwa operasi RSA biasa (pembuatan kunci, enkripsi, dekripsi) secara asimetris lebih menguntungkan terhadap algoritma Shor, sehingga cukup memakai kunci yang sangat besar. Ini memberi efek mirip Merkle puzzle, dengan syarat tambahan bahwa penyerang harus menyerang menggunakan komputer kuantum. Dulu saya pernah membuat kunci publik RSA gigabit (file kunci). Formatnya: jumlah byte kunci 4-byte little-endian, lalu kuncinya, lalu invers kunci (mod 256^bytes). Eksponen publiknya adalah 3
Saya cukup terhibur melihat typo "error corection"
Saya sulit memahami bagian "biaya sirkuit 500 kali dibanding faktorisasi-15". Penulis sudah memberi contoh 115 kali, jadi saya penasaran bagaimana optimasi tambahan justru bisa menghasilkan hasil yang lebih buruk
Saya bertanya-tanya apakah inti postingan ini menyiratkan bahwa kebutuhan sirkuit Big-O untuk faktorisasi Schorr bersifat superpolinomial
Alasan adopsi kriptografi PQ (post-quantum) bukan semata karena yakin QC pasti segera hadir. Tidak pasti kapan QC akan muncul karena bergantung pada laju perkembangan teknologinya. Tujuan teknologi kriptografi adalah mencari metode yang secara teoretis pun hampir mustahil dipecahkan, dan jika secara teoretis serangan dimungkinkan maka secara fisik pun ada kemungkinan, sehingga harus diantisipasi. Untuk ECC dan RSA, jalur teoretis serangannya sudah diketahui, jadi dianggap bisa diserang meskipun perangkat nyatanya belum ada. Karena itu, sangat masuk akal untuk bersiap sebelumnya saat QC belum ada. Sebaliknya, untuk SHA2, AES, ChaCha, dan sebagainya, belum terlihat jalur serangan yang realistis sehingga belum ada rencana penggantian segera. Enkripsi bukan satu-satunya, atau bahkan bukan arah aplikasi terpenting dari QC. Ada harapan bahwa inovasi yang belum kita ketahui masih bisa muncul di berbagai bidang seperti sistem fisik, pelipatan protein, machine learning, dan lain-lain