OpenAI Klaim Terobosan Kriptografi, Tak Ada Ancaman Langsung bagi Bitcoin
OpenAI mengklaim sistem AI-nya menyanggah Hipotesis Waktu Eksponensial (Exponential Time Hypothesis/ETH), asumsi lama soal tingkat kesulitan komputasi sejumlah persoalan logika. Pengumuman 26 Oktober itu mendorong peneliti menyiapkan pengujian independen. Hasil yang dipaparkan tidak menunjukkan serangan praktis terhadap Bitcoin. Singkatan ETH di sini merujuk pada hipotesis tersebut, bukan Ether.
Hipotesis itu menyangkut 3SAT, persoalan yang meminta komputer menetapkan nilai benar atau salah agar memenuhi sekumpulan kondisi logika. Hipotesis ini menyatakan solusi kasus terburuk membutuhkan waktu yang tumbuh eksponensial seiring jumlah variabel. Naskah bertanggal 17 Oktober dan direvisi 25 Oktober mengklaim algoritma deterministik untuk menghitung secara tepat jumlah penetapan yang memenuhi rumus Boolean berlebar tetap. Naskah itu mengklaim waktu jalan subeksponensial dan kebutuhan ruang polinomial. Waktu jalan subeksponensial tumbuh lebih lambat daripada batas eksponensial seiring membesarnya masalah, tetapi itu tidak berarti komputer saat ini mudah menyelesaikannya. Batas yang dipaparkan tidak menetapkan algoritma waktu polinomial dan tidak menyelesaikan P=NP. Pertanyaan P=NP menyangkut apakah setiap persoalan keputusan yang solusinya dapat diverifikasi dalam waktu polinomial juga punya solusi yang dapat dihitung dalam waktu polinomial.
OpenAI menyatakan asisten pembuktian Lean telah memverifikasi hasil itu. Catatan cakupan Lean justru menggambarkan batas waktu subeksponensial yang lebih lemah daripada klaim terkuat dalam naskah. Peneliti yang mengorganisasi pengujian independen secara eksplisit menahan sertifikasi. Surat penyelenggara menyebut, "Keterlibatan kami tidak boleh dianggap sebagai sertifikasi atas klaim tersebut." CryptoSlate hanya menelaah halaman pengantar 1–8, bukan keseluruhan pembuktian.
Penambangan Bitcoin dan otorisasi pengeluaran adalah tugas keamanan yang berbeda. Penambang mencari hash block header yang berada di bawah target. Tanda tangan membuktikan izin untuk membelanjakan. Bitcoin memakai tanda tangan ECDSA dan Schnorr pada kurva eliptik secp256k1, sebagaimana diuraikan BIP340. Asumsi keamanan dalam BIP340 melibatkan logaritma diskret kurva eliptik dan fungsi hash. Pemulihan kunci menyangkut kemampuan penyerang memperoleh kunci privat dari kunci publik yang bersangkutan. Menyanggah asumsi SAT kasus terburuk tidak dengan sendirinya menunjukkan cara menembus mekanisme keamanan tersebut. Serangan praktis menuntut penyandian yang tepat, implementasi yang berjalan, dan perbandingan biaya untuk tugas yang disasar. Jumlah variabel dalam rumus SAT tidak bisa ditukar dengan panjang bit kunci kriptografi atau hash. Cakupan Lean menyatakan batas itu dalam variabel rumus tersandi dan panjang masukan. Menyisipkan jumlah bit kriptografi ke dalam batas tersebut akan melewati representasi masalah yang sebenarnya.
Bitcoin menyesuaikan target penambangan setiap 2.016 blok. Penyesuaian itu mengatur produksi blok, bukan otorisasi tanda tangan, dan tidak menghapus pentingnya keunggulan penambangan privat. Pada 7 Oktober, Justin Drake mendesak persiapan "mode bunker" menyusul pengumuman matematika OpenAI sebelumnya. Peringatan Drake menyangkut potensi serangan di masa depan, sedangkan pengumuman sebelumnya tidak menunjukkan terobosan praktis atas ECDSA atau RSA. Klaim OpenAI 26 Oktober merupakan hasil yang terpisah.
Ryan Williams mengatakan ia, Russell Impagliazzo, dan Mohan Paturi diminta menyusun pengujian terbuka dan independen tanpa perjanjian kerahasiaan maupun pembayaran. Williams juga menyatakan telah meminta OpenAI memeriksa apakah sistem kripto yang ada terdampak, dan menyampaikan bahwa sistem tersebut tampaknya tetap aman. Keterangan Williams adalah informasi tangan kedua soal pemeriksaan yang diminta kepada OpenAI, bukan audit kriptografi independen. OpenAI menyebut riset tambahan yang substansial masih diperlukan untuk perbaikan praktis. Williams mengaku tidak tahu apakah pengembang akan memperoleh manfaat, sehingga kemajuan dalam 12 bulan maupun tidak adanya perkembangan sama-sama terbuka. Penyelenggara berencana menerbitkan temuan selama proses pengujian berlangsung.
