# Artikel Terkait Kontrak Pintar

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

Mengapa Asuransi DeFi Tidak Laku?

"DeFi Asuransi: Mengapa Tidak Ada yang Membelinya?" Asuransi DeFi dirancang untuk menghilangkan perantara dengan pembayaran klaim otomatis melalui kontrak pintar. Namun, pada kenyataannya, hampir tidak ada yang membelinya. Alasan utamanya adalah biaya premi yang terlalu tinggi. Premi asuransi bisa mencapai 1.5%–6%, yang secara signifikan menggerus keuntungan tahunan dari platform seperti Aave atau Compound (biasanya 3%-4%). Akibatnya, laba bersih pengguna menjadi sangat rendah, bahkan bisa negatif. Risiko di DeFi juga sangat terkait. Satu insiden keamanan (seperti peretasan protokol atau kegagalan oracle) dapat mempengaruhi banyak platform sekaligus. Kolam asuransi DeFi saat ini, dengan total aset hanya sekitar puluhan juta dolar, tidak cukup untuk menanggung kerugian besar seperti peretasan miliaran dolar. Selain itu, model keputusan klaim seperti di Nexus Mutual, di mana pemegang token memutuskan klaim, dapat menciptakan bias untuk menolak pembayaran. Kapasitas asuransi seluruh industri sangat kecil dibandingkan dengan total aset terkunci di DeFi yang mencapai ratusan miliar dolar. Solusi yang muncul berfokus pada pencegahan (seperti program bug bounty) dan mencoba menarik modal reasuransi tradisional, mengakui bahwa dana di dalam ekosistem saja tidak cukup. Intinya, asuransi DeFi saat ini menghadapi paradoks: semua orang butuh perlindungan, tetapi biayanya membuatnya tidak menarik, dan tidak ada yang bisa memaksa pengguna untuk membelinya, sehingga meninggalkan pasar rentan terhadap risiko sistemik.

marsbit06/27 03:05

Mengapa Asuransi DeFi Tidak Laku?

marsbit06/27 03:05

Tak Terduga, Audit Keamanan adalah Aplikasi Pertama yang Terwujud dari AI x Crypto

Data menunjukkan, hingga Juni 2026, TVL DeFi turun sekitar 39% dari awal tahun. Di sisi lain, serangan keamanan di sektor DeFi telah menyebabkan kerugian sekitar $942 juta dalam 121 insiden sepanjang tahun. Munculnya alat AI canggih, seperti model Claude Mythos dari Anthropic, telah mengubah lanskap keamanan dengan drastis. Biaya dan keahlian yang dibutuhkan untuk menemukan kerentanan dalam kontrak pintar kini turun hampir ke nol, memungkinkan penyerang memindai ribuan kontrak secara sistematis dan mengeksploitasi celah dengan sangat cepat, bahkan pada protokol yang sudah diaudit. Insiden pada protokol seperti Drift Protocol dan KelpDAO membuktikan bahwa laporan audit tradisional yang hanya fokus pada kode tidak lagi memadai. Penyerang kini menargetkan logika bisnis, konfigurasi infrastruktur, dan kelemahan operasional. Celah pada kontrak lama yang telah berjalan bertahun-tahun juga kembali dieksploitasi berkat bantuan AI. Pernyataan pesimistis dari pendiri OpenZeppelin bahwa "semua DeFi tidak aman" mencerminkan tantangan struktural ini: pihak bertahan harus menutup semua celah, sementara penyerang hanya butuh satu pintu masuk. Menanggapi hal ini, proyek-proyek kini terdorong untuk melakukan audit ulang berdasarkan standar keamanan baru di era AI, meskipun lebih bersifat pertahanan. Perusahaan audit seperti CertiK dan OpenZeppelin beradaptasi dengan mengembangkan sistem audit berbantuan AI, beralih dari model laporan satu kali ke layanan pemantauan berkelanjutan dan verifikasi formal. Contohnya, alat audit AI Firepan berhasil menemukan kerentanan kritis yang terlewat oleh enam auditor manusia pada kontrak Curve Finance. AI juga membuktikan kemampuannya dalam audit proyek privasi seperti Zcash. Kesimpulannya, fusi AI dan Crypto paling dahsyat dampaknya di audit keamanan. Era keamanan sebagai pemeriksaan satu kali sebelum peluncuran telah berakhir. Keamanan kini harus menjadi infrastruktur berkelanjutan bagi proyek, sementara perusahaan audit harus berevolusi dari penyedia jasa pasif menjadi mitra defensif proaktif yang terintegrasi penuh. Masa depan akan dimenangkan oleh pihak yang paling cepat beradaptasi dan memanfaatkan AI untuk pertahanan.

链捕手06/26 07:18

Tak Terduga, Audit Keamanan adalah Aplikasi Pertama yang Terwujud dari AI x Crypto

链捕手06/26 07:18

Analisis Hook Uniswap v4: Desain Arsitektur, Kerentanan Umum, dan Praktik Perlindungan

Sejak Uniswap v4 dirilis, mekanisme Hook telah menjadi inovasi DeFi yang paling diperhatikan. Hook memungkinkan pengembang untuk memasukkan logika kustom ke dalam peristiwa siklus hidup pool likuiditas seperti swap, penambahan/pengurangan likuiditas, dan inisialisasi. Artikel ini membahas keamanan dan arsitektur Hook v4: - **Model PoolManager**: Semua perubahan status pool dikelola oleh kontrak PoolManager tunggal. Setiap tindakan memerlukan panggilan `unlock()` dan menyelesaikan transaksi dalam `unlockCallback()` untuk memastikan neraca akun nol. - **Binding Hook**: Setiap pool dikaitkan dengan satu kontrak Hook secara permanen, dan keamanan pool bergantung pada Hook tersebut. - **Bit Izin Alamat**: Izin Hook ditentukan oleh 14 bit rendah alamat deploy-nya, bukan oleh variabel internal. Ini mengharuskan penggunaan CREATE2 dengan salt untuk menghitung alamat yang tepat. - **Tantangan Keamanan**: 1. **Kontrol Akses**: Versi awal BaseHook hanya melindungi `unlockCallback()`, sedangkan fungsi callback lain (seperti `beforeSwap`) memerlukan kontrol akses eksplisit dari pengembang. 2. **Binding Pool Bebas**: Siapa pun dapat membuat pool baru dengan Hook yang sama tanpa batasan, sehingga Hook perlu mengimplementasikan daftar izin atau binding pool tunggal di `beforeInitialize`. 3. **Async/Custom Curve Hook**: Hook dapat sepenuhnya menggantikan logika swap Uniswap, membawa risiko tinggi karena keamanan bergantung pada implementasi Hook sendiri. 4. **Delta Accounting**: Sistem akuntansi delta memastikan neraca akhir nol, tetapi tidak menjamin kebenaran nilai delta, yang berpotensi dimanipulasi. - **Refleksi Audit**: Kompleksitas Hook memerlukan audit menyeluruh yang mencakup interaksi antar kontrak, bukan hanya kode Hook secara terpisah. Setiap Hook membentuk domain kepercayaan mandiri yang menentukan keamanan pool-nya. Keamanan di era v4 bergeser dari tingkat protokol ke tingkat pool, memerlukan metodologi audit yang lebih ketat dan pemahaman mendalam tentang arsitektur Hook.

marsbit06/22 08:09

Analisis Hook Uniswap v4: Desain Arsitektur, Kerentanan Umum, dan Praktik Perlindungan

marsbit06/22 08:09

Apa Hubungannya Huang Zheng, Pendiri Pinduoduo, dengan Blockchain?

Menurut artikel ini, pendiri Pinduoduo, Huang Zheng, memandang bisnis inti platformnya sebagai "asuransi terbalik" yang berhubungan dengan ketidakpastian. Argumen utamanya adalah bahwa dalam kapitalisme tradisional, orang kaya mengumpulkan kekayaan dengan menanggung ketidakpastian (seperti risiko finansial) yang tak tertanggungkan bagi orang biasa, yang kemudian membayar premi (seperti melalui tabungan rendah bunga atau membeli produk mahal demi kepastian) untuk mengalihkan risiko tersebut. Uang mengalir dari bawah ke atas. Pinduoduo berusaha "membalikkan" aliran ini. Melalui fitur seperti "pembelian kelompok" dan penawaran waktu terbatas, platform ini mengumpulkan banyak niat pembelian yang tersebar menjadi permintaan agregat yang pasti dan besar dalam waktu singkat. Kepastian permintaan massal ini memungkinkan pabrik mengurangi risiko kelebihan produksi dan menurunkan harga, sehingga mengembalikan sebagian nilai (dalam bentuk diskon) ke konsumen. Namun, tantangan utama adalah janji atau niat beli individu tidak berharga karena mudah dibatalkan tanpa konsekuensi. Di sinilah kaitannya dengan blockchain muncul. Huang Zheng bertanya-tanya apakah teknologi blockchain, dengan kontrak pintar dan sifat terdesentralisasi, bisa menjadi solusi untuk membuat komitmen individu menjadi terikat, dapat dipercaya, dan dapat diberi harga. Kontrak pintar dapat mengunci janji beli dengan jaminan keuangan, sehingga pembatalan akan dikenakan penalti. Ini mengubah "keinginan membeli" menjadi janji yang dapat ditegakkan, memberikan kepastian yang dapat dipercaya pabrik tanpa perantara. Artikel tersebut juga menarik paralel dengan Bitcoin, menyebutkan dua jalan menciptakan kepastian: 1) **Jalan Pinduoduo**: mengumpulkan keinginan tersebar menjadi skala besar untuk menghilangkan ketidakpastian. 2) **Jalan Bitcoin**: mengunci aturan dalam kode yang tidak dapat diubah (seperti pasokan tetap), menggantikan kepercayaan pada manusia dengan kepercayaan pada aturan algoritmik. Kedua pendekatan memiliki trade-off: yang pertama membatasi kebebasan individu untuk koordinasi massa, yang kedua mengorbankan fleksibilitas aturan untuk kepastian absolut.

链捕手06/15 00:11

Apa Hubungannya Huang Zheng, Pendiri Pinduoduo, dengan Blockchain?

链捕手06/15 00:11

Pelajaran dari Insiden Peretasan Raydium: Risiko Baru DeFi Tersembunyi dalam Kontrak Lama yang Terlupakan

**Raydium Peretasan Ungkap Risiko Baru DeFi: Kontrak Lama yang Terlupakan** Peretasan terhadap Raydium baru-baru ini, yang mengakibatkan kerugian sekitar $1,34 juta, menyoroti kategori risiko DeFi yang sering diabaikan: **"kontrak zombie"**. Penyerang mengeksploitasi pool liquidity Automated Market Maker (AMM) V3 lama Raydium yang sudah tidak digunakan tetapi masih aktif di blockchain. **Masalah Umum: Kontrak yang Ditinggalkan Tetap Rentan** Insiden ini bukan kasus isolasi. Sejak Maret 2025, setidaknya terjadi **8 serangan serupa** yang menargetkan kontrak usang, dengan total kerugian sekitar $10,8 juta. Kontrak-kontrak ini, meskipun telah "dihentikan" secara fungsional oleh pengembang, tidak pernah dinonaktifkan atau diamankan secara teknis di rantai, meninggalkan aset yang terdampar di dalamnya menjadi sasaran empuk. **Mengapa Risiko Ini Terabaikan?** Laporan keamanan biasanya mengklasifikasikan insiden berdasarkan celah teknis (bug kode, kegagalan oracle, dll.). Risiko kontrak usang ini adalah masalah **manajemen siklus hidup**, bukan bug pengkodean, sehingga sering tersembunyi dalam statistik. Kontrak V3 Raydium yang lama, misalnya, kehilangan dua pemeriksaan keamanan penting yang ada di versi baru, memungkinkan penyerang membuat token liquidity palsu. **Solusi: Standarisasi Penonaktifan Kontrak** Hanya mencantumkan "kontrak dihentikan" dalam dokumen tidak cukup. Industri perlu mengakui "kontrak zombie" sebagai kategori risiko mandiri dan membangun **proses standar untuk menonaktifkan kontrak**, termasuk: 1. **Transfer aset** dari kontrak lama. 2. **Nonaktifkan fungsi** kritis (mint, tukar, dll.). 3. **Hapus izin** (allowance) pengguna. 4. **Pemantauan berkelanjutan** atas kontrak yang diarsipkan. 5. **Komunikasi transparan** kepada komunitas. Tanpa proses penutupan yang tepat, **"pemakaman kontrak"** ini akan terus menjadi titik serangan yang menguntungkan bagi peretas, mengancam kesehatan dan kepercayaan ekosistem DeFi jangka panjang.

Foresight News06/13 06:19

Pelajaran dari Insiden Peretasan Raydium: Risiko Baru DeFi Tersembunyi dalam Kontrak Lama yang Terlupakan

Foresight News06/13 06:19

Mythos Versi Publik Diluncurkan Secara Resmi: Mengurai Keunggulan dan Keterbatasan Audit Kontrak Cerdas AI

Sumber: Beosin Pada 9 Juni, Anthropic secara resmi meluncurkan versi publik Mythos Claude Fable 5. Fable 5 menunjukkan kemampuan luar biasa dalam menemukan kerentanan keamanan yang tersembunyi, seperti yang terlihat dalam insiden Zcash, di mana model AI berhasil mengungkap bug serius yang lolos dari audit manual selama empat tahun dalam waktu singkat. **Keunggulan Audit AI** terbukti dalam skenario seperti deteksi **tabrakan slot penyimpanan (*storage slot collision*)**. Contohnya, ketika komponen `rewards mapping` bertabrakan dengan slot tetap `ReentrancyGuard` dari pustaka Solady, AI dapat dengan cepat memetakan tata letak penyimpanan dan mengidentifikasi tabrakan yang sangat tersembunyi ini, sesuatu yang mudah terlewatkan dalam audit manual. AI sangat efisien dalam pencocokan pola kode, penyaringan awal massal, dan analisis kerentanan sintaksis dalam kontrak tunggal. Namun, **Kelemahan Audit AI** masih tampak dalam menghadapi **kerentanan semantik kombinasi lintas protokol**. Misalnya, dalam serangan terhadap Curve LlamaLend sDOLA, yang melibatkan beberapa kontrak (crvUSD Controller.vy, sDOLA.sol, dll.), Fable 5 gagal mengidentifikasi vektor serangan inti. Serangan ini memanfaatkan interaksi beberapa protokol DeFi (seperti memanipulasi harga pool melalui *flash loan* untuk memicu likuidasi) dan membutuhkan pemahaman mendalam tentang model ekonomi dan logika bisnis ekosistem yang kompleks—area di mana AI saat ini masih terbatas. Kesimpulannya, **Fable 5 sangat efektif** untuk menemukan bug tersembunyi dalam sintaksis, logika kontrak tunggal, dan tabrakan penyimpanan. Namun, untuk kerentanan kombinasi kompleks, logika bisnis lintas kontrak, dan model ekonomi DeFi, **analisis ahli keamanan manusia** masih sangat penting. Pendekatan terbaik adalah **kombinasi sinergis antara AI dan auditor pakar**, di mana AI menangani penyaringan awal dan analisis mendetail, sementara manusia fokus pada konteks bisnis yang rumit dan potensi serangan kombinasi, sehingga meningkatkan efisiensi dan kedalaman audit secara keseluruhan.

marsbit06/11 08:07

Mythos Versi Publik Diluncurkan Secara Resmi: Mengurai Keunggulan dan Keterbatasan Audit Kontrak Cerdas AI

marsbit06/11 08:07

活动图片