Analisis Protokol PoB

Iagon baru-baru ini menyelesaikan tantangan, mengembangkan protokol pembakaran yang sesuai untuk ekosistem Cardano terkait masalah yang diangkat (PoB). Artikel ini akan memperkenalkan solusi tim Iagon, yang terutama mencakup beberapa aspek berikut:

1. Ringkasan mekanisme bukti pembakaran dan aplikasinya
2. Implementasi kontrak pintar Iagon burn proof scheme di jaringan Cardano
3. Proses penyebaran dan pengujian kontrak pintar
4. Melakukan pembuktian pembakaran dengan mengirimkan token ke alamat "lubang hitam"

1. Bukti Pembakaran dan Aplikasinya

Pembakaran token ( penghancuran ) adalah operasi umum, pada dasarnya mengirim token ke alamat "lubang hitam" yang tidak dapat diakses. Alamat ini tidak memiliki kunci akses, dan token yang dihancurkan tidak dapat diambil kembali. Publik dapat memverifikasi bahwa penghancuran benar-benar terjadi, tetapi hanya mengetahui satu nilai "janji" yang "rahasia". Mekanisme ini dapat mencegah perantara memeriksa dana yang dihancurkan.

Mekanisme pembakaran memiliki berbagai kegunaan, dapat membantu meningkatkan nilai token yang tersisa, dan juga bisa berfungsi sebagai bukti komitmen dari protokol blockchain. Pembakaran dalam skala besar akan mengurangi total jumlah token yang beredar, yang dapat memicu tekanan deflasi. Meskipun transaksi pembakaran perlu diterima oleh penambang, Iagon berkomitmen untuk mengembangkan protokol pembakaran yang tidak dapat disensor.

Keamanan bukti pembakaran didasarkan pada fungsi hash kriptografi. Fungsi-fungsi ini mudah dihitung, tetapi sulit untuk dihitung kembali. Pada dasarnya, perubahan kecil pada input akan mengakibatkan perubahan acak yang besar pada output. Dengan membalik bit terkecil dari fungsi hash kriptografi, dapat dibuat alamat black hole, dan konten yang dikirim ke alamat tersebut akan sulit dipulihkan.

2. Bukti Pembakaran Kontrak Pintar Jaringan Cardano

Kontrak pintar Cardano terdiri dari tiga bagian:

• Skrip penebusan: mengontrol penggunaan eUTxOs
• Skrip dompet: mewakili pengguna yang menjalankan, digunakan untuk menebus dana dan membuat eUTxOs baru
• eUTxOs: berisi dana dan data titik ( datum ), digunakan untuk menentukan kondisi di mana dana dapat digunakan kembali

Kontrak pintar Cardano tidak memiliki status terpusat, setiap eUTxO memiliki status independen. Operasi yang mungkin termasuk:

• Pembakaran: Mengirim dana ke alamat lubang hitam
• Verifikasi pembakaran: memastikan bahwa pembakaran nilai komitmen tertentu telah terjadi
• Kunci: Kirim dana ke alamat yang memiliki kunci
• Penebusan: Mengambil kembali dana yang terkunci

Titik akhir berjalan di dompet pengguna, transaksi yang dihasilkan akan dikirim ke blockchain. Transaksi akan memindahkan dana ke skrip penebusan, skrip tersebut memverifikasi bahwa dana hanya dapat diakses oleh alamat dengan nilai hash tertentu.

Dalam operasi pembakaran, nilai hash mengarah ke alamat lubang hitam. Ini dicapai dengan memberikan nilai komitmen rahasia pada hash dan membaliknya. Karena fungsi hash kriptografi digunakan, hampir tidak mungkin untuk menemukan nilai asli yang cocok.

Perantara tidak dapat mengetahui apakah sebuah transaksi dibakar atau dikunci. Mekanisme ini mencegah pemeriksaan selektif terhadap transaksi yang dibakar. Nilai yang dibakar dapat diverifikasi dengan mengumumkan nilai komitmen. Sebelum diumumkan, tidak ada yang tahu jumlah pasti yang dihancurkan.

3. Proses Penempatan Kontrak Pintar

Langkah-langkah untuk menyebarkan kontrak pintar di jaringan pengujian adalah sebagai berikut:

1. Instal rantai alat Haskell
2. Membangun skrip Plutus
3. Memulai node Cardano dan kontainer dompet
4. Memulihkan dompet dan mendapatkan ID dompet
5. Menjalankan token pembakaran
6. Verifikasi Pembakaran

4. Dari Kontrak Cerdas ke Skrip Dompet

Untuk lebih mencegah penyensoran, hanya dapat menggunakan skrip dompet tanpa bergantung pada kontrak pintar. Dengan metode ini, satu-satunya cara untuk menyensor pembakaran adalah dengan menyensor semua transaksi Cardano.

Untuk mencapai ini, diperlukan untuk mengganti hash kunci publik dengan hash nilai komitmen, dan membalik bit terendah dari nilai komitmen. Juga perlu menangani pemeriksaan format alamat Cardano. Alamat pembakaran dapat dihasilkan menggunakan pustaka API Cardano, mengirimkan transaksi ke blockchain, dan memverifikasi pembakaran.

Kesimpulan

Artikel ini memperkenalkan dua cara untuk mengimplementasikan protokol bukti pembakaran: kontrak pintar dan transaksi dompet. Karena kontrak pintar Alonzo saat ini kekurangan beberapa infrastruktur yang diperlukan, disarankan untuk menggunakan skrip dompet. Di masa depan, seiring dengan perbaikan pustaka PAB, kombinasi skrip dompet dengan solusi kontrak pintar yang kompleks mungkin akan lebih layak, membantu menciptakan lingkungan yang tahan sensor.