# Artikel Terkait Keamanan

Pusat Berita HTX menyediakan artikel terbaru dan analisis mendalam mengenai "Keamanan", mencakup tren pasar, pembaruan proyek, perkembangan teknologi, dan kebijakan regulasi di industri kripto.

Pengguna Kanada Menanggung 25% Kerugian Akibat Kerentanan Coldcard

Pengguna Kanada menanggung 25% dari total kerugian akibat kerentanan keamanan pada dompet keras Coldcard, yang sesuai dengan keberadaan kuat perusahaan induknya, Coinkite, di Toronto. Analisis Chainalysis menunjukkan Australia di peringkat kedua (15-20% kerugian), diikuti AS dan Thailand (masing-masing 10-15%). Serangan ini berdampak global, termasuk di Eropa Barat, Amerika Latin, Nigeria, dan Afrika Selatan. Total aset yang dicuri mencapai $116 juta. Galaxy Research mengidentifikasi pembaruan firmware Maret 2021, khususnya implementasi generator angka acak baru yang salah konfigurasi, sebagai titik kegagalan tunggal. Kesalahan ini menyebabkan kunci privat dihasilkan dengan entropi rendah, dan lima tahun kemudian, penyerang mencuri $70 juta dari 1.200 dompet dalam 41 menit. Ahli keamanan menekankan pentingnya menghapus mekanisme cadangan RNG dari produksi dan hanya menggunakan satu penyedia RNG yang disetujui, sesuai standar NIST FIPS 140-3. Mereka juga merekomendasikan protokol respons insiden yang memprioritaskan transparansi kepada pengguna dan pengujian teknis yang ketat sebelum merilis perbaikan. Insiden ini memicu pertanyaan mendasar tentang model keamanan penyimpanan mandiri (self-custody). Para kritikus berpendapat bahwa eksekusi offline saja tidak menjamin perlindungan mutlak, karena pengguna tetap mempercayai pihak ketiga (produsen perangkat, kode, dan proses QA). Untuk adopsi massal, diperlukan sistem yang dirancang dengan toleransi kegagalan, seperti konfigurasi multi-penyedia atau skema tanda tangan tunggal bersyarat (MPC). Konsensus industri bergeser ke arah menjadikan solusi multi-tanda tangan atau MPC sebagai standar dasar wajib untuk menghindari titik kegagalan tunggal.

cryptonews.ru08/06 13:52

Pengguna Kanada Menanggung 25% Kerugian Akibat Kerentanan Coldcard

cryptonews.ru08/06 13:52

ZEUS Mematikan Infrastrukturnya Setelah Serangan Hacker, Ini Gangguan Ketiga dalam Jaringan Lightning dalam Seminggu

Perusahaan ZEUS menonaktifkan dompet Lightning-nya pada 5 Agustus menyusul insiden peretasan, menjadikannya penyedia layanan Lightning ketiga yang menghentikan operasi dalam seminggu setelah gangguan pada Boltz dan AQUA. ZEUS mengonfirmasi serangan telah dinetralisir dan dana pengguna aman. Namun, penonaktifan tiga layanan terkemuka dalam beberapa hari menimbulkan kekhawatiran tentang keamanan penyedia infrastruktur Lightning, bukan pada jaringan Bitcoin Lightning Network itu sendiri. Diskusi di komunitas menggarisbawahi pentingnya hosting mandiri dan mengurangi ketergantungan pada infrastruktur terpusat. Berdasarkan pembaruan keamanan, ZEUS mematikan infrastrukturnya untuk audit menyeluruh. Investigasi awal tidak menemukan bukti peretasan pada perangkat lunak node Lightning. Klien yang saluran LSP-nya terpengaruh akan mendapat saluran pengganti setelah layanan beroperasi kembali. Data dari platform analitik Lightning Amboss menunjukkan jaringan Lightning tetap stabil. Kapasitas publik jaringan justru meningkat 0,61% dan jumlah saluran publik bertambah 0,59% selama minggu terjadinya insiden tersebut, mengindikasikan gangguan hanya terbatas pada beberapa penyedia tertentu. ZEUS menyatakan insiden ini akan memperkuat langkah-langkah peningkatannya. Perusahaan telah menyelesaikan audit SOC 2 Tipe II dan menyadari pentingnya menggunakan Trusted Execution Environments (TEE) serta proyek Validating Lightning Signer (VLS) untuk tujuan keamanan jangka panjang. Saat ini, pengguna menunggu penyelesaian evaluasi keamanan dan pemulihan layanan normal oleh ZEUS.

cryptonews.ru08/06 11:21

ZEUS Mematikan Infrastrukturnya Setelah Serangan Hacker, Ini Gangguan Ketiga dalam Jaringan Lightning dalam Seminggu

cryptonews.ru08/06 11:21

Ethereum Jelaskan Bagaimana AI Mengubah Pendekatan Keamanan Smart Contract

Tim Ethereum telah menerbitkan seri postingan tamu dari pengembang utama Vyper dengan nama samaran big_tech_sux, yang membahas peran verifikasi formal di era pesatnya perkembangan kecerdasan buatan (AI). Penulis menyatakan bahwa kemajuan Model Bahasa Besar (LLM) membuat pembuktian matematis atas kebenaran program menjadi lebih mudah diakses. Untuk kontrak pintar yang mengelola miliaran dolar, verifikasi formal secara bertahap menjadi kebutuhan. Verifikasi formal adalah metode matematis yang memungkinkan pembuktian kebenaran kerja program untuk semua kemungkinan skenario eksekusi. Meski AI modern seperti LLM sangat menyederhanakan proses ini, penulis menekankan bahwa verifikasi formal tetap kompleks dan memakan banyak sumber daya. Perkembangan AI meningkatkan efektivitas baik pihak bertahan maupun penyerang. Namun, verifikasi formal dapat menggeser keunggulan kepada pihak bertahan karena memungkinkan pembuktian ketahanan sistem terhadap semua kemungkinan data masukan, sementara penyerang hanya perlu menemukan satu celah. Oleh karena itu, untuk perangkat lunak penting seperti kontrak pintar yang mengelola dana pengguna dalam jumlah besar, verifikasi formal dianggap bukan lagi sekadar pilihan, melainkan prasyarat yang diperlukan. Diskusi ini melanjutkan percakapan yang sebelumnya dimulai oleh salah satu pendiri Ethereum, Vitalik Buterin, mengenai penggunaan AI untuk verifikasi formal kode.

cryptonews.ru08/06 11:21

Ethereum Jelaskan Bagaimana AI Mengubah Pendekatan Keamanan Smart Contract

cryptonews.ru08/06 11:21

活动图片