Pembangun bitcoin Luke Dashjr pada 9 Nov secara awam menyenaraikan sembilan kebimbangan mengenai kod penghasilan nombor rawak dalam dompet peranti keras Coinkite's Coldcard, berkata beliau sebelum ini telah melaporkannya kepada syarikat tersebut secara peribadi.
"Saya tidak mengklaim bahawa semua ini boleh dijadikan senjata, atau bahawa semuanya pasti merupakan kelemahan," tulis Dashjr dalam pengungkapannya. Beliau mengatakan tidak tahu sama ada Coinkite telah memperbaikinya dan menggambarkan ulasannya sebagai tinjauan pantas, bukan audit penuh.
Tembangnya menghubungkan kepada revise firmware Julai. Nota rilis kemudian Coinkite dan sumber yang diterbitkan menunjukkan perubahan yang menangani beberapa bidang yang dinaikkan olehnya, termasuk pemeriksaan ralat benih cip dan ujian permulaan laluan RNG peranti keras.
https://x.com/i/status/2119836060306018364
Pengungkapan ini mengikuti insiden generasi benih Coldcard pada Julai. Coinkite mengatakan penyerang memanfaatkan benih dompet yang dilemahkan dengan menghasilkan semula kunci peribadi secara luar talian dan mencuri dana, tanpa mengakses peranti dari jarak jauh.
Post bernombor Dashjr post bernombor menimbulkan kebimbangan terhadap kod yang digunakan selepas pembaikan sebelumnya:
Dia mempertanyakan sama ada sampel rawak awal harus dibuang pada permulaan, menyatakan kekurangan pemeriksaan benih cip dan ralat jam, serta mengatakan bahawa manual cip memerlukan pemprosesan selepas untuk aplikasi kriptografi.
Dia mengatakan bahawa semakan output berulang dikenakan ke atas bacaan yang disimpan tetapi tidak ke panggilan terus, dan berhujah bahawa rutin pengesanan ralat peringkat lebih rendah tidak ditunjukkan mencukupi sendiri.
Dia mempertanyakan mengapa kerawangan elemen selamat tidak mengekalkan kekuatan yang dijangka, mendesak ujian penuh terhadap laluan RNG yang baru diaktifkan, dan menyeru agar dilakukan pemeriksaan di peranti daripada hanya bergantung pada langkah-langkah keselamatan semasa pembinaan.
Dia memperingatkan bahawa masa habis yang ditangani dalam konteks yang tidak mampu memproses pengecualian Python dengan selamat boleh menyebabkan tingkah laku tak tentu, berpotensi menyebabkan peranti gagal atau menjadi tidak boleh digunakan.
Dashjr mengatakan beliau membuat pengumuman awam selepas mendengar bahawa NVK mengklaim manusia tidak mampu menemui kecacatan Coldcard. Pada pagi yang sama, CEO Coinkite Rodolfo Novak, dikenali sebagai NVK, menulis bahawa “diperlukan model AI baru untuk menemui apa yang tidak dapat ditemui manusia.” Pos Novak berkaitan penemuan kecacat penghasilan benih sebelumnya; tred teknikal Dashjr membincangkan kod selepas pembaikan.
Perisian Kemudian Ditambahkan Semakan RNG
Laman muat turun Coinkite mencantumkan 5.6.3 sebagai firmware piawai semasa untuk Mk4/Mk5 dan 1.5.3Q untuk Q. sejarah rilis tersebut menunjukkan penambahan pengesanan ralat benih dan ujian diri bermula RNG peranti keras pada versi 5.6.1, yang dirilis pada 20 Ogos.
sumber Mk4 yang diterbitkan untuk 5.6.3 mengabaikan sampel pemanasan, memeriksa flag ralat benih, mengulangi kegagalan, dan menguji sama ada panggilan mencapai penghasil nombor rawak peranti keras. Nota rilis juga menyatakan kedua-dua elemen selamat kini diambil sampel secara langsung untuk setiap benih utama baru, bukan hanya menyumbang melalui pemuatan benih RNG.
Sumber semasa masih meletakkan semakan output berulangnya dalam rutin bacaan berbuffer, bukan dalam setiap panggilan langsung. Komen-komenya menyatakan bahawa bendera ralat jam sengaja diabaikan, merujuk kepada dokumentasi cip yang menyatakan ralat-ralat tersebut tidak membuat nombor yang dihasilkan tidak sah.
Untuk pengguna yang terkesan oleh insiden Julai, petunjuk tetap Coinkite tetap bahawa pembaruan firmware tidak memperbaiki benih yang telah lemah. Pengguna tersebut harus mengikuti petunjuk migrasinya kecuali pengecualian dadu bebas dalam nasihat tersebut berlaku.