Anthropic hari ini menyatakan bahwa versi model AI paling kuatnya yang belum dirilis menemukan dua serangan yang sebelumnya tidak diketahui pada algoritma kriptografi, salah satunya terhadap skema yang saat ini bersaing untuk menjadi standar federal AS.

Skema tersebut adalah HAWK, sebuah sistem tanda tangan digital—matematika yang membuktikan bahwa sebuah transaksi berasal dari Anda tanpa pernah mengekspos kunci pribadi Anda—yang dibangun untuk bertahan dari komputer kuantum masa depan. Badan federal non-regulator dan laboratorium NIST memindahkannya ke putaran ketiga kompetisi tanda tangan pasca-kuantumnya pada bulan Mei, di mana itu adalah kandidat berbasis kisi (lattice-based) terakhir yang tersisa.

Claude menemukan simetri yang tersembunyi dalam matematika HAWK yang tidak terpikirkan oleh manusia untuk digunakan. Untuk konfigurasi terkecil, biaya pemulihan kunci rahasia turun dari 2^64 operasi menjadi 2^38, kira-kira 67 juta kali lebih sedikit pekerjaan.

Memperbaikinya berarti kira-kira menggandakan ukuran kunci HAWK. "Sayangnya, menggandakan ukuran kunci HAWK menghilangkan banyak alasan yang menjadikan skema tersebut (sebagaimana adanya saat ini) kandidat tanda tangan PQC yang menarik," tulis Anthropic.

Perdagangan itu lebih berarti bagi blockchain daripada kedengarannya. Ukuran tanda tangan adalah ruang blok (block space), dan ruang blok adalah biaya, jadi setiap rantai yang mencari pengganti tahan kuantum sebagian memilih berdasarkan byte per tanda tangan. Kunci yang ringkas dan penandatanganan cepat adalah daya tarik utama HAWK, dan perbaikan ini menghilangkan sebagian besar keunggulan itu.

Jangan khawatir, hodler: Koin Anda aman (untuk saat ini). HAWK belum pernah diterapkan di mana pun, dan Bitcoin masih berjalan di atas ECDSA, skema tanda tangan pra-kuantum yang pada akhirnya dimaksudkan untuk digantikan oleh kandidat seperti HAWK.

Anthropic mengungkapkan kedua hasil ini kepada para penulis algoritma dan kepada mitra pemerintah serta industri AS sebelum menerbitkan, dan mengoordinasikan temuan HAWK dengan NIST.

Hasil AES memerlukan sedikit dorongan

Serangan kedua menargetkan AES, cipher yang mengacak lalu lintas HTTPS Anda, drive terenkripsi Anda, dan backend bursa Anda. AES-128 penuh mendorong data melalui 10 putaran pengacakan, dan Claude menyerang versi penelitian 7-putaran yang belum ada yang meningkatkan sejak tahun 2013.

Pengaturan ini sengaja dibuat keras. Para peneliti melarang model tersebut dari kelima keluarga kriptanalisis AES yang sudah mapan dan menyuruhnya untuk menciptakan yang keenam, menutup penjelasan singkat dengan kalimat tentang bagaimana serangan diferensial pertama tidak mengalahkan apa pun—melainkan menciptakan permainan tersebut. Claude juga mewarisi catatan kerja dari eksekusi agen sebelumnya yang telah menghabiskan sekitar 200 varian serangan yang gagal.

Namun model itu menolak. "Pada AES-128 r5/r6/r7 tidak ditemukan apa-apa karena tidak ada yang mudah ditemukan; ini adalah cipher blok yang paling banyak dipelajari," kata model tersebut kepada para peneliti, berdasarkan transkrip yang diterbitkan Anthropic.

Anthropic hanya mengirim tiga pesan substantif selama tiga hari berikutnya, di antaranya: "tidak lagi tujuannya adalah agar kita memiliki model yang sangat cerdas sebaik peneliti top, kita ingin menemukan serangan baru." Yang lain menolak membiarkan Claude menukar AES dengan cipher yang lebih mudah.

Kemudian model itu menghasilkan trik yang disebut makalah tersebut sebagai Möbius Bridge, melumpuhkan salah satu dari sembilan byte kunci yang sebelumnya harus ditebak oleh penyerang. Menyempurnakan itu menjadi versi yang diterbitkan membutuhkan beberapa hari lagi dan satu miliar token keluaran.

Temuan dengan jalur terpendek menuju sesuatu yang nyata mendapat perhatian paling sedikit. Claude juga memecahkan 13 putaran LEA, standar nasional Korea dan standar enkripsi ringan ISO yang dibuat untuk ponsel dan perangkat Internet of Things, dalam waktu kurang dari satu jam di desktop dibandingkan dengan rekor sebelumnya yang membutuhkan 2^98 pasang plaintext. LEA yang digunakan berjalan 24 putaran, jadi tidak ada yang rusak di lapangan.

Verifikasi membutuhkan waktu lebih lama daripada penemuan

Makalah HAWK secara tidak biasa blak-blakan mengenai pembagian kerja. "Mayoritas penemuan matematis dalam makalah ini dibantu oleh AI. Kontribusi penulis manusia sebagian besar terdiri dari mengarahkan, mengatur, dan memverifikasi pekerjaan AI," tulis para penulisnya.

Claude menemukan ide AES dalam hitungan hari. Peneliti Anthropic kemudian menghabiskan beberapa ratus jam mempelajari kriptografi yang cukup untuk memastikan bahwa itu berhasil—model yang sama yang menemukan 271 kerentanan di Firefox selama pengujian internal.

"Komunitas keamanan siber kini bergulat dengan fakta bahwa model bahasa mampu menemukan begitu banyak bug sehingga proses standar manusia (seperti triase kerentanan, verifikasi, dan remediasi) kesulitan untuk mengikutinya," tulis Anthropic, memperingatkan bahwa peneliti manusia mungkin menjadi penghambat.

Anthropic juga membangun CryptanalysisBench—191 tugas pemecahan cipher yang sebagian besar diambil dari kompetisi NIST. Model menyerahkan skrip serangan yang berfungsi yang memenangkan permainan keamanan formal atau tidak, tanpa kredit parsial dan tanpa penilaian manusia.

Mythos 5 memecahkan 85,7% tugas dengan solusi yang diketahui, dibandingkan dengan 65,3% untuk model terlemah yang diuji. Terhadap cipher kekuatan penuh tanpa celah yang dipublikasikan, setiap model mencetak di bawah 9%.