Editor | Grok dkk
Zcash sebagai proyek privasi coin yang terkenal di dunia cryptocurrency, dikenal dengan fitur transaksi terlindung (shielded transactions) yang kuat. Transaksi ini memanfaatkan teknologi Zero-Knowledge Proof (ZKP), memungkinkan pengguna untuk melakukan transfer tanpa mengungkapkan detail seperti jumlah, alamat, dan lain-lain, sehingga melindungi privasi.
Pada bulan April hingga Mei 2026, harga ZEC mengalami lonjakan signifikan, sempat melonjak hingga 150%, dengan kapitalisasi pasar menyentuh level puluhan miliar dolar. Seiring dengan regulasi global yang semakin ketat dan peningkatan transparansi on-chain, kekhawatiran pengguna terhadap aset yang 'dapat disita/dapat dipantau' meningkat. Kolam privasi Zcash (terutama kolam Orchard) menawarkan perlindungan privasi opsional, menarik investor yang mencari aset 'anti-sensor dan anti-seita'. Institusi seperti Multicoin Capital secara jelas menganggap ZEC sebagai kembalinya ideal cypherpunk, menekankan bahwa di era keuangan on-chain, privasi akan menjadi kebutuhan inti. Narasi ini beresonansi dengan lingkungan pasar yang lebih luas (seperti diskusi potensi pajak kekayaan), mendorong aliran dana.
Cypherpunk Technologies (didukung oleh Winklevoss) melesat, perusahaan ini telah membeli ZEC dalam jumlah besar, kini memegang sekitar 1.7%-2% dari total pasokan, menjadi pemegang institusi penting. Winklevoss Twins (pendiri Gemini) telah lama mendukung Zcash, beberapa kali menyumbang dan menambah posisi melalui entitas mereka. Foundry Digital meluncurkan kolam penambangan ZEC tingkat institusi; Maelstrom Fund (yang terkait dengan Arthur Hayes) juga melakukan langkah penambahan. Grayscale telah mengajukan permohonan untuk mengubah Zcash Trust menjadi ETF spot privasi pertama di AS (potensial ticker ZCSH). Jika disetujui, ini akan memberikan saluran kepatuhan bagi dana institusi, diperkirakan akan menarik masuk miliaran.
Namun baru-baru ini, kolam privasi terbaru Zcash, Orchard, mengalami kerentanan besar yang menyebabkan volatilitas pasar yang tajam. Tim dengan cepat mengambil langkah darurat dengan menonaktifkan transaksi terkait melalui soft fork, kemudian menyelesaikan perbaikan melalui hard fork. Seluruh proses tidak menemukan tanda-tanda pemanfaatan yang sebenarnya, tetapi sifat desain privasi juga membuat verifikasi integritas pasokan menghadapi tantangan. Artikel ini berdasarkan pengumuman resmi, forum pengembang, dan laporan media terpercaya, menyusun garis waktu rinci serta menjelaskan istilah profesional kunci.
Apa itu kolam Orchard? Kenapa kolam ini sangat penting?
Orchard adalah kolam terlindungi terbaru yang diluncurkan Zcash melalui upgrade jaringan NU5 pada Mei 2022. Berbeda dengan kolam Sprout dan Sapling sebelumnya, Orchard berbasis sistem bukti Halo 2, yang merupakan teknologi bukti nol pengetahuan canggih tanpa pengaturan terpercaya, yang secara signifikan meningkatkan efisiensi privasi dan skalabilitas.
Saat pengungkapan kerentanan, kolam Orchard memegang lebih dari 4,5 juta ZEC, yang merupakan proporsi penting dari total pasokan, bernilai miliaran dolar. Ini adalah inti dari arsitektur privasi Zcash, tetapi sirkuit nol pengetahuan yang kompleks juga membawa tantangan audit jangka panjang.
Esensi kerentanan: Rincian Bug Kesehatan
Kerentanan ini adalah kerentanan soundness, yang terletak pada sirkuit Orchard Action (sirkuit bukti nol pengetahuan yang memproses aksi transaksi terlindungi). Secara spesifik, itu adalah kurangnya batasan pada sirkuit, memungkinkan pembuatan bukti yang tidak valid tetapi dapat diterima oleh jaringan.
Penjelasan sederhana: dalam sistem bukti nol pengetahuan, "kesehatan" memastikan hanya transaksi yang sah yang dapat lolos verifikasi. Jika kesehatan bermasalah, penyerang secara teoritis dapat memalsukan bukti, melakukan double spending di dalam kolam Orchard atau mencetak ZEC palsu, tanpa terdeteksi. Kerentanan ini sudah mengintai sejak peluncuran Orchard pada 2022.
Perlu dicatat bahwa, karena mekanisme turnstile Zcash (sistem pemeriksaan akuntansi lintas kolam), bahkan jika ada anomali di dalam kolam Orchard, total pasokan tidak akan membengkak tanpa batas — turnstile akan membatasi nilai yang keluar dari kolam tidak melebihi nilai yang masuk. Namun, fitur privasi membuatnya sulit bagi pihak luar untuk 100% membuktikan secara kriptografi bahwa kolam tersebut tidak pernah dimanfaatkan.
Proses penemuan kerentanan (29 Mei)
Pada 29 Mei 2026: Peneliti keamanan independen Taylor Hornby (mantan insinyur keamanan di Electric Coin Company, ditugaskan oleh Shielded Labs untuk melakukan audit protokol) menemukan kerentanan tersebut selama audit rutin. Dia menggunakan bantuan model AI terbaru yang dirilis oleh Anthropic, Claude Opus 4.8, untuk menganalisis sirkuit, dan berhasil membangun exploit lengkap di lingkungan pengujian lokal, menghasilkan ZEC palsu tanpa batas.
Hornby pada hari yang sama memberikan pengungkapan secara bertanggung jawab kepada Zcash Open Development Lab (ZODL) dan Zcash Foundation. Tim segera memulai prosedur respons darurat, berkoordinasi dengan penambang, bursa, dan operator node.
Tahap pertama respons darurat: soft fork menonaktifkan Orchard (1-2 Juni)
Koordinasi dilakukan secara pribadi sejak malam 31 Mei. Coba soft fork pertama menghadapi masalah koordinasi penempatan, tim dengan cepat melakukan iterasi.
Pada 2 Juni 2026 (sekitar UTC 2:00, tinggi blok utama 3.363.426): Pembaruan darurat seperti Zebra 4.5.3 dikerahkan, soft fork darurat diaktifkan. Jaringan meminta node dan penambang untuk menolak semua transaksi dan blok yang berisi aksi Orchard, sementara transaksi Orchard dinonaktifkan untuk sementara (transaksi Sapling dan transparan tidak terpengaruh). Langkah ini bertujuan untuk mencegah pemanfaatan potensial selama periode perbaikan.
Jaringan transisi mengalami ketidakstabilan sementara, dengan banyak rantai kompetitif dan blok terputus. Fitur ZEC di dompet seperti Cake Wallet sementara ini terbatas, tetapi keseluruhan rantai tidak berhenti beroperasi.
Tahap kedua respons darurat: Perbaikan hard fork NU6.2 (3 Juni)
Pada 3 Juni 2026 (sekitar EDT 00:05, tinggi blok utama 3.364.600): Hard fork NU6.2 diaktifkan, didukung oleh Zebra 5.0.0. Upgrade ini menerapkan sirkuit Orchard Action yang telah diperbaiki, memperkenalkan kunci verifikasi baru (per-circuit verifying key), dan mengaktifkan kembali transaksi Orchard.
Dari pengungkapan hingga pemulihan penuh hanya sekitar 5 hari, ini adalah upgrade protokol kedua yang didorong oleh keamanan dalam sejarah Zcash. ZODL dan yayasan mengonfirmasi: tidak ada kerugian dana, tidak ada penciptaan nilai yang tidak sah, mekanisme turnstile tidak mendeteksi anomali, privasi pengguna dan keamanan dana terjaga.
Reaksi pasar dan dampak komunitas
Setelah berita kerentanan dipublikasikan, harga ZEC berfluktuasi tajam, turun hampir 40%-50% dari puncaknya, menyebabkan kehilangan nilai miliaran dolar. Beberapa tokoh terkenal (seperti Arthur Hayes) melakukan likuidasi, dan shorting derivatif melonjak. Namun, setelah perbaikan selesai, harga mulai stabil.
Fokus diskusi komunitas meliputi: dampak penghentian kolam privasi terhadap narasi desentralisasi, peran AI dalam audit keamanan, tantangan pemeliharaan implementasi dua node (zcashd + Zebra), serta upgrade NU7 yang akan datang (blok lebih cepat, dukungan aset terlindungi, dll.). Shielded Labs juga mengusulkan peningkatan lebih lanjut untuk memperkuat verifikasi pasokan dengan kolam baru dan turnstile.
Insiden ini menyoroti tantangan keseimbangan antara privasi ekstrem dan auditabilitas pada koin privasi. Respons cepat dan profesional dari tim Zcash patut diacungi jempol — berkoordinasi dengan efisien di banyak pihak, menyelesaikan upgrade kompleks dalam waktu singkat, yang termasuk dalam kisaran kasus efisien dalam sejarah crypto.
Tapi sifat pedang bermata dua dari desain privasi juga mengingatkan industri: sistem zk yang kompleks perlu terus memperkuat verifikasi formal, audit multi-pihak, dan alat bantu AI. Zcash sebagai pelopor di jalur privasi, migrasi node selanjutnya (menuju Zebra), optimasi tata kelola, dan peluang institusi (seperti ETF potensial), akan menentukan rekonstruksi kepercayaan jangka panjangnya.
Kasus ikonik audit keamanan bantuan AI
Dalam insiden kerentanan soundness kolam Orchard Zcash, salah satu detail yang sangat diperhatikan adalah peneliti keamanan Taylor Hornby yang berhasil menemukan dan memverifikasi kerentanan besar yang mengintai selama hampir 4 tahun dengan bantuan model AI terbaru dari Anthropic, Claude Opus 4.8. Proses ini tidak hanya menunjukkan potensi kuat AI dalam audit kriptografi yang kompleks, tetapi juga memberikan wawasan penting bagi seluruh bidang keamanan blockchain.
Anthropic secara resmi meluncurkan Claude Opus 4.8 pada 28 Mei 2026, yang merupakan model flagship terbaru dari seri Opus-nya. Model ini mencapai tingkat terkini dalam kemampuan pengkodean, tugas agen, penalaran konteks panjang, dan pekerjaan keahlian, mendukung jendela konteks hingga 1M token, serta memperkenalkan fitur baru seperti "aliran kerja dinamis" dan "kontrol usaha".
Hornby, sebagai insinyur keamanan independen yang ditugaskan oleh Shielded Labs, mulai melakukan tinjauan berkelanjutan terhadap protokol Zcash pada April 2026. Pada hari berikutnya setelah rilis Claude Opus 4.8 (29 Mei), dia menggabungkannya dengan kerangka audit AI kustom untuk melakukan tinjauan khusus terhadap sirkuit Orchard Action.
Dengan bantuan pemahaman kode yang kuat dan kemampuan penalaran kompleks dari model, Hornby tidak hanya dapat mengidentifikasi masalah kurangnya batasan (under-constrained) dalam sirkuit, tetapi juga berhasil menulis exploit lengkap. Di lingkungan pengujian regtest lokal, exploit ini mampu menghasilkan ZEC palsu dalam jumlah tak terbatas yang tidak dapat terdeteksi, di mana koin palsu ini sepenuhnya tidak dapat dibedakan dari ZEC yang sah dalam kolam privasi.
Proses ini menggabungkan metode penelitian keamanan tradisional dengan alat AI terbaru: Opus 4.8 membantu menganalisis logika verifikasi matematika kurva elips, menghasilkan kasus uji, dan membantu membangun kode pembuatan bukti, secara signifikan mempercepat siklus dari penemuan teoritis ke verifikasi praktis. Hornby segera memberikan pengungkapan secara bertanggung jawab kepada Zcash Open Development Lab (ZODL), menghindari risiko di jaringan utama.
Insiden ini dianggap sebagai kasus ikonik audit keamanan dengan bantuan AI. Dalam beberapa tahun terakhir, meskipun Zcash telah melalui beberapa audit manual dan verifikasi formal, sirkuit nol pengetahuan yang kompleks (terutama implementasi Orchard berbasis Halo 2) masih memiliki celah yang sulit dijangkau sepenuhnya oleh manusia. Intervensi Claude Opus 4.8 menunjukkan keunggulan unik model besar dalam menangani kode dalam jumlah besar dan menemukan kekurangan batasan yang halus.
Aplikasi Claude Opus 4.8 dalam penemuan kerentanan Zcash menandai peralihan AI dari alat bantu menjadi kekuatan keamanan inti. Ini tidak hanya mempercepat respons (dari pengungkapan ke perbaikan hanya dalam beberapa hari), tetapi juga menetapkan paradigma baru "topi putih AI" bagi industri crypto. Di masa depan, dengan hadirnya lebih banyak model terdepan seperti seri Anthropic Mythos, efisiensi audit protokol blockchain diharapkan akan meningkat secara signifikan.