Presiden.co.id – 06 Juni 2026 | Gemini founders Tyler dan Cameron Winklevoss secara terbuka mendukung formal verification sebagai cara untuk mengamankan Zcash (ZEC) setelah insiden bug keamanan yang sempat mengguncang pasar. Dalam pernyataan yang dirilis akhir pekan lalu, Winklevoss Twins Back Zcash After Security Bug Scare dengan menekankan bahwa langkah ini adalah solusi jangka panjang untuk mencegah celah serupa di masa depan. Dukungan ini muncul di tengah aksi jual ZEC yang tajam, namun berhasil mengalihkan fokus dari kelemahan teknis menuju peningkatan keamanan yang lebih fundamental.
Komentar Winklevoss dan Dampaknya
Tyler Winklevoss setuju dengan analisis Haseeb Qureshi, managing partner Dragonfly, yang menyatakan bahwa bug tersebut sebagian besar hanya berdampak pada pemegang shielded pool, bukan pasar transparan. Sebagai pendiri Gemini, bursa kripto teregulasi di AS, dukungan Winklevoss Twins Back Zcash After Security Bug Scare memiliki bobot signifikan di kalangan institusi yang kini memegang cadangan ZEC. “Meskipun AI menemukan bug ini, AI juga akan memberikan solusi untuk seluruh kategori: formal verification. Kriptografi yang terverifikasi secara formal tidak mungkin memiliki bug implementasi secara konstruksi,” ujar Qureshi.
Formal Verification sebagai Peta Jalan
Cameron Winklevoss menambahkan bahwa formal verification akan membuat bug pemalsuan uang di shielded pool menjadi mustahil. Pengembang Zcash berencana menambahkan metode ini dalam upgrade jaringan berikutnya. Menurut Qureshi, upgrade tersebut akan menggabungkan shielded pool baru dengan turnstile baru. Mekanisme ini akan memigrasikan dana dari pool Orchard saat ini dan membuktikan secara on-chain bahwa tidak ada ZEC palsu yang dicetak. Rencana ini mengikuti perbaikan darurat bug Orchard yang telah menambal celah sebelum ada eksploitasi yang diketahui. Zcash juga baru saja mencatat rekor pasokan shielded sebelum insiden tersebut.
Baca Juga
Cameron menegaskan, “Di era AI, formal verification adalah jalan ke depan untuk mengamankan perangkat lunak dan Zcash memimpin jalannya. Zcash akan memperkenalkan formal verification dalam upgrade jaringan berikutnya, membuat bug ‘cetak uang’ di shielded pool mustahil. Uang terenkripsi dengan kebenaran yang dapat dibuktikan tidak dapat dihentikan.” Pernyataan ini menjadi angin segar bagi komunitas Zcash yang sempat dilanda kekhawatiran.
Dampak Pasar dan Konteks Kepemilikan
Aksi jual ZEC pada Jumat lalu menghapus sebagian dari kenaikan harga yang terjadi awal tahun 2026. Qureshi juga mengungkapkan bahwa Dragonfly memegang ZEC dan secara pribadi berinvestasi dalam kendaraan terkait. Konteks ini penting untuk dipertimbangkan saat mengevaluasi dukungan bullish dari pemegang ZEC besar. Namun, dukungan Winklevoss Twins Back Zcash After Security Bug Scare memberikan sinyal positif bahwa para pemimpin industri percaya pada kemampuan tim pengembang untuk memperbaiki masalah dan meningkatkan keamanan.
Kesimpulan
Upgrade jaringan berikutnya akan menjadi ujian apakah kebenaran yang dapat dibuktikan dapat memulihkan kepercayaan pada uang privat. Sampai pool baru mengonfirmasi pasokan, para pemegang masih memperhitungkan ketidakpastian. Namun, dengan dukungan dari tokoh sekaliber Winklevoss, Zcash memiliki momentum untuk bangkit dan membuktikan bahwa keamanan berbasis formal verification adalah masa depan kripto.
