Pendiri CertiK Membahas Keamanan Blockchain: Dari Verifikasi Formal hingga Ancaman Baru
Seiring dengan perkembangan cepat Web3.0, keamanan Blockchain telah menjadi topik fokus di industri. Baru-baru ini, seorang ahli keamanan Blockchain yang terkenal memberikan wawancara dengan media, membagikan pandangannya tentang keadaan industri saat ini dan tren masa depan.
Ahli ini adalah pendiri dan CEO dari perusahaan keamanan blockchain terkenal, sekaligus profesor ilmu komputer di sebuah universitas terkemuka. Perusahaannya didirikan pada tahun 2017, dan berkomitmen untuk menggunakan teknologi Verifikasi Formal untuk meningkatkan keamanan protokol blockchain dan kontrak pintar. Saat ini, perusahaan tersebut telah memberikan layanan kepada hampir 5000 klien bisnis, melindungi lebih dari 530 miliar dolar aset digital, dan menemukan lebih dari 115.000 kerentanan kode.
Membahas situasi keamanan terbaru, para ahli menunjukkan bahwa kerugian akibat penipuan di blockchain pada kuartal pertama 2025 mencapai 1,66 miliar dolar AS, melonjak 303% dibandingkan kuartal sebelumnya. Di antaranya, Ethereum masih menjadi target utama serangan hacker, menyumbang sebagian besar kerugian. Yang lebih mengkhawatirkan, tingkat pemulihan aset yang dicuri hanya sebesar 0,38%.
Menghadapi metode serangan yang semakin kompleks, industri keamanan Blockchain sedang aktif merespons. Teknologi inovatif seperti pembuktian nol pengetahuan dan komputasi multi pihak sedang diterapkan secara luas untuk meningkatkan privasi dan keamanan transaksi. Para ahli menekankan bahwa menjadikan keamanan sebagai prioritas utama dan mengintegrasikannya ke dalam seluruh proses pengembangan sangat penting untuk membangun aplikasi Web3.0 yang dapat dipercaya.
Kecerdasan buatan memainkan peran pedang bermata dua dalam keamanan blockchain. Di satu sisi, AI dapat membantu menganalisis kerentanan dalam kontrak pintar, meningkatkan efisiensi audit; di sisi lain, penyerang juga dapat memanfaatkan AI untuk meningkatkan metode serangan. Ini berarti bahwa ambang batas untuk pertahanan keamanan terus meningkat.
Verifikasi Formal adalah teknik untuk membuktikan kebenaran program melalui metode matematis. Di bidang Blockchain, ia dapat dipadukan dengan audit manual untuk secara menyeluruh meningkatkan keamanan kontrak pintar.
Seiring dengan masuknya lembaga keuangan tradisional ke dalam Blockchain, jenis dan kompleksitas ancaman keamanan juga mengalami perubahan. Para ahli memperkirakan bahwa serangan di masa depan akan lebih terarah, mungkin akan fokus pada kelemahan tingkat perusahaan, kerentanan kontrak pintar yang disesuaikan, serta cacat keamanan pada antarmuka integrasi dengan sistem tradisional.
Secara keseluruhan, seiring dengan terus berkembangnya teknologi Blockchain dan meluasnya jangkauan aplikasinya, masalah keamanan akan terus menjadi fokus perhatian industri. Hanya melalui inovasi berkelanjutan dan langkah-langkah keamanan yang ketat, kita dapat meletakkan dasar yang kokoh untuk perkembangan sehat Web3.0.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
12 Suka
Hadiah
12
3
Bagikan
Komentar
0/400
WhaleWatcher
· 07-02 11:25
Keamanan adalah produktivitas utama
Lihat AsliBalas0
ReverseFOMOguy
· 07-02 11:23
Evolusi serangan dan pertahanan tidak akan pernah berhenti
Pendiri CertiK mengungkapkan keadaan keamanan Blockchain dan tren masa depan.
Pendiri CertiK Membahas Keamanan Blockchain: Dari Verifikasi Formal hingga Ancaman Baru
Seiring dengan perkembangan cepat Web3.0, keamanan Blockchain telah menjadi topik fokus di industri. Baru-baru ini, seorang ahli keamanan Blockchain yang terkenal memberikan wawancara dengan media, membagikan pandangannya tentang keadaan industri saat ini dan tren masa depan.
Ahli ini adalah pendiri dan CEO dari perusahaan keamanan blockchain terkenal, sekaligus profesor ilmu komputer di sebuah universitas terkemuka. Perusahaannya didirikan pada tahun 2017, dan berkomitmen untuk menggunakan teknologi Verifikasi Formal untuk meningkatkan keamanan protokol blockchain dan kontrak pintar. Saat ini, perusahaan tersebut telah memberikan layanan kepada hampir 5000 klien bisnis, melindungi lebih dari 530 miliar dolar aset digital, dan menemukan lebih dari 115.000 kerentanan kode.
Membahas situasi keamanan terbaru, para ahli menunjukkan bahwa kerugian akibat penipuan di blockchain pada kuartal pertama 2025 mencapai 1,66 miliar dolar AS, melonjak 303% dibandingkan kuartal sebelumnya. Di antaranya, Ethereum masih menjadi target utama serangan hacker, menyumbang sebagian besar kerugian. Yang lebih mengkhawatirkan, tingkat pemulihan aset yang dicuri hanya sebesar 0,38%.
Menghadapi metode serangan yang semakin kompleks, industri keamanan Blockchain sedang aktif merespons. Teknologi inovatif seperti pembuktian nol pengetahuan dan komputasi multi pihak sedang diterapkan secara luas untuk meningkatkan privasi dan keamanan transaksi. Para ahli menekankan bahwa menjadikan keamanan sebagai prioritas utama dan mengintegrasikannya ke dalam seluruh proses pengembangan sangat penting untuk membangun aplikasi Web3.0 yang dapat dipercaya.
Kecerdasan buatan memainkan peran pedang bermata dua dalam keamanan blockchain. Di satu sisi, AI dapat membantu menganalisis kerentanan dalam kontrak pintar, meningkatkan efisiensi audit; di sisi lain, penyerang juga dapat memanfaatkan AI untuk meningkatkan metode serangan. Ini berarti bahwa ambang batas untuk pertahanan keamanan terus meningkat.
Verifikasi Formal adalah teknik untuk membuktikan kebenaran program melalui metode matematis. Di bidang Blockchain, ia dapat dipadukan dengan audit manual untuk secara menyeluruh meningkatkan keamanan kontrak pintar.
Seiring dengan masuknya lembaga keuangan tradisional ke dalam Blockchain, jenis dan kompleksitas ancaman keamanan juga mengalami perubahan. Para ahli memperkirakan bahwa serangan di masa depan akan lebih terarah, mungkin akan fokus pada kelemahan tingkat perusahaan, kerentanan kontrak pintar yang disesuaikan, serta cacat keamanan pada antarmuka integrasi dengan sistem tradisional.
Secara keseluruhan, seiring dengan terus berkembangnya teknologi Blockchain dan meluasnya jangkauan aplikasinya, masalah keamanan akan terus menjadi fokus perhatian industri. Hanya melalui inovasi berkelanjutan dan langkah-langkah keamanan yang ketat, kita dapat meletakkan dasar yang kokoh untuk perkembangan sehat Web3.0.