Zcash ZEC Naik 12% karena Verifikasi Formal Ironwood Mendekati Penyelesaian

Token ZEC milik Zcash naik sekitar 12% setelah pengembang di balik Project Tachyon mengumumkan bahwa mereka hampir selesai membuktikan secara formal bahwa shielded pool Ironwood yang akan datang tidak mengandung bug pemalsuan yang tidak terdeteksi. Kenaikan harga ini menyusul kemajuan pada pekerjaan verifikasi formal yang bertujuan untuk menyingkirkan bug soundness di sirkuit zk-SNARK Zcash yang dapat memungkinkan pencetakan ZEC tersembunyi. Cacat Orchard, yang ditemukan oleh peneliti Taylor Hornby, adalah sebuah kerentanan di sirkuit yang digunakan Zcash untuk melindungi transaksi, meskipun para pengembang yakin tidak ada eksploitasi yang terjadi. Ironwood dijadwalkan aktif pada akhir Juli dengan mekanisme turnstile yang memungkinkan pengguna memindahkan dana dari pool Orchard yang rentan dan membantu menunjukkan bahwa tidak ada pemalsuan yang terjadi.

Cacat Orchard Memungkinkan Pemalsuan Tersembunyi yang Potensial

Cacat Orchard adalah bug soundness di sirkuit zk-SNARK yang digunakan Zcash untuk melindungi transaksi. Bug soundness memungkinkan seorang prover yang tidak jujur meyakinkan jaringan akan pernyataan palsu, yang dalam kasus ini dapat memungkinkan penyerang mencetak ZEC palsu tanpa jejak on-chain. Karena eksploitasi apa pun akan tidak terlihat, pengembang dapat menambal cacat tersebut, tetapi tidak dapat membuktikan bahwa cacat itu tidak pernah digunakan. Taylor Hornby menemukan kerentanan ini.

Ironwood Memperkenalkan Verifikasi Formal dan Mekanisme Turnstile

Ironwood adalah shielded pool baru berbasis Orchard, yang dibangun ulang dengan cacat yang diperbaiki. Tim Tachyon mengatakan bahwa mereka "terutama melakukan upaya komprehensif untuk memverifikasi Ironwood secara formal, menyingkirkan bug pemalsuan yang tidak terdeteksi," dan mencatat bahwa bug semacam itu "hanya bisa ada di spesifikasi" karena kesalahan implementasi meninggalkan bukti yang terdeteksi di buku besar.

Untuk menangani koin yang sudah ada di pool yang rentan, Ironwood menyertakan sebuah turnstile. Dompet memindahkan dana dari Orchard ke Ironwood, dan menonaktifkan pembayaran di pool lama menetapkan batas atas berapa banyak ZEC yang dapat beredar, yang membantu menunjukkan bahwa tidak ada pemalsuan yang terjadi. Pengembang mengatakan mereka yakin tidak ada eksploitasi yang terjadi, dan turnstile dirancang untuk mengubah keyakinan itu menjadi sesuatu yang dapat diperiksa oleh jaringan.

Pengembang mengatakan mereka memperkirakan akan mengaktifkan Ironwood pada akhir Juli, dan bahwa verifikasi formal dari pool baru adalah pekerjaan yang akan menentukan apakah cacat pemalsuan itu pernah menjadi risiko nyata.

Harga ZEC Pulih Sekitar Setengah dari Kerugian Pasca-Pengungkapan

ZEC turun dari sekitar 600 dolar AS menjadi sekitar 300 dolar AS dalam dua hari setelah pengungkapan, kemudian pulih ke sekitar 457 dolar AS. Token tersebut kini telah pulih sekitar setengah dari apa yang hilang. Kenaikan 12% itu menyusul pengumuman dari pengembang Project Tachyon tentang kemajuan verifikasi formal.

Tim Pengembang di Balik Pembaruan Ironwood

Pembaruan ini dibangun oleh sekelompok tim Zcash, termasuk Zcash Open Development Lab, sebuah pemekaran dari mantan insinyur Electric Coin Company yang mengumpulkan 25 juta dolar AS tahun ini untuk mendanai pekerjaan privasi. Taylor Hornby, yang menemukan cacat Orchard, bekerja di Shielded Labs.

Tanya Jawab

Apa itu cacat Orchard di Zcash?

Cacat Orchard adalah bug soundness di sirkuit zk-SNARK Zcash yang dapat memungkinkan penyerang mencetak ZEC palsu tanpa jejak on-chain. Ditemukan oleh peneliti Taylor Hornby, bug ini memungkinkan seorang prover yang tidak jujur meyakinkan jaringan akan pernyataan palsu, meskipun pengembang yakin tidak ada eksploitasi yang terjadi.

Bagaimana cara kerja mekanisme turnstile Ironwood?

Turnstile memungkinkan dompet untuk memindahkan dana dari pool Orchard yang rentan ke pool Ironwood yang baru. Menonaktifkan pembayaran di pool lama menetapkan batas atas berapa banyak ZEC yang dapat beredar, yang membantu menunjukkan bahwa tidak ada pemalsuan yang terjadi selama periode kerentanan.

Kapan Zcash akan mengaktifkan pembaruan Ironwood?

Pengembang memperkirakan akan mengaktifkan Ironwood pada akhir Juli. Verifikasi formal dari pool baru adalah pekerjaan yang akan menentukan apakah cacat pemalsuan itu pernah menjadi risiko nyata.