Google Pakai AI untuk Memeriksa Keamanan Signal, Apakah Berarti Mustahil Diretas?

Google DeepMind pada 10 November 2026 mengumumkan AlphaProof Code, sebuah pendekatan yang menggabungkan keahlian manusia dan agen AI untuk memverifikasi sifat keamanan tertentu pada kode Signal. Ini perkembangan menarik untuk keamanan software, tetapi judul “Signal mustahil diretas” akan menghilangkan batas penting dari pekerjaannya.

Yang perlu kita tanyakan adalah properti apa yang dibuktikan, kode mana yang diperiksa, dan asumsi apa yang harus tetap benar.

Apa yang sebenarnya diumumkan

Menurut pengumuman DeepMind, para peneliti memakai agen AI untuk membuktikan properti keamanan pada implementasi protokol Signal. Halaman teknis proyek menjelaskan pekerjaan pada libsignal hingga tingkat kode mesin dengan bukti yang diperiksa mesin.

Perhatikan objek klaimnya: properti tertentu pada implementasi yang diperiksa. Artikel ini tidak menguji ulang bukti tersebut dan tidak menyatakan seluruh aplikasi, perangkat pengguna, atau akun terkait ikut mendapatkan jaminan yang sama.

Bedanya dengan mencari bug

Pengujian biasa mencoba masukan tertentu, lalu memeriksa apakah hasilnya sesuai harapan. Pengujian yang lulus memberi bukti bahwa contoh-contoh itu bekerja. Ia tidak otomatis mencakup setiap keadaan yang mungkin terjadi.

Pembuktian formal memulai dari pernyataan yang ingin dijamin dan model atau spesifikasi yang menjelaskannya. Bukti kemudian menghubungkan implementasi dengan pernyataan tersebut di bawah asumsi yang ditetapkan. Kualitas pernyataan dan asumsi menjadi bagian penting dari pekerjaan, bukan sekadar formalitas sebelum alat dijalankan.

Untuk membayangkannya, ambil sistem persetujuan invoice. Kita bisa menguji sepuluh contoh bahwa staf biasa tidak dapat menyetujui tagihannya sendiri. Target pembuktian yang lebih kuat akan menyatakan aturan itu tetap berlaku untuk semua keadaan yang dimodelkan. Namun, jika aturan bisnisnya keliru sejak awal, membuktikan implementasinya mengikuti aturan tersebut belum menyelesaikan masalah bisnis.

Kenapa bukan jaminan untuk seluruh layanan

Misalnya, jaminan pada kode kriptografi tidak dengan sendirinya menjawab apa yang terjadi jika seseorang menyerahkan kode masuk kepada penipu atau perangkatnya diambil alih. Itu pertanyaan dengan objek pemeriksaan berbeda.

Artinya untuk software bisnis

Pemilik bisnis tidak perlu meminta setiap tombol aplikasi dibuktikan secara matematis. Mulailah dengan aturan yang dampaknya paling besar jika salah: pemisahan akses antarpelanggan, persetujuan pembayaran, atau larangan menjalankan tindakan tertentu tanpa otorisasi.

Minta pengembang menyatakan aturan itu dalam bahasa yang bisa kamu periksa. Setelah itu, pilih kombinasi pengujian, review, dan metode verifikasi yang sesuai. Klaim “sudah dicek AI” perlu diterjemahkan menjadi artefak yang dapat dinilai: pengujian apa, versi apa, temuan apa, dan siapa yang menyetujui perbaikannya.

Ini juga alasan aku membedakan kemampuan menghasilkan kode dengan kesiapan sistem dipakai. Pembahasannya ada di vibe coding dan kebutuhan developer. Untuk titik pemeriksaan dalam workflow AI, lihat kapan manusia harus tetap mengecek.

Jika ada aturan penting di aplikasi bisnismu yang belum punya pengujian jelas, kita bisa mulai dari mendefinisikan perilaku yang harus dijamin.

Sumber diperiksa pada 10 November 2026. Uraian contoh invoice adalah ilustrasi untuk menjelaskan cakupan verifikasi, bukan hasil penelitian Signal.

Foto utama: Tyler di Unsplash, digunakan sesuai Unsplash License. Foto merupakan ilustrasi, bukan dokumentasi insiden, produk yang dibahas, atau hasil pengujian.