Menurut co-founder dcSpark Sebastien Guillemot, kontrak pintar ZK (zero-knowledge) yang pertama kali telah diterapkan di mainnet Cardano.
Ini menandai awal era aplikasi ZK di jaringan blockchain populer.
Transaksi dilakukan oleh pengembang Cardano Input Output dengan bantuan Halo 2 untuk verifikasi ZK di mainnet blockchain.
Seperti dijelaskan oleh Input Output, transaksi pertama dimaksudkan untuk mengunci dana. Transaksi kedua, yang memerlukan verifikasi bukti ZK yang dihasilkan oleh Halo2, dilakukan untuk membuka kunci dana.
kartu
Transaksi pembukaan yang dibutuhkan biaya 2,03 ADA ($1,9), yang dianggap "cukup rendah," menurut Input Output.
Sistem pembuktian zkSNARK Halo 2, yang dibuat oleh pencipta Zcash Electric Coin Company, memungkinkan untuk membuat dan memverifikasi bukti zk-SNARK kriptografi tanpa perlu pengaturan yang dipercaya.
Dalam sebuah utas media sosial yang panjang, Input Output menjelaskan manfaat teknik kriptografi Halo 2, yang memungkinkan untuk membuktikan bahwa sebuah perhitungan dilakukan dengan benar tanpa mengungkapkan detailnya. Pengembang Cardano secara khusus menyebutkan fakta bahwa bukti rekursif adalah salah satu fitur paling mencolok dari Halo 2. Ini memungkinkan untuk meningkatkan skalabilitas dan interoperabilitas dengan membagi perhitungan menjadi bagian yang lebih kecil.
kartu
"Kami masih memiliki lebih banyak pekerjaan yang harus dilakukan. Tetapi uji coba oleh IO Research ini merupakan langkah maju yang signifikan dalam penggunaan bukti zero-knowledge dengan Cardano, membawa kombinasi kuat dari skalabilitas, efisiensi, dan keamanan yang lebih ditingkatkan," kata Input Output.
